FIRST ANNOUNCEMENT
2nd Workshop on Logic and the Simulation of Interaction and Reasoning
(LSIR-2)
held at IJCAI-09, Pasadena CA, U.S.A., July 2009

Description of workshop and Topics. 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.

LSIR2 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.

Format of workshop. The workshop will have four invited keynote speakers,
covering the various communities of interest for our topic. In addition to
that, we will issue a Call for Papers and ask for submissions. These
submissions will be reviewed by the programme committee, and the best
eight to ten submissions will be selected for 30-minute presentations. In
case we get a large number of high-quality submissions, we will host a
poster session as well, accepting up to ten posters.

Attendance. In addition to the 12-14 speakers, we expect further
participants who will engage in the discussions. We estimate that the
workshop will have between 30 and 50 participants.

Submission requirements. We invite all researchers in the relevant fields
to submit extended abstracts of one to four pages of text via the
EasyChair submission page at
http://www.easychair.org/conferences/?conf=lsir2. The first Call for
Papers will be issued in December 2008.

Workshop Chair. Benedikt Löwe, Institute for Logic, Language and
Computation (ILLC), Universiteit van Amsterdam, Plantage Muidergracht 24,
1018 TV Amsterdam, The Netherlands; bloewe (at) science (dot) uva (dot)
nl.

LSIR-2 Programme Committee.
Jan Broersen (Utrecht, The Netherlands)
Cristiano Castelfranchi (Rome, Italy)
Frank Dignum (Utrecht, The Netherlands)
Benedikt Löwe (Amsterdam, The Netherlands)
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)
Jos Uiterwijk (Maastricht, The Netherlands)
Hans van Ditmarsch (Otago, New Zealand & Aberdeen, Scotland)

Workshop URL. http://www.illc.uva.nl/GLoRiClass/index.php?page=8_2

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