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

CALL FOR PAPERS: Special issue on "Intuitionistic Modal Logics"


Special Issue of the Journal of Logic and Computation on Intuitionistic Modal Logics and Applications (IMLA) Guest Editors: Valeria de Paiva and Natasha Alechina

Constructive modal logics and type theories are of increasing foundational and practical relevance 
in computer science.

We are soliciting papers for a special volume of the Journal of Logic and Computation, devoted to 
Intuitionistic Modal Logics and Applications. We hope to cover the novel applications presented in 
the last workshop, but also to include work on constructive modal logics not presented at the 
workshop. The proposed timeline of events is as follows:

* Papers (under 20 pages long) should be submitted by 31st January 2012

* Reviews should be provided to authors before the end of May 2012 and the volume should be ready 
in 2012.

Please contact one of the editors (Valeria de Paiva valeria.depaiva@gmail.com or Natasha Alechina 
nza@cs.nott.ac.uk) if you're not sure that your paper is within the scope of this special volume.