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. The AiML '98 workshop 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 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. The AiML '98 workshop 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
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 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 http://www.wins.uva.nl/~mdr/AiML.
--------------------------------------------------------------------------
The dbworld list reaches many people, and should only be used for
messages of general interest to the database community.
To subscribe or unsubscribe yourself (or optionally (address)) from
dbworld, send a msg to majordomo@cs.wisc.edu with one of these lines:
subscribe dbworld (address)
unsubscribe dbworld (address)
To find out more options send a msg with the line:
help
--------------------------------------------------------------------------