AMAST Mail - October 1999
AiML-ICTL 2000: First Call for Papers

Subject: AiML-ICTL 2000: First Call for Papers
From: mdr@wins.uva.nl (Maarten de Rijke)
Date: Thu, 21 Oct 1999 22:15:25 +0200 (MET DST)
Cc: mdr@wins.uva.nl (Maarten de Rijke)
[Apologies for multiple copies]

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: <wansing@Rcs1.urz.tu-dresden.de>
  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 
<wolter@informatik.uni-leipzig.de>. Information about AiML can be obtained 
on the World-Wide Web at <http://www.illc.uva.nl/~mdr/AiML/>.