Corpora: AiML-ICTL 2000 Call for Participation

From: Advances in Modal Logic (aiml@mac.com)
Date: Fri Aug 18 2000 - 20:33:26 MET DST

  • Next message: MIT2USA@aol.com: "Corpora: Strategic Alliance: Smart Communications and MIT2"

    [Apologies for multiple copies]

    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@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/
    --
    

    --



    This archive was generated by hypermail 2b29 : Mon Aug 21 2000 - 10:40:36 MET DST