--------------------------------------------------------------------------
Apologies for multiple copies.
--------------------------------------------------------------------------
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)
CALL FOR PARTICIPATION AND PRELIMINARY PROGRAM
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.
PRELIMINARY PROGRAM:
The preliminary program of the workshop is as follows:
Monday
14.00 - 14.40 Hs. Patrick Blackburn. Introducing Hybrid Logics
14.50 - 15.30 Hs. Maarten Marx. Complexity of Basic Hybrid Logics
Tuesday
14.00 - 14.40 Hs. Carlos Areces. Description and/or Hybrid Logics
14.50 - 15.30 Hs. Valentin Goranko. Sorting Things Out
Wednesday
14.00 - 14.40 Hs. Guillaume Malod. Naming Worlds in Modal
and Temporal Logic
14.50 - 15.30 Hs. Carlos Areces. Hybrid Binders
Thursday
14.00 - 14.40 Hs. Bill Wadge. A Hybrid Predicate Calculus
14.50 - 15.30 Hs. Mike Reape. Hybrid Logics: The Linguistic Connection
Friday
14.00 - 14.40 Hs. Patrick Blackburn. Hybrid Logics: The Latest Prior
14.50 - 15.30 Hs. Round Table. Bringing Them All Together
More information is availabe at the workshop webpages:
http://hylo2000.hylo.net
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.
INFORMAL PROCEEDINGS and RELATED MATERIAL:
Papers accepted for the workshop and related material are available
from the site of the workshop. 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:
- Website-ready copy
of all workshop contributions: July 31, 2000
- Workshop : August 14th to 18th, 2000
CONTACT DETAILS:
Please visit http://hylo2000.hylo.net for further information.
Send all correspondence regarding the workshop to the organizers:
Carlos Areces
e-mail: carlos@wins.uva.nl
url : http://www.illc.uva.nl/~carlos
Patrick Blackburn
e-mail: patrick@coli.uni-sb.de
url : http://www.coli.uni-sb.de/~patrick
-- Carlos Eduardo Areces ILLC, University of AmsterdamPlantage 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.hylo.net | Hybrid Logic's Home Page
This archive was generated by hypermail 2b29 : Sun Jul 23 2000 - 17:48:54 MET DST