[UAI] HyLo@LICS: Call for Participation and Preliminary Program

From: Methods for Modalities (m4m@science.uva.nl)
Date: Fri Jun 14 2002 - 10:30:49 PDT

  • Next message: Maria Teresa Pazienza: "second call - SCIE02 - Summer Convention on Information Extraction"

                                     HyLo@LICS
                           4th Workshop on Hybrid Logics

                           LICS 2002 Affiliated Workshop
                       July 25th, 2002. Copenhagen, Denmark
                   (DEADLINE FOR EARLY REGISTRATION JUNE 15!!!)

                  CALL FOR PARTICIPATION AND PRELIMINARY PROGRAM

     Theme:

     Hybrid logic is a branch of modal logic in which it is possible to
     directly refer to worlds/times/states or whatever the elements of the
     (Kripke) model are meant to represent. Although they date back to the late
     1960s, and have been sporadically investigated ever since, it is only in
     the 1990s that work on them really got into its stride.

     It is easy to justify interest in hybrid logic on applied grounds, with
     the usefulness of the additional expressive power. For example, when
     reasoning about time one often wants to build up a series of assertions
     about what happens at a particular instant, and standard modal formalisms
     do not allow this. What is less obvious is that the route hybrid logic
     takes to overcome this problem (the basic mechanism being to add nominals
     --- atomic symbols true at a unique point --- together with extra
     modalities to exploit them) often actually improves the behavior of the
     underlying modal formalism. For example, it becomes far simpler to
     formulate modal tableau and resolution in hybrid logic, and completeness
     and interpolation results can be proved of a generality that is simply not
     available in modal logic. That is, hybridization --- adding nominals and
     related apparatus --- seems a fairly reliable way of curing many known
     weaknesses in modal logic.

     HyLo@LICS is likely to be relevant to a wide range of people, including
     those interested in description logic, feature logic, applied modal
     logics, temporal logic, and labelled deduction. 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 from all the
     different fields just mentioned (and hopefully some others) in an attempt
     to explore what they all have (and do not have) in common. If you're
     unsure whether the workshop is of relevance to your work , please check
     out the Hybrid Logics homepage. And do not hesitate to contact the
     workshop organisers for more information. We'd be delighted to tell you
     more. Contact details are given below.

     The program includes invited talks by Melvin Fitting and Moshe Vardi.

     Thursday 25th, July 2002:

      9.00 - 10.00 Hs. Melvin Fitting
                             AddOns.
     14.00 - 15.00 Hs. Moshe Vardi.
                             Logic and Automata: Words, Trees, and Forests.

     The full program is available at the workshop webpages:

                        http://hylo20002.hylo.net

     PROCEEDINGS:

     Papers accepted for the workshop and related material will be available
     from the Hybrid Logic Site.

     Important DATES:

          Website-ready copy of all workshop contributions: June 30th, 2002
          Workshop: July 25th.

     Contact Details:

     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@aplog.org
          http://www.loria.fr/~blackbur

          Maarten Marx
          e-mail: marx@science.uva.nl
          http://www.illc.uva.nl/~marx

          Ulrike Sattler
          e-mail: sattler@tcs.inf.tu-dresden.de
          http://lat.inf.tu-dresden.de/~uli/

    -- 
    

    M4M: Methods for Modalities www.science.uva.nl/~m4m



    This archive was generated by hypermail 2b29 : Fri Jun 14 2002 - 10:34:38 PDT