************************************************************ See below for call for papers ************************************************************ CALL FOR PARTICIPATION AiML-ICTL 2000 Advances in Modal Logic - International Conference on Temporal Logic 2000 October 4-7, 2000, University of Leipzig, Germany In the year 2000, the Advances in Modal Logic workshop and the International Conference on Temporal Logic will be run as a combined event, bringing together the strongly related modal logic and computer science oriented temporal logic communities to present and share the latest exciting results in all relevant areas. EARLY REGISTRATION DEADLINE The deadline for early registration is August 22, 2000. The early early registration fee is DM 250; the late registration fee is DM 300. To register, please visit http://www.informatik.uni-leipzig.de/~wolter/aiml.html. SCIENTIFIC PROGRAM The final program for AiML-ICTL 2000 is available now at http://www.informatik.uni-leipzig.de/~wolter/aiml.html. SPECIAL SESSION During the workshop there will be a special session on description logics and applications of modal logic in Knowledge Representation. INVITED SPEAKERS The invited speakers are: Nuel Belnap (Pittsburgh) Mark Reynolds (Perth) Stephane Demri (Grenoble) Krister Segerberg (Uppsala) Silvio Ghilardi (Milan) Colin Stirling (Edinburgh) Giuseppe de Giacomo (Rome) Moshe Vardi (Houston) PROGRAM COMMITTEE Franz Baader, Aachen Greg Restall, Sydney Howard Barringer, Manchester Maarten de Rijke, Amsterdam Marcelo Finger, Sao Paulo Heinrich Wansing, Dresden (chair) Nissim Francez, Haifa Frank Wolter, Leipzig Dov Gabbay, London Michael Zakharyaschev, Leeds LOCAL ORGANIZERS Frank Wolter, Leipzig Holger Sturm, Leipzig FURTHER INFORMATION E-mail enquiries about AiML-ICTL 2000 should be directed to . Information about AiML can be obtained on the World-Wide Web at http://www.illc.uva.nl/~mdr/AiML/, and about AiML-ICTL 2000 at http://www.informatik.uni-leipzig.de/~wolter/aiml.html. -- Advances in Modal Logic - International Conference on Temporal Logic 2000 October 4-7, 2000, Leipzig, Germany www.illc.uva.nl/~mdr/AiML/ -- ************************************************ ************************************************ FIRST CALL FOR PAPERS AiML-ICTL 2000 Advances in Modal Logic - International Conference on Temporal Logic 2000 October 4-7, 2000, University of Leipzig, Germany AiML-ICTL 2000 In the year 2000, the Advances in Modal Logic workshop and the International Conference on Temporal Logic will be run as a combined event, bringing together the strongly related modal logic and computer science oriented temporal logic communities to present and share the latest exciting results in all relevant areas. TOPICS Topics of interest include: common-sense temporal reasoning, complexity of modal and temporal logics, deontic logic, description logics, dynamic logic, epistemic logic, modal logics of agency and 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, temporal databases. Papers on related subjects will also be considered. SPECIAL SESSION During the workshop there will be a special session on description logics and applications of modal logic in Knowledge Representation. INVITED SPEAKERS Invited speakers include: Nuel Belnap (Pittsburgh) Mark Reynolds (Perth) Stephane Demri (Grenoble) Krister Segerberg (Uppsala) Silvio Ghilardi (Milan) Colin Stirling (Edinburgh) Giuseppe de Giacomo (Rome) Moshe Vardi (Houston) 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 the programme chair, using `AiML-ICTL 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. Following this it should be indicated whether this is a submission to AiML or ICTL. To be considered, submissions must be received no later than May 15, 2000. PUBLICATION DETAILS Preliminary versions of the full papers should be made available at the workshop; two separate proceedings volumes (AiML and ICTL) will be submitted to CSLI Publications. Notification date for the conference is July 15, 2000; for the volumes it is December 1, 2000. Full versions of accepted ICTL papers can be offered fast track journal publication in one of D.M. Gabbay's Oxford Journals. PROGRAM COMMITTEE Franz Baader, Aachen Greg Restall, Sydney Howard Barringer, Manchester Maarten de Rijke, Amsterdam Marcelo Finger, Sao Paulo Heinrich Wansing, Dresden (chair) Nissim Francez, Haifa Frank Wolter, Leipzig Dov Gabbay, London Michael Zakharyaschev, Leeds PROGRAM CHAIR Heinrich Wansing, Dresden University of Technology, Institute of Philosophy, 01062 Dresden, Germany, E-mail: Phone: +49 351 463 5489 Fax: +49 351 463 6068 LOCAL ORGANIZERS Frank Wolter, Leipzig Holger Sturm, Leipzig IMPORTANT DATES Submission deadline: May 15, 2000 Notification: July 15, 2000 Workshop: October 4-7, 2000 Preliminary version for workshop volume due: at the workshop Notification of acceptance for publication: December 1, 2000 FURTHER INFORMATION E-mail enquiries about AiML-ICTL 2000 should be directed to . Information about AiML can be obtained on the World-Wide Web at .