FINAL CALL FOR PAPERS

AiML '96
Advances in Modal Logic '96

October 8-10, 1996
Freie Universität, 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: 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 (Saarbrücken), 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

Programme Chair

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.html. A postscript version of the call for papers is also available.

Maarten de Rijke
Department of Computer Science
University of Warwick
Coventry CV4 7AL
Last updated April 12, 1996. mdr@dcs.warwick.ac.uk
.