FINAL CALL FOR PAPERS
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 workshop series together with volumes based on
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: The AiML '98 workshop will be organized around a number of thematic
* 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, D.M.
Gabbay, 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 at
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 paper by December 1, 1998.
SPONSORS: The AiML '98 workshop is generously sponsored by Neurotec
Hochtechnologie GmbH, the Computational Logic Group at ILLC, University of
Amsterdam, Compulog Net network for Computational Logic, the Swedish Royal
Academy of Science, and the University of Uppsala.
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, Krister Segerberg,
Heinrich Wansing, Michael Zakharyaschev
Institute of Applied Mathematics
Russian Academy of Sciences
Miusskaya Square 4
(e-mails: firstname.lastname@example.org and email@example.com)
AIML STEERING COMMITTEE: Maarten de Rijke, Heinrich Wansing, Michael
AIML ADVISORY BOARD: Johan van Benthem, Max Cresswell, Luis Farinas del
Cerro, Larry Moss, Indiana Krister , Uppsala Colin Stirling
FURTHER INFORMATION: Email enquiries about the AiML '98 workshop should be
directed to Krister.Segerberg@filosofi.uu.se. Information about the AiML
initiative can be obtained on the World-Wide Web at