AISB Convention 2015

Call for Symposium Proposals: The AISB Convention is an annual conference covering the range of AI and Cognitive Science, organised by the Society for the Study of Artificial Intelligence and Simulation of Behaviour. The 2015 Con...


Read More...

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

Notice

AISB opportunities Bulletin Item

Midlansa Graduate School in the Foundations of Computing Science, 11-15 April 2011, Nottingham

http://www.cs.nott.ac.uk/~vxc/mgs/mgs.html

MIDLANDS GRADUATE SCHOOL in the Foundations of Computing Science


The Midlands Graduate School (MGS) in the Foundations of Computing Science is a collaboration between researchers at the Universities of Birmingham, Leicester, Nottingham and Sheffield. It was established in 1999. The MGS has two main goals: to provide PhD students with a sound basis for research in the mathematical and practical foundations of computing and to give PhD students the opportunity to make contact with established researchers in the field and their peers who are at a similar stage in their research careers.
This year, the MGS is at the University of Nottingham. It will start on
11 April and finish on 15 April.

This year the school offers the following courses.

Core courses:
"Functional Programming" by Henrik Nilsson "Category Theory" by Thorsten Altenkirch "Typed Lambda Calculi" by Andrzej Murawski

Advanced courses:
"Coalgebra" by Paul Blain Levy
"Game Semantics and Applications" by Dan Razvan Ghica "Game Theory, Topology and Proof Theory for Functional Programming"
   by Martn Escard
"Process Calculi for Protocol Verification" by Eike Ritter "Mechanized Theorem Proving" by Georg Struth

In addition there will be an invited course given by Professor Andrew M Pitts.

We invite graduate students in computer science and related fields to participate. Applicants from industry who want to strengthen their theoretical background are also welcome. The deadline for registration is 18 March 2011. More details and information on how to register are on the school web page.

--
Venanzio Capretta
School of Computer Science
University of Nottingham, UK
http://www.cs.nott.ac.uk/~vxc/