[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>. 24-Apr-2002 09:00:50 -0300,1083;000000000001-00000000