4-8 August 2008
Hamburg, Germany
CALL FOR PAPERS WORKSHOP DYNAMICS IN LOGIC @ ESSLLI 2008 HAMBURG 4-8 August 2008 http://home.hib.no/ansatte/tag/dil08 **organizers Thomas Agotnes, University College Bergen, Norway, email: tag@hib.no Hans van Ditmarsch, University of Otago, New Zealand & IRIT, France, email: hans@irit.fr **workshop purpose The main topic of the workshop is logical models of information change. Some different, well-known, ways to model change in logic are 'belief revision', 'dynamic epistemic logic', and 'temporal epistemic logic'. In the first change is usually modelled on a meta-level, in the second in the logical language itself by way of dynamic modal operators, and in the third the dynamics is expressed indirectly (namely referring to the underlying structures) in temporal operators. All three areas focus on the dynamics of information: information change. In the workshop we are interested in approaches with explicit dynamic operators in the language, i.e., as in dynamic epistemics, temporal epistemics and approaches to belief revision with explicit dynamic operators in the logical language. Tradional and independently well-established approaches to dynamics such as PDL and the many variants and extensions of dynamic logic in general, mu-calculus, and pi-calculus, are also in the focus of the workshop. We are interested in approaches to general logical dynamics that can also be interpreted as dynamics of information. New frontiers for dynamics in logic include: description logics and decidable fragments of FOL, semantic-web approaches, BDI-type logics, deontic logics, relations between knowability, ability, and the dynamics of knowledge, and cognitively motivated approaches. The workshop also welcomes work on information change as the result of deliberation, i.e., on the dynamics of reasoning. The purpose of the workshop is to discuss logical models of dynamics with explicit dynamic operators (not necessarily modal operators) in the logical language. Are there such logics that combine interesting complexity features from different areas? Formalisms that correspond to flexible and appealing conceptualisations and result in succinct descriptions of systems? Convenient model checking tools? **workshop topics o dynamic epistemic logics o belief revision (with explicit revision operators in the logical language) o dynamics in mu-calculus and pi-calculus o PDL (propositional dynamic logic) and dynamic logic in general o logic of action o logics of strategic ability o alternating-time temporal logic o temporal epistemic logics o seeing-to-it-that logic o knowability, and interactions between knowledge and ability o description logics, semantic web representations, BDI logics - with explicit dynamic features o dynamic deontic logics o cognitively motivated approaches to dynamics o logics of resource bounded reasoning o model checking and theorem proving tools for dynamic logics **related ESSLLI workshop The topic of this workshop is related to the topic of the workshop 'Logic and Intelligent Interaction' that takes place in week 2 of ESSLLI. That workshop focuses on interaction, i.e., on what goes on between agents. Ours focuses on logical descriptions of change; this need not involve agents, or more than one agent. The organizers of both workshops are in contact with one another. **submission details Authors are invited to submit an extended abstract describing original work. Submissions should not exceed 10 pages. The following formats are accepted: PDF, PS, Word, ASCII text. Please send your submission electronically by an email to hans@irit.fr by the deadline listed below. The submissions will be reviewed by the workshop's programme committee and additional reviewers. The accepted papers will appear in the workshop proceedings published by ESSLLI. The format for the final versions will be available on the workshop website. ** post-workshop proceedings A special issue of the journal 'Knowledge, Rationality, and Action', a special section of 'Synthese', is dedicated to this workshop. Selected presenters at the workshop will be invited to submit an extended version of their submission to this special issue. There will be an independent reviewing process. **important dates Submission deadline: March 8, 2008 Notification of acceptance: April 21, 2008 Full paper deadline: May 17, 2008 Proceedings due: May 24, 2008 Final workshop program: June 21, 2008 **workshop format The workshop is part of ESSLLI and is open to all ESSLLI participants. It will consist of five 90-minute sessions held over five consecutive days in the second week of ESSLLI. There will be two or three slots for paper presentation and discussion per session. On the first day the workshop organizers will give an introduction to the topic. **invited speakers Jan van Eijck, CWI Amsterdam Frank Wolter, University of Liverpool **programme committee (confirmed so far) Natasha Alechina, University of Nottingham Alessandro Artale, Free University of Bozen-Bolzano Jan Broersen, Utrecht University Jim Delgrande, Simon Fraser University, Canada Tim French, University of Western Australia Giuseppe de Giacomo, University of Rome Guido Governatori, University of Queensland Andreas Herzig, IRIT-CNRS, Toulouse Wiebe van der Hoek, University of Liverpool Aaron Hunter, MacDonald Dettwiler and Associates Ltd Wojtek Jamroga, Clausthal Technical University Barteld Kooi, University of Groningen Tiago de Lima, Technical University of Eindhoven Ron van der Meyden, UNSW/NICTA, Sydney Maurice Pagnucco, UNSW/NICTA, Sydney Eric Pacuit, Stanford University Rineke Verbrugge, University of Groningen Renata Wassermann, University of Sao Paulo ** local arrangements All workshop participants including the presenters will be required to register for ESSLLI. The registration fee for authors presenting a paper will correspond to the early student/workshop speaker registration fee. Moreover, a number of additional fee waiver grants will be made available by the OC on a competitive basis and workshop participants are eligible to apply for those. There will be no reimbursement for travel costs and accommodation. Workshop speakers who have difficulty in finding funding should contact the local organizing committee to ask for the possibilities for a grant. ** further information More information on ESSLLI 2008 is found at http://www.illc.uva.nl/ESSLLI2008/.