Corpora: 3rd Workshop on Inference in Computational Semantics (ICoS-3) CFP

From: Priscilla Rasmussen (rasmusse@cs.rutgers.edu)
Date: Thu Mar 01 2001 - 21:17:31 MET

  • Next message: Conference, AISTA2000: "Corpora: CFP: International Conference on Computational Intelligence for M odelling, Control and Automation - CIMCA'2001"

        (Our apologies if you receive this message more than once)

                      * THIRD CALL FOR PAPERS *

                         third workshop on

                  INFERENCE IN COMPUTATIONAL SEMANTICS

                                ICoS-3

                    Siena, Italy, June 18-20, 2001

              http://www.cs.cmu.edu/~kohlhase/event/icos3/

                  (Submission deadline: March 15, 2001)

    ABOUT ICoS
    ----------

    Traditional inference tools (such as theorem provers and model
    builders) are reaching new levels of sophistication and are now widely
    and easily available. A wide variety of new tools (statistical and
    probabilistic methods, ideas from the machine learning community) are
    likely to be increasingly applied in computational semantics. Most
    importantly of all, computational semantics seems to have reached the
    stage where the exploration and development of inference is one of its
    most pressing tasks - and there's a lot of interesting new work which
    takes inferential issues seriously.

    The Workshop on Inference in Computational Semantics (ICoS) intends to
    bring researchers from areas such as Computational Linguistics,
    Artificial Intelligence, Computer Science, and Logic together, in
    order to discuss approaches and applications of Inference in natural
    language semantics.

    ICoS-1 took place in Amsterdam on August 15, 1999 with an attendance
    of over 50 researchers. A selection of the papers presented at ICoS-1
    has been published in a special issue of the Journal of Language and
    Computation.

    ICoS-2 took place in Dagstuhl Castle, Germany, on July 29-30,
    2000. Although the attendance was only 30, it was an intense and
    communicative meeting. A selection of the papers presented at ICoS-2
    will be published in the Journal of Language and Computation.

    ICoS-3 will be co-located with the the International Joint Conference
    on Automated Reasoning (IJCAR 2001, which takes place June 18-23, 2001
    at Siena, Italy. IJCAR is a joint meeting of all major conferences on
    automated theorem proving (CADE, FTP, TABLEAUX), and is therefore a
    good chance to meet the theorem proving community.

    ICoS-3 is endorsed by SIGSEM, the Association for Computational
    Linguistics (ACL) Special Interest Group (SIG) on computational
    semantics.

    DATES
    -----
    People who would like to submit a paper, system descriptions or who
    would like to attend the workshop should consider the following dates:

         Submission Deadline: March 15, 2001.
         Notification: April 15, 2001.
         Final Versions: May 15. 2001.
         Early Registration until: June 1., 2001.
         ICoS-3 Tutorials June 18, 2001.
         ICoS-3 Workshop: June 19-20, 2001.
         IJCAR: June 18-23, 2001

    INVITED SPEAKERS
    ----------------

    The invited speakers at ICoS-3 are:

         David Israel (SRI International)

         Alexander Koller (Saarbruecken)

         Ian Pratt-Hartmann (Manchester)

    Tutorials
    ---------

    We will start off the workshop with two tutorials on June 18. This
    gives the researchers from automated reasoning and computational
    semantics respectively to get an understanding of the other field
    before the actual workshop. The tutorials will given by

         Claire Gardent (CNRS, Nancy): Computational Semantics
                                       for automated reasoners
     
         Uli Furbach (Univ. Koblenz): Automated Reasoning
                                          for computational semanticists
            

    PROGRAM COMMITTEE
    -----------------

    The program committee for ICoS-3 consists of the following people:

         Patrick Blackburn, INRIA Lorraine (co-chair)
         Michael Kohlhase, Carnegie-Mellon University (co-chair)

         Johan Bos, Edinburgh
         Peter Baumgartner, Koblenz
         David Beaver, Stanford
         Dick Crouch, Xerox Parc
         Maarten de Rijke, Amsterdam
         Nissim Francez, Haifa
         Udo Hahn, Freiburg
         Gerard Huet, INRIA Rocquencourt
         Dale Miller, State College
         Martha Palmer, UPenn
         Stephen Pulman, Oxford
         Matthew Stone, Rutgers Univ
         Jun-ichi Tsuji, Tokyo
         Bonnie Webber, Edinburgh

    SUBMISSIONS
    -----------

    We invite three kinds of submissions
    (LaTeX2e, 11pt, one column, a4paper (not a4wide.sty)):

     - research papers on inference methods in computational semantics as well
       as their applications (15 pages),
     - system descriptions (6 pages), System descriptions should focus on
       actual implementations, explaining system architecture issues and
       specific implementation techniques. Every system description should be
       accompanied by a system demo at ICoS-3.
     - system demos (2 page abstracts): People who would like demonstrate
       systems that address inference in computational semantics should send
       two-page abstracts.

    Research papers and system descriptions will be peer-refereed by the
    programme committee above, system demos are only screened for
    appropriateness by the program chairs.

    SUBMISSION DEADLINE: March 15, 2001.

    NOTIFICATION: April 15, 2001.

    The primary means of submission will be electronic, in PostScript
    format. Submissions should be sent to the organizers.icos3@ags.uni-sb.de

    In addition to the (informal) workshop proceedings, we plan to publish
    a special issue of the Journal of Language and Computation devoted to
    ICoS-3. Shortly after the workshop, authors will be contacted by the
    editors for special issue, inviting them to contribute; we may ask you
    to incorporate comments/discussions/... arising during ICoS-3 into
    your paper. Details on the publication schedule for the special issue
    as well as formatting instructions will be announced at the workshop.
    Registration and Further Information If you have any questions, please
    contact the local organizers at icos3@ags.uni-sb.de.

    FURTHER INFORMATION
    -------------------
    If you have any questions, please contact the local organizers
    Patrick Blackburn and Michael Kohlhase via icos3@ags.uni-sb.de.

    For actual information concerning ICoS-3 please consult

        http://www.cs.cmu.edu/~kohlhase/event/icos3/



    This archive was generated by hypermail 2b29 : Fri Mar 02 2001 - 22:23:04 MET