Yasemin Erden on BBC

AISB Committee member, and Philosophy Programme Director and Lecturer, Dr Yasemin J. Erden interviewed for the BBC on 29 October 2013. Speaking on the Today programme for BBC Radio 4, as well as the Business Report for BBC world N...


Read More...

Mark Bishop on BBC ...

Mark Bishop, Chair of the Study of Artificial Intelligence and the Simulation of Behaviour, appeared on Newsnight to discuss the ethics of ‘killer robots’. He was approached to give his view on a report raising questions on the et...


Read More...

AISB YouTube Channel

The AISB has launched a YouTube channel: http://www.youtube.com/user/AISBTube (http://www.youtube.com/user/AISBTube). The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...


Read More...

Lighthill Debates

The Lighthill debates from 1973 are now available on YouTube. You need to a flashplayer enabled browser to view this YouTube video  


Read More...
0123

Notice

AISB opportunities Bulletin Item

LAST CALL FOR PARTICIPATION: " GAMES-EPIT Spring School 2011, 23-27 May 2011, FRANCE

http://games-epit.labri.fr/
Contact: games-epit@labri.fr

Carcans-Maubuisson, France

The GAMES-EPIT Spring School 2011 is the 38th School in the series of "Ecole de Printemps d'Informatique Thorique"
(http://epit.univ-paris-diderot.fr/) and is supported by the ESF project "GAMES for Design and Verification" (http://www.games.rwth-aachen.de/).

Programme
---------
The school will consist of nine lectures presenting important developments in language theory, automata, and games:

* Basic topology and game determinacy (Jacques Duparc, Lausanne)
* Basic stochastic games (Hugo Gimbert, Bordeaux)
* Basics about algebraic approach to languages (Marc Zeitoun, Bordeaux)
* Stochastic pushdown games (Antonn Ku?era, Brno)
* Algebraic approach to tree languages (Miko?aj Boja?czyk, Warsaw)
* Profinite approach to language theory (Jean-ric Pin, Paris)
* Games, recursion schemes, and semantics (Luke Ong, Oxford)
* Automata with counters (Thomas Colcombet, Paris)
* Automatic structures (Markus Lohrey, Leipzig)

The lectures are intended to be accessible to a wide audience, but some familiarity with automata theory and logic is recommended.

Date and Venue
--------------
The GAMES-EPIT Spring School 2011 will take place from Monday, May 23rd to Friday, May 27th, in France, near Bordeaux, in Carcans-Maubuisson.

Participation and Registration
------------------------------
The GAMES-EPIT Spring School 2011 addresses primarily to PhD students and young researchers, but more senior participants are also very welcome.

The number of participants will be limited to 90.

Participants will have to pay a contribution of 350 Euro to cover accommodation, breakfasts, lunches, dinners and coffee breaks for the whole duration of the school. Thanks to the sponsorship of CNRS, the school is free for full-time CNRS researchers. ESF-GAMES offers a number of grants for other participants.

Registration is accessible through the  web-page of the conference (http://games-epit.labri.fr/).

Deadlines
---------

Registration before *April the 4th*.


Sponsors
--------
The school is sponsored by the ESF Research Networking Programme "Games for Design and Verification", by CNRS, and by the GdR "Informatique Mathmatique".

Organisation
------------
The school is organized by Hugo Gimbert and Igor Walukiewicz.
For further information please visit the school's web site, or write to games-epit@labri.fr.