cfp: Issues in the Design and Experimental Evaluation of Systems for Modal and Temporal Logics

From: Carola Dori (dori@itc.it)
Date: Mon Feb 19 2001 - 17:51:22 MET

  • Next message: Max Garagnani: "FINAL CALL: Special Session on "Learning and Adapting in AI Planning" at IC-AI'01"

    ************************************************************************
                              IJCAR workshop on

             Issues in the Design and Experimental Evaluation of
                    Systems for Modal and Temporal Logics

                 www.mrg.dist.unige.it/~enrico/wkshp-ijcar.html

                           Siena, June 18-19, 2001
    ************************************************************************

    Topic
    *****
    The aim of this workshop is to bring together people who are
    interested in the development and experimental evaluation of systems
    for modal, temporal and description logics. The emphasis of the
    workshop is on the identification of open problems and the discussion
    of possible solutions under the theme:
    - - Which are the key issues in the design of modal and temporal systems?
    - - What is a good benchmark set?
    - - What is a good comparative evaluation?

    The workshop will consist of three parts on each of these questions,
    with invited speaker starting the discussion followed by contributions
    from the participants. An overall panel will conclude the
    workshop. Topics of interest include (but are not limited to)
    - - Tableaux vs Translations Methods
    - - SAT-based vs BDD-based techniques
    - - Running Time vs Scaling abilities
    - - Random Benchmarks vs Industrial Case Studies
     

    Submission
    **********
    Submissions are encouraged in one of the following two categories:
    A. Regular paper: Submissions in this category should describe
       completed work or work in progress, including description of
       researches, testing methodologies, tools, and applications. The
       length of submitted papers should be no more than 10 pages in LNCS
       style.
    B. Discussion paper: Submissions in this category are intended to
       initiate discussions. They should address controversial issues and
       may include bold provocative statements on the above themes. The
       length of papers should be no more than 5 pages in LNCS style.

    Submissions should be prepared following the LNCS guidelines and sent
    in postscript format by e-mail to Enrico Giunchiglia (subject:
    IJCAR-workshop Submission). The category (either A or B) must be
    clearly indicated. Please include also address and e-mail of the
    contact author into the submission e-mail.

    Publication
    ***********
    Accepted papers will be distribuited as part of the workshop working
    notes. Some of the papers might be published in a special issue of an
    international journal (to be confirmed, check the web site).

    Participation
    *************
    Participation will be open to authors, the invited speakers and the
    people in the PC. If you wish to attend without presenting a paper,
    please send a brief e-mail to Enrico Giunchiglia (subject:
    IJCAR-workshop participation) with a brief summary of your research
    interests. Note that all participants must register to IJCAR.

    Program Committee
    *****************
    A. Biere (ETH, Zurich)
    E. Giunchiglia (U. Genova, Organiser)
    F. Giunchiglia (U. Trento)
    I. Gent (U. St. Andrews)
    I. Horrocks (U. Manchester)
    F. Massacci (U. Siena)

    Important dates
    ***************
    Submission deadline: April 1, 2001
    Notification of acceptance: April 30, 2001
    Final version due: May 13, 2001
    Early registration: to be announced

    Further Infos
    *************
    For up-to-date information, see the workshop web site
    www.mrg.dist.unige.it/~enrico/wkshp-ijcar.html,
    or contact Enrico Giunchiglia (subject: IJCAR-workshop infos).

    ############################################################################
    This message was posted through the fuzzy mailing list.
    (1) To subscribe to this mailing list, send a message body of
    "SUB FUZZY-MAIL myFirstName mySurname" to listproc@dbai.tuwien.ac.at
    (2) To unsubscribe from this mailing list, send a message body of
    "UNSUB FUZZY-MAIL" or "UNSUB FUZZY-MAIL yoursubscription@email.address.com"
    to listproc@dbai.tuwien.ac.at
    (3) To reach the human who maintains the list, send mail to
    fuzzy-owner@dbai.tuwien.ac.at
    (4) WWW access and other information on Fuzzy Sets and Logic see
    http://www.dbai.tuwien.ac.at/ftp/mlowner/fuzzy-mail.info
    (5) WWW archive: http://www.dbai.tuwien.ac.at/marchives/fuzzy-mail/index.html



    This archive was generated by hypermail 2b30 : Mon Feb 19 2001 - 18:06:54 MET