FIRST CALL FOR PAPERS

Logic and the Simulation of Interaction and Reasoning
Symposium at the AISB 2008 Convention "Communication, Interaction and
Social Intelligence"
Aberdeen, Scotland; 3-4 April 2008

http://www.illc.uva.nl/GLoRiClass/index.php?page=8_1
http://www.aisb.org.uk/convention/aisb08/index.html


In the past years, logicians have become more and more interested in the
phenomenon of interaction. The area "logic and games" deals with the
transition from the static logical paradigm of formal proof and derivation to the dynamic world of intelligent interaction and its logical models. A number of conferences and workshops have been dealing with logic in game and decision theory and dynamic logics with announcement and action operations. Fruitful technical advances have led to deep insights into the nature of communicative interaction and behaviour by logicians.

While these interactive aspects are relatively new to logicians, on a
rather different level, modelling intelligent interaction has been an
aspect of the practical work of computer game designers, researchers in
artificial intelligence, robotics, and human-machine interaction for a
long time. The practical aspects of simulating interaction and behaviour
reach out to a wide interdisciplinary field including psychology and
cognitive science.


So far, there are only a few cross-links between these two communities.
Our symposium will explore the possibilities of joining the theoretical
approach to interaction and communication with the practical approach to
simulating behaviour. We would like to include purely logical aspects,
cognitive and psychological aspects (including empirical testing of formal models), and pragmatic aspects.

All researchers from logic, artificial intelligence, computer science,
cognitive science, computer gaming, psychology, empirical game theory, and many other fields are cordially invited to submit abstracts of two to eight pages in PDF format through our EasyChair page

   http://www.easychair.org/conferences/?conf=AISB2008-LSIR

Invited Speakers.

Rafael Bordini, Durham, England
Frank Dignum, Utrecht, The Netherlands
Steffen Huck, London, England (TENTATIVE)
Mateja Jamnik, Cambridge, England
David Ethan Kennerly, Los Angeles CA, United States of America
Eric Pacuit, Stanford CA, United States of America (TENTATIVE)

Programme Committee.
Stefania Bandini, Milan, Italy
Johan van Benthem, Amsterdam, The Netherlands & Stanford CA, U.S.A.
Cristiano Castelfranchi, Rome, Italy
Bruce Edmonds, Manchester, England
Jaap van den Herik, Maastricht, The Netherlands
Wiebe van der Hoek, Liverpool, England
Benedikt Loewe, Amsterdam, The Netherlands (Chair)
Yoav Shoham, Stanford CA, U.S.A.
Keith Stenning, Edinburgh, Scotland
Rineke Verbrugge, Groningen, The Netherlands

Sponsor.
Marie Curie Research Training Site GLoRiClass (MEST-CT-2005-020841).

Important dates.

9 January 2008          Deadline for submissions of papers
15 February 2008        Notification
1 March 2008            Deadline for final versions
3-4 April 2008          Workshop

Best Student Paper Award.

The AISB gives an award of GBP 250 for the best student paper. More details can be found on the webpage of the convention.

Publication.

All papers presented at this workshop will be published in the proceedings of the AISB Convention.