AISB convention 2017

  In the run up to AISB2017 convention, I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid al-Rifaie (https://twitter.com/mohmaj) Tu...


Read More...

Harold Cohen

Harold Cohen, tireless computer art pioneer dies at 87   Harold Cohen at the Tate (1983) Aaron image in background   Harold Cohen died at 87 in his studio on 27th April 2016 in Encintias California, USA.The first time I hear...


Read More...

Dancing with Pixies?...

At TEDx Tottenham, London Mark Bishop (the former chair of the Society) demonstrates that if the ongoing EU flagship science project - the 1.6 billion dollar "Human Brain Project” - ultimately succeeds in understanding all as...


Read More...

Computerised Minds. ...

A video sponsored by the society discusses Searle's Chinese Room Argument (CRA) and the heated debates surrounding it. In this video, which is accessible to the general public and those with interest in AI, Olly's Philosophy Tube ...


Read More...

Connection Science

All individual members of The Society for the Study of Artificial Intelligence and Simulation of Behaviour have a personal subscription to the Taylor Francis journal Connection Science as part of their membership. How to Acce...


Read More...
01234

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