Second Call for Papers

DESCRIPTION OF WORKSHOP. In the past years, logicians have become more and more interested in the phenomenon of interaction and the formal modelling of social procedures and phenomena. The area Logic & 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. Modelling intelligent interaction has been an aspect of the practical work of computer game designers for a long time. Pragmatic questions such as 'What makes a storyline interesting', 'What makes an reaction natural', and 'What role do emotions play in game decisions' have been tackled by practicing programmers. The practical aspects of computer gaming 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.

LSIR-2 focuses on the relation between techniques of modern logic (such as discourse representation theory or dynamic epistemic logic) and concrete modelling problems in computer games (either as part of the story or game design or as part of the design of the artificial agents). We aim combining communities of logic, multi-agent systems, computer game design, the story understanding community, and various parts of AI dealing with the formal modelling of emotions and intentions, as well as the empirical testing of these models; we invite all researchers in these and related field to submit their abstracts of papers, in particular those that build bridges between the communities.

SUBMISSION. The emphasis of the workshop is the exchange of ideas and techniques between researchers in the various fields involved, rather than the most recent technical advances. We therefore strongly encourage the submission of announcements of survey, expository, and programmatic presentations, as well as work-in-progress and presentations based on published papers.

We invite all researchers in the relevant fields to submit extended abstracts of one to four pages (in the AAAI style) via the EasyChair submission page at http://www.easychair.org/conferences/?conf=lsir2. Please use the AAAI style files for your submissions. For this, consult http://www.aaai.org/Publications/Author/author.php. Longer submissions (within reasonable bounds!) are acceptable, but will not be thoroughly refereed.

Abstracts co-authored by members of the programme committee are allowed (and will be reviewed and discussed strictly without involvement of the relevant PC member). Abstracts reporting on submitted or published work are also acceptable as long as there is a clear relation to the workshop topic. In the latter case, the authors should notify the PC that the paper is under consideration or has been published elsewhere. Accepted paper will be printed in the Workshop informal "Working Notes".

IMPORTANT DATES.
Submission Deadline: 6 March 2009.
Notification. 17 April 2009.
Final version due. 8 May 2009.
Workshop. 12 July 2009.

PROGRAMME COMMITTEE.
Jan Broersen (Utrecht, The Netherlands)
Cristiano Castelfranchi (Rome, Italy)
Frank Dignum (Utrecht, The Netherlands)
Benedikt Löwe (Amsterdam, The Netherlands, chair)
Erik T. Mueller (Hawthorne NY, United States of America)
Amitabha Mukherjee (Kanpur, India)
Mark Overmars (Utrecht, The Netherlands)
Eric Pacuit (Stanford CA, United States of America)
Rohit Parikh (New York NY, United States of America)
Jos Uiterwijk (Maastricht, The Netherlands)
Hans van Ditmarsch (Otago, New Zealand & Aberdeen, Scotland)

The main financial sponsor of the workshop is the Marie Curie research training site GLoRiClass.