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

CALL FOR PAPERS: 15th International Workshop on Computational Logic in Multi-Agent Systems, Aug 18-19, 2014, Prague, CZECH REPUBLIC

http://www-sop.inria.fr/members/Serena.Villata/climaXV.html

CLIMA XV - 15th International Workshop on Computational Logic in Multi-Agent Systems

with special sessions on:
*Logics for Agreement Technologies
*Logics for Games, Strategic Reasoning, and Social Choice

http://www-sop.inria.fr/members/Serena.Villata/climaXV.html

Prague, Czech Republic, August 18-19, 2014, co-located with ECAI?14.

Submission deadline: May 11th

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

Journal 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 fourteen, very successful, editions, the 15th
CLIMA will take place in Prague, Czech Republic, on the 18th and 19th of
August 2014, co-located with ECAI?14.

In addition to CLIMA?s regular topics and sessions, this edition
will feature two special sessions:
* Logics for Agreement Technologies
* Logics for Games, Strategic Reasoning, and Social Choice

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. Submissions will be peer-reviewed by at
least three PC members.

LNCS Proceedings: We intend to publish CLIMA?s Proceedings as a volume in the
Springer Lecture Notes in Computer Science to be available in time for the
workshop.

Journal 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 at
http://www-sop.inria.fr/members/Serena.Villata/climaXV.html

Important dates:
* Submission: May 11th
* Notification: June 9th
* Camera Ready: June 16th

CLIMA XIV Chairs:
* Nils Bulling, Clausthal University of Technology, Germany
* Leon van der Torre, University of Luxembourg, Luxembourg
* Serena Villata, INRIA Sophia Antipolis, France

Special Session Organizers:
* Wojtek Jamroga, University of Luxembourg, Luxembourg
* Wamberto Vasconcelos, University of Aberdeen, UK


Please send all inquiries about CLIMA XV to clima2014@easychair.org