11.1777, Confs: Modal Logic, AiML-ICTL 2000

[The LINGUIST Network]

LINGUIST List:  Vol-11-1777. Fri Aug 18 2000. ISSN: 1068-4875.

Subject: 11.1777, Confs: Modal Logic, AiML-ICTL 2000

Moderators: Anthony Rodrigues Aristar, Wayne State U.<aristar at linguistlist.org>
            Helen Dry, Eastern Michigan U. <hdry at linguistlist.org>
            Andrew Carnie, U. of Arizona <carnie at linguistlist.org>

Reviews: Andrew Carnie: U. of Arizona <carnie at linguistlist.org>

Associate Editors:  Ljuba Veselinova, Stockholm U. <ljuba at linguistlist.org>
		    Scott Fults, E. Michigan U. <scott at linguistlist.org>
		    Jody Huellmantel, Wayne State U. <jody at linguistlist.org>
		    Karen Milligan, Wayne State U. <karen at linguistlist.org>

Assistant Editors:  Lydia Grebenyova, E. Michigan U. <lydia at linguistlist.org>
		    Naomi Ogasawara, E. Michigan U. <naomi at linguistlist.org>
		    James Yuells, Wayne State U. <james at linguistlist.org>

Software development: John Remmers, E. Michigan U. <remmers at emunix.emich.edu>
                      Sudheendra Adiga, Wayne State U. <sudhi at linguistlist.org>
                      Qian Liao, E. Michigan U. <qian at linguistlist.org>

Home Page:  http://linguistlist.org/

The LINGUIST List is funded jointly by Eastern Michigan University,
Wayne State University, and donations from subscribers and publishers.


Editor for this issue: Karen Milligan <karen at linguistlist.org>
 ==========================================================================
Please keep conferences announcement as short as you can; LINGUIST
will not post conference announcements which in our opinion are
excessively long.


=================================Directory=================================

1)
Date:  Fri, 18 Aug 2000 20:33:26 +0200
From:  Advances in Modal Logic <aiml at mac.com>
Subject:  AiML-ICTL 2000 Call for Participation

-------------------------------- Message 1 -------------------------------

Date:  Fri, 18 Aug 2000 20:33:26 +0200
From:  Advances in Modal Logic <aiml at mac.com>
Subject:  AiML-ICTL 2000 Call for Participation



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
<wolter at informatik.uni-leipzig.de>.  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/
-


-

---------------------------------------------------------------------------
LINGUIST List: Vol-11-1777