LINGUIST List 11.1955

Sat Sep 16 2000

Confs: Advances in Modal Logic: AiML-ICTL 2000

Editor for this issue: Lydia Grebenyova <lydialinguistlist.org>

Directory

1. Advances in Modal Logic, Advances in Modal Logic: AiML-ICTL 2000, Germany

FINAL 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.

REGISTRATION
The deadline for early registration has passed. The regular
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 . There are
8 invited talks and 35 contributed paper presentations.

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
<wolterinformatik.uni-leipzig.de>. Information about AiML can
be obtained on the World-Wide Web at
http://www.aiml.net/, 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.aiml.net
-