Corpora: Second Call for Papers: Workshop on Hybrid Logics

From: Carlos Areces (carlos@wins.uva.nl)
Date: Fri Mar 31 2000 - 16:56:10 MET DST

  • Next message: Alexander S. Yeh: "Re: Corpora: statistics in CL question"

    ################################################################
       Apologies, if you receive multiple copies of this document
    ################################################################

                     Twelfth European Summer School
                   in Logic, Language and Information
                              ESSLLI-2000
                           August 6-18, 2000
                       Birmingham, Great Britain

                       WORKSHOP ON HYBRID LOGICS
    >>> August 14-18, 2000 <<<
                     (Bringing Them All Together)

                         SECOND CALL FOR PAPERS

    NEW IN THIS CALL:

    - Dates of the workshop: August 14-18, 2000.
    - Following the workshop, participants will be invited to submit
      their contributions for publication in a special issue of the
      Journal of Logic and Computation.

    THEME:

    Modal logic suffers from a certain asymmetry: even though the basic
    semantic notion in modal languages is truth at a state, classical
    modal logics lack the expressive power to talk about the states
    themselves. Whether we think of states as intervals, geometric points,
    nodes in a feature structure, or individuals in a description, this is
    a genuine weakness.

    Hybrid Logics are modal languages which use "terms as formulas".
    Although they date back to the late 1960s, the last three years have
    seen a resurgence of interest, with new results in expressivity,
    interpolation, complexity, and proof techniques. It has also become
    clear that hybrid logics offer a theoretical framework for uniting the
    work of a surprisingly diverse range of research traditions.

    This workshop is likely to be relevant to a wide range of people,
    including those interested in description logic, feature logic, modal
    logics for information systems, temporal logic, and labelled deduction
    for modal logic. Moreover, if you have an interest in the work of the
    late Arthur Prior, note that this workshop is devoted to exploring
    ideas he first introduced 30 years ago --- it will be an ideal
    opportunity to see how his ideas have been developed in the
    intervening period.

    In this workshop we hope to bring together researchers and students
    from all the different fields just mentioned (and hopefully some
    others) in an attempt to explore just what they all have (and do not
    have) in common. If you're unsure whether your work is of relevant to
    the workshop, please check out the newly opened Hybrid Logic Site:

         http://www.illc.uva.nl/~carlos/hybrid

    And do not hesitate to contact the workshop organisers for more
    information. We'd be delighted to tell you more. Contact details are
    give below.

    SUBMISSIONS:

    We invite the contribution of research papers to the workshop. Please
    send electronically an extended abstract of up to 10 A4 size pages, in
    PostScript format to: carlos@wins.uva.nl BEFORE 1st of JUNE, 2000.

    Please note that all workshop contributors are required by the ESSLLI
    organizers to register for the Summer School.

    PROCEEDINGS:

    Papers accepted for the workshop will be made available from the
    Hybrid Logic Site. Following the workshop, participants will be
    invited to submit their contributions for publication in a special
    issue of the Journal of Logic and Computation.

    IMPORTANT DATES:
              
       * Submissions: June 1, 2000
       * Notification: June 30, 2000
       * Provisional workshop programme: July 15, 2000
       * Website-ready copy of all workshop contributions: July 31, 2000
       * Workshop: August 14th to 18th, 2000

    CONTACT DETAILS:

    Please visit http://www.illc.uva.nl/~carlos/hybrid for further
    information.

    Send all correspondence regarding the workshop to the organizers:

         Carlos Areces
         e-mail: carlos@wins.uva.nl
         http://www.illc.uva.nl/~carlos

         Patrick Blackburn
         e-mail: patrick@coli.uni-sb.de
         http://www.coli.uni-sb.de/~patrick

    -- 
    Carlos Eduardo Areces
    ILLC, University of Amsterdam
    

    Plantage Muidergracht 24, 1018 TV Amsterdam, The Netherlands phone : +31 20 525-6925 e-mail: carlos@wins.uva.nl www : http://www.illc.uva.nl/~carlos NEW!!!: http://www.illc.uva.hl/~carlos/hybrid | Hybrid Logic's Home Page



    This archive was generated by hypermail 2b29 : Fri Mar 31 2000 - 20:04:02 MET DST