In th e past years, logicians have become more and more\ n interested in the phenomenon of interaction and the formal\n modelling of social procedu res and phenomena. The area Logic\n & Gam es deals with the transition from the static logic al\n paradigm of formal proof and derivation to the dynamic world of\n intelligent interac tion and its logical models. Modelling\n inte lligent interaction has been an aspect of the prac tical work\n of computer game designers for a long time. Pragmatic questions\n such as 'Wh at makes a storyline interesting', 'What makes an\ n reaction natural', and 'What role do emotio ns play in game\n decisions' have been tackle d by practicing programmers. The\n practical aspects of computer gaming reach out to a wide\n interdisciplinary field including psychology a nd cognitive\n science. So far, there are onl y a few cross-links between these\n two commu nities.\n
\nLSIR2 focuses on the relation between techniques of modern\n logi c (such as discourse representation theory or dyna mic\n epistemic logic) and concrete modelling problems in computer\n games (either as part of the story or game design or as part of\n the design of the artificial agents). We aim combi ning\n communities of logic, multi-agent syst ems, computer game design,\n the story unders tanding community, and various parts of AI\n dealing with the formal modelling of emotions and intentions, as\n well as the empirical testin g of these models; we invite all\n researcher s in these and related field to submit their abstr acts\n of papers, in particular those that bu ild bridges between the\n communities.\n
\n \n \nFor more information , see\n http s://www.illc.uva.nl/GLoRiClass/index.php?page=8_2< /a>.\nThe main financial sponsor of the workshop i s the Marie Curie\n research training site GLoRiCl ass. \n
\nWe in vite all researchers in the relevant fields to sub mit extended abstracts of one to four pages of tex t. Submission deadline is 6 March 2009.\n
\n