3-4 April 2008
Aberdeen, Scotland
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 one to four papers 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 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.