FIRST CALL FOR PAPERS
AiML'98
Advances in Modal Logic '98
October 16-18, 1998
Uppsala University, Uppsala, Sweden
Advances in Modal Logic is an initiative aimed at presenting an up-to-date
picture of the state of the art in modal logic and its many applications.
The initiative consists of a workshops series together with volumes based
on those workshops.
Advances in Modal Logic '98 is the second workshop organized as part of
this initiative. AiML'98 will be held from October 16-18, 1998 in
Uppsala, Sweden. The workshop is intended for users of modal logic in
cognition, computing, and language, as well as for logicians working in
modal logic.
TOPICS. AiML '98 will be organized around a number of thematic areas:
- modal logics of agency and normative systems
- algebraic and model-theoretic aspects of modal logic
- modal approaches to grammar and natural language semantics
- computational aspects of modal logic
- philosophical aspects of modal logic
- modal logic and belief revision.
Papers on related subjects will also be considered.
SPECIAL SESSION. During the workshop there will be a special afternoon
session on modal logic and belief revision; this session will be chaired
by Sven-Ove Hansson and Sten Lindstrom.
INVITED SPEAKERS. Invited speakers include J. van Benthem, K. Fine,
J. Horty, M. Kracht, and R. Parikh.
PAPER SUBMISSION. Authors are invited to submit a detailed abstract of a
full paper of at most 10 pages by e-mail to Heinrich Wansing (e-mail
address: wansing@rz.uni-leipzig.de), using `AiML98 Submission' as the
subject line. The cover page should include title, authors, and the
coordinates of the corresponding author. Following this it should be
indicated which of the thematic areas best describes the content of the
paper (if none is appropriate, please give a set of keywords that best
describe the topic of the paper).
To be considered, submissions must be received no later than June 1, 1998.
The preliminary version of the full paper to be included in a planned
volume from the workshop should be available at the workshop; the volume
will be submitted to CSLI Publications. Authors will be notified of the
acceptance of their papers by December 1, 1998.
SPONSORS. AiML '98 is generously sponsored by Neurotec Hochtechnologie
GmbH, the Computational Logic Group at the University of Amsterdam,
the Compulog Net network for Computational Logic, the Swedish Royal
Academy of Science, and the University of Uppsala.
IMPORTANT DATES
Submission deadline: June 1, 1998
Notification: August 1, 1998
Workshop: October 16-18, 1998
Preliminary version for workshop volume due at the workshop
Notification of acceptance for publication: December 1, 1998
PROGRAMME COMMITTEE
Maarten de Rijke, Amsterdam
Krister Segerberg, Uppsala
Heinrich Wansing, Leipzig
Michael Zakharyaschev, Moscow
PROGRAMME CHAIR
Michael Zakharyaschev
Institute of Applied Mathematics
Russian Academy of Sciences
Miusskaya Square 4
125047 Moscow
RUSSIA
(e-mails: mishaz@math.fu-berlin.de and mz@spp.keldysh.ru)
AiML STEERING COMMITTEE
Maarten de Rijke, Heinrich Wansing, Michael Zakharyaschev
AiML ADVISORY BOARD
Johan van Benthem, Amsterdam
Max Cresswell, Wellington
Luis Farinas del Cerro, Toulouse
Larry Moss, Indiana
Krister Segerberg, Uppsala
Colin Stirling, Edinburgh
FURTHER INFORMATION. Email enquiries about AiML '98 should be directed
to Krister.Segerberg@filosofi.uu.se. Information about the AiML initiative
can be obtained on the World-Wide Web at http://www.wins.uva.nl/~mdr/AiML.