Workshop on Hybrid Logics: Bringing them all together

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)

LAST CALL FOR PAPERS

IMPORTANT:

  • Deadline for submission: June 1st, 2000.

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 relevance 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. The deadline for early registration at ESSLLI is May 31st, 2000.

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

Hybrid Logics Site
Web Master: Carlos Areces

Copyright © 1999.