CFP: Dynamics in Logic @ ESSLLI 2008 Hamburg

Di Dez 18 22:01:00 CET 2007

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 at hib.no
Hans van Ditmarsch, University of Otago, New Zealand & IRIT, France,
email: hans at 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 at 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
Johan van Benthem, University of Amsterdam/Stanford University
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/.

----------------------------------------------------------------------
Thomas Ågotnes
Bergen University College
P.O. Box 7030, N-5020 Bergen, Norway
Tel: (+47) 55587229  Fax: (+47) 55587790
http://home.hib.no/ansatte/tag/  tag at hib.no