FINAL CALL FOR PAPERS

                                  AiML '96
                         Advances in Modal Logic '96

                             October 8-10, 1996
                     Freie Universitaet, Berlin, Germany

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 '96 is the first workshop organized as part of this
initiative. AiML '96 will be held from October 8--10, 1996 in Berlin,
Germany. The workshop is intended for users of modal logic in cognitive
science, computing, and language, as well as for logicians working in modal
logic.

TOPICS
The AiML '96 workshop will be organized around a number of thematic areas:
   * mathematics of modal logic
   * modal logic and AI/Knowledge Representation
   * modal logic and computation
   * modal logic, philosophy and language
   * proof theory and modal logic.
Papers on related subjects will also be considered.

SPECIAL SESSION
During the workshop there will be a special evening session in honour of
Wolfgang Rautenberg on the occasion of his 60th birthday.

INVITED SPEAKERS
Invited speakers include Patrick Blackburn (Saarbruecken), Wim Blok 
(Chicago), Joe Halpern (Stanford, unconfirmed), Dimiter Vakarelov (Sofia), 
Yde Venema (Amsterdam), Albert Visser (Utrecht), and Frank Wolter 
(Ishikawa).

PAPER SUBMISSION
Authors are invited to submit a detailed abstract of a full paper of at most
10 pages by e-mail to the programme chair, using `AiML96 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, 1996.
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, 1996.

IMPORTANT DATES
Submission deadline:                          June 1, 1996
Notification:                                 August 1, 1996
Workshop:                                     October 8--10, 1996
Preliminary version for workshop volume due:  At the workshop
Notification of acceptance for publication:   December 1, 1996

PROGRAMME COMMITTEE
   * Marcus Kracht (Berlin)
   * Maarten de Rijke (Warwick)
   * Heinrich Wansing (Leipzig)
   * Michael Zakharyaschev (Berlin)

PROGRAMME CHAIR
     Maarten de Rijke
     Department of Computer Science
     University of Warwick
     Coventry CV4 7AL, England
     mdr@dcs.warwick.ac.uk
     Phone: +44 1203 524258
     Fax: +44 1203 525714

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

SPONSORS
The AiML '96 workshop is sponsored by Neurotec Hochtechnologie GmbH, the 
Compulog Net network for Computational Logic, and the Berliner 
Mathematische Gesellschaft (BMG).

FURTHER INFORMATION
Email enquiries about the AiML '96 workshop should be directed to
kracht@math.fu-berlin.de. Information about the AiML initiative can be
obtained on the World-Wide Web at
http://www.dcs.warwick.ac.uk/~mdr/AiML/aiml-cfp-txt.html.
A postscript version of the call for papers is available at
ftp://carter.dcs.warwick.ac.uk/Pub/AiML/aiml-cfp-ps.ps.