[UAI] (CfP) Advances in Modal Logic 2002

From: Advances in Modal Logic (info@aiml.net)
Date: Mon Apr 22 2002 - 10:04:37 PDT

  • Next message: Osmar Zaiane: "[UAI] SIGKDD 2002 - online registration now open"

    [Apologies for multiple copies]

                          SECOND CALL FOR PAPERS
     
                                 AiML

                         Advances in Modal Logic

                September 30 - October 2, 2002, Toulouse

    Deadline: May 15, 2002

    Advances in Modal Logic is an initiative aimed at presenting an
    up-to-date picture of the state of the art in modal logic and its
    many applications. The initiative consists of a conference
    series together with volumes based on the conferences.

    AiML 2002 is the fourth conference organized as part of this
    initiative. It will be held September 30 - October 2, 2002 in
    Toulouse, France.

    TOPICS
    Topics of interest include: applications of modal logic,
    complexity and decidability of modal and temporal logics, deontic
    logic, description logic, dynamic logic, epistemic logic, modal
    logic of 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, common-sense temporal reasoning. Papers on
    related subjects will also be considered.

    SPECIAL SESSION
    During the workshop there will be a special session on modal
    logics of space.

    INVITED SPEAKERS
    Invited speakers include: Melvin Fitting (USA), Robert Goldblatt
    (New Zealand), Ian Hodkinson (UK), Hans Kamp (Germany), Carsten
    Lutz (Germany), Hiroakiro Ono (Japan), and Pierre Schnoebelen
    (France).

    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 one of the
    programme chairs, using `AiML 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. To be considered, submissions
    must be received no later than May 15, 2002.

    Note that at least one author of each accepted paper is required
    to attend the conference to present the paper.

    PUBLICATION DETAILS
    Preliminary versions of the full papers should be made available
    at the workshop; the proceedings volumes will be submitted to
    CSLI Publications. Notification date for the conference is July
    15, 2002; for the volumes it is December 1, 2002.

    PROGRAM COMMITTEE
      P. Balbiani (France)
      G. Corsi (Italy)
      L. Farinas del Cerro (France)
      M. de Rijke (Netherlands)
      L. Moss (USA)
      M. Reynolds (Australia)
      R. Schmidt (UK)
      N.-Y. Suzuki (Japan)
      H. Wansing (Germany)
      F. Wolter (Germany)
      M. Zakharyaschev (UK)
      
    PROGRAM CHAIRS
      Nobu-Yuki Suzuki
      Department of Mathematics
      Faculty of Sciences
      Shizuoka University
      Ohya 836, Shizuoka 422 8529 Japan
      email: smnsuzu@ipc.shizuoka.ac.jp

      Frank Wolter
      Institut fuer Informatik
      Leipzig University
      Augustusplatz 10 - 11
      04109 Leipzig
      email: wolter@informatik.uni-leipzig.de
      http://www.informatik.uni-leipzig.de/~wolter

    LOCAL ORGANIZERS
      Philippe Balbiani, Toulouse Luis Farinas del Cerro, Toulouse

    IMPORTANT DATES
      Submission deadline: May 15, 2002
      Notification: July 15, 2002
      Conference: September 30 - October 2, 2002
      Preliminary version for workshop volume due: at the workshop
      Notification of acceptance for publication: December 1, 2002

    FURTHER INFORMATION
    Information about AiML 2002 can be obtained at
    <http://www.irit.fr/ACTIVITES/LILaC/Pers/Balbiani/aiml02.htm>

    E-mail enquiries about AiML 2002 should be directed to
    <balbiani@irit.fr> or <wolter@informatik.uni-leipzig.de>.

    Information about AiML can be obtained at <http://www.aiml.net>.



    This archive was generated by hypermail 2b29 : Mon Apr 22 2002 - 10:11:15 PDT