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...

AISB Convention 2014

AISB-50: a convention commemorating both 50 years since the founding of the society for the study of Artificial Intelligence and the Simulation of Behaviour (the AISB) and sixty years since the death of Alan Turing, founding fathe...


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...
01234

Notice

AISB opportunities Bulletin Item

Games Winter School 2013, 4-8 Feb 2013, Champery, SWITZERLAND

http://isi.unil.ch/champery2013/

Please note that the deadline for registration is ***November 15  2012***.

 		    GAMES Winter School 2013
 			    Feb. 04-08,
 		      Champry, Switzerland

 		     http://isi.unil.ch/champery2013/

The GAMES Winter School 2013 will give young researchers the opportunity to learn about automata, 
game theory, logic, and their applications for synthesis and verification.

It 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:
* Mikolaj Bojanczyk: Computation in Sets with Atoms
* Anuj Dawar: Games and Isomorphism in Finite Model Theory
* Jacques Duparc:  Determinacy
* Erich Grdel: Games and Logics with Team Semantics
* Dietrich Kuske: Automatic Structures
* Anca Muscholl: Distributed Synthesis
* Luc Segoufin: Logics on Data Words and Data Trees
* Igor Walukiewicz: Recursive Schemes, Krivine Machines, and Monadic Logic
* Tba.

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 winter School 2013 will take place from Feb.  04 morning to Feb.  08 noon, in Champry 
(Switzerland)

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

The number of participants will be limited to 80.

Participants will have to pay a contribution of CHF 500 (ca.  400) to cover accommodation (3 
star hotel, double room), breakfasts, dinners and coffee breaks for the whole duration of the 
school.
ESF-GAMES offers a number of grants to cover partially travel expenses of participants.

Registration is accessible through the  web-page of the conference 
(http://isi.unil.ch/champery2013/).

Deadlines
---------

*Registration before *November 15  2012*.


Sponsors
--------
The school is sponsored by the ESF Research Networking Programme "Games for Design and Verification".

Organisation
------------
The school is organized by Jacques Duparc and Erich Graedel For further information please visit 
the school's web site, or contact Jacques.Duparc@@unil.ch.