Logic List Mailing Archive

AiML

FIRST CALL FOR PAPERS

                         AiML

                Advances in Modal Logic 


          September 30 - October 2, 2002, Toulouse


Deadline: May 15, 2002

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 conference
series together with volumes based on the conferences.

AiML' 2002 is the fourth conference organized as part of
this initiative. It will be held September 30 - October 2, 2002
in Toulouse, France.

TOPICS
Topics of interest include: 
complexity and decidability of modal and temporal logics, 
deontic logic, 
description logics, 
dynamic logic, 
epistemic logic, 
modal logics of space, 
modal logic and game theory, 
modal logic and grammar formalisms, 
modal realism and anti-realism, 
modal and temporal logic programming and theorem proving, 
model theory and proof theory of modal and temporal logic, 
representation of time in natural language semantics, 
non-monotonic modal logics,
provability logic,  
common-sense temporal reasoning.
Papers on related subjects will also be considered.

SPECIAL SESSION
During the workshop there will be a special session on
modal logics of space.

INVITED SPEAKERS
Invited speakers include:
  M. Fitting (USA)
  R. Goldblatt (New Zealand)
  I. Hodkinson (UK)
  C. Lutz (Germany)
  H. Ono (Japan)
  P. Schnoebelen (France)

PAPER SUBMISSION
Authors are invited to submit a detailed abstract of a full paper
of at most 10 pages (a4paper, 11pt) by e-mail to one of the programme
chairs, using `AiML Submission' as the subject line.  The
cover page should include title, names of authors, the
coordinates of the corresponding author, and some keywords
describing the topic of the paper. To be
considered, submissions must be received no later than May 15,
2002.

Note that at least one author of each accepted paper is required
to attend the conference to present the paper.

PUBLICATION DETAILS
Preliminary versions of the full papers should be made available
at the workshop; the proceedings volumes will be submitted
to CSLI Publications.  Notification date for the conference 
is July 15, 2002; for the volumes it is December 1, 2002.  


PROGRAM COMMITTEE
  P. Balbiani (France)
  G. Corsi (Italy)
  L. Farinas del Cerro (France)
  M. de Rijke (Netherlands)
  L. Moss (USA)
  M. Reynolds (Australia)
  R. Schmidt (UK)
  N.-Y. Suzuki (Japan)
  H. Wansing (Germany)
  F. Wolter (Germany)
  M. Zakharyaschev (UK)
  
PROGRAM CHAIRS
  Nobu-Yuki Suzuki
  Department of Mathematics
  Faculty of Sciences
  Shizuoka University
  Ohya 836, Shizuoka 422 8529 Japan
  email: smnsuzu@ipc.shizuoka.ac.jp

  Frank Wolter
  Institut fuer Informatik
  Leipzig University
  Augustusplatz 10 - 11
  04109 Leipzig
  email: wolter@informatik.uni-leipzig.de
  http://www.informatik.uni-leipzig.de/~wolter

LOCAL ORGANIZERS
  Philippe Balbiani, Toulouse   Luis Farinas del Cerro, Toulouse

IMPORTANT DATES
  Submission deadline: May 15, 2002
  Notification: July 15, 2002
  Conference: September 30 - October 2, 2002
  Preliminary version for workshop volume due:  at the workshop
  Notification of acceptance for publication:   December 1, 2002

FURTHER INFORMATION
Information about AiML-2002 can be obtained at
http://www.irit.fr/ACTIVITES/LILaC/Pers/Balbiani/aiml02.htm

E-mail enquiries about AiML-2002 should be directed to
<balbiani@irit.fr> or <wolter@informatik.uni-leipzig.de>.  

Information about AiML can be obtained at
http://www.illc.uva.nl/~mdr/AiML/>.