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 event Bulletin Item

CALL FOR PAPERS: 13th International Workshop on Computational Logic in Multi-Agent Systems, Aug 27-28, 2012, Montpellier, FRANCE

http://www.csc.liv.ac.uk/~michael/clima2012.html

Affiliated with ECAI 2012

 Extended submission deadline: June 3 (abstracts June 1)

Proceedings: LNCS/LNAI volume (available at the workshop).

JLC Special Issue: Selected extended papers will be published in a Special Issue of the Journal of 
Logic and Computation.

+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

The purpose of the CLIMA Workshop Series is to provide a forum for discussing techniques, based on 
computational logic, for representing, programming and reasoning about agents and multi-agent 
systems in a formal way.

Following the previous, very successful, editions, the 13th CLIMA will be affiliated with ECAI 
2012 and will take place in Montpellier, France, on the 27th and 28th of August 2012.

In addition to CLIMA's regular topics and sessions, this edition will feature two special sessions:

*  Logics for Multi-Agent Programming
*  Logics for Agreement Technologies

We welcome and encourage the submission of high quality, original papers, which have not been 
accepted for publication nor are currently under review for another journal or conference.

LNCS Proceedings: CLIMA's Proceedings will be published by Springer as a volume in the Lecture 
Notes in Computer Science, and will be available in time for the workshop.

JLC Special Issue: After the workshop, authors of selected papers will be invited to extend and 
re-submit their work to be considered for inclusion in a CLIMA Special Issue of the Journal of 
Logic and Computation.

Detailed information regarding CLIMA, its topics of interest, the two Special Sessions, formatting 
and submission instructions is available athttp://www.csc.liv.ac.uk/~michael/clima2012.html

Important dates:
* Submission (extended): June 3 (abstracts June 1)
* Notification: 16th June
* Camera Ready: 23rd June

CLIMA XII Chairs:
* Michael Fisher, University of Liverpool, UK
* Leon van der Torre, University of Luxembourg, Luxembourg

Special Session Organisers:

Logics for Multi-Agent Programming
* Mehdi Dastani, University of Utrecht, Netherlands

Logics for Agreement Technologies
* Guido Governatori, NICTA, Australia

Please send all enquiries about CLIMA XIII toclima13@easychair.org