[Apologies for multiple copies]
SECOND 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: applications of modal logic,
complexity and decidability of modal and temporal logics, deontic
logic, description logic, dynamic logic, epistemic logic, modal
logic 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: Melvin Fitting (USA), Robert Goldblatt
(New Zealand), Ian Hodkinson (UK), Hans Kamp (Germany), Carsten
Lutz (Germany), Hiroakiro Ono (Japan), and Pierre 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.aiml.net>.
This archive was generated by hypermail 2b29 : Mon Apr 22 2002 - 10:11:15 PDT