Corpora: AiML'98: Final Call for Papers

Maarten de Rijke (mdr@wins.uva.nl)
Fri, 22 May 1998 20:49:28 +0200 (MET DST)

[Please post. Apologies if you receive multiple copies of this message.]

FINAL CALL FOR PAPERS

Advances in Modal Logic'98
AiML'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
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: 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

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 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.

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, Krister Segerberg,
Heinrich Wansing, Michael Zakharyaschev

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, 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
http://www.wins.uva.nl/~mdr/AiML.