International Workshop on Hybrid Logic 2007 (HyLo 2007)

6 - 10 August, 2007, Dublin, Ireland

ESSLLI 2007   Part of the European Summer School in Logic, Language, and Information (ESSLLI 2007)

Workshop Purpose

Hybrid logic is a branch of modal logic allowing direct reference to worlds/times/states. It is easy to justify interest in hybrid logic on the grounds of applications as the additional expressive power is very useful. In addition, hybrid-logical machinery improves the behaviour of the underlying modal formalism. For example, it becomes considerably simpler to formulate modal proof systems, and one can prove completeness and interpolation results of a generality that is not available in orthodox modal logic.

The topic of the HyLo workshop of 2007 is not only standard hybrid-logical machinery like nominals, satisfaction operators, and the downarrow binder, but generally extensions of modal logic that increase its expressive power.

The workshop HyLo 2007 will be relevant to a wide range of people, including those interested in description logic, feature logic, applied modal logics, temporal logic, and labelled deduction. The workshop continues a series of previous workshops on hybrid logic, most recently the LICS-affiliated HyLo 2006. The workshop aims to provide a forum for advanced PhD students and researchers to present and discuss their work with colleagues and researchers who work in the broad subject areas represented at ESSLLI.

For more general background on hybrid logic, and many of the key papers, see the Hybrid Logics homepage.

Invited Speakers

Balder ten Cate (University of Amsterdam, The Netherlands)
Abstract model theory for extensions of modal logic

Ian Hodkinson (Imperial College, UK)
Axiomatising an arbitrary elementary modal logic using hybrid logic

Accepted Papers

Vladimir Rybakov
A Hybrid LTL_K of Linear Temporal Logic LTL and Multi-Agent Logic K_n

Natasha Alechina, Philippe Balbiani and Dmitry Shkatov
Logics with modalities corresponding to infinite unions and intersections of accessibility relations

Dmitry Sustretov
Topological Semantics and Decidability

Volker Weber
Hybrid Branching-Time Logics

Lutz Strassburger
Deep Inference for Hybrid Logic

Martin Mundhenk and Thomas Schneider
The Complexity of Hybrid Logics over Equivalence Relations

Jens Ulrik Hansen
A tableau system for a first-order hybrid logic

Mark Kaminski and Gert Smolka
A Straightforward Saturation-Based Decision Procedure for Hybrid Logic

Philippe Balbiani and Andreas Herzig
Talkin'bout Kripke models


Torben BraŁner (Roskilde University, Denmark) - Chair
JÝrgen Villadsen (Technical University of Denmark)

Program Committee

Carlos Areces (INRIA Lorraine, France)
Patrick Blackburn (INRIA Lorraine, France)
Thomas Bolander (Technical University of Denmark) - Co-Chair
Torben BraŁner (Roskilde University, Denmark) - Chair
Mai Gehrke (New Mexico State University, USA)
Valeria de Paiva (PARC, USA)
JÝrgen Villadsen (Technical University of Denmark)

Submission Details

We invite the contribution of papers reporting new work from researchers interested in hybrid logic. Papers should not exceed 10 pages including references. A paper must be submitted as a PDF file and the font size must be at least 10 pt when printed on A4 paper. It is recommended that the LaTeX "article" style is used. Please use the HyLo 2007 submission page, handled by the EasyChair conference system, to submit papers. The accepted papers will appear in the workshop proceedings published by ESSLLI. One author for each accepted paper must attend the workshop in order to present the paper. It is planned to publish revised versions of the accepted papers in a special issue of Journal of Logic, Language and Information.

Workshop Format

The workshop is part of ESSLLI and is open to all ESSLLI participants. It will consist of five 90-minute sessions held over five consecutive days in the first week of ESSLLI. There will be 2 or 3 slots for paper presentation and discussion per session. On the first day the workshop organizers will give an introduction to the topic.

Important Dates

Deadline for submissions: March 22, 2007 - EXTENDED DEADLINE
Notification of acceptance: April 21, 2007
Deadline for final versions: May 17, 2007
Workshop dates: 6 - 10 August, 2007

Local Arrangements

All workshop participants including the presenters will be required to register for ESSLLI. There will be no reimbursement for travel costs and accommodation. Workshop speakers who have difficulty in finding funding should contact the local organizing committee to ask for the possibilities for a grant.

Contact Information

Associate Professor, Ph.D. Torben BraŁner
Department of Computer Science
Roskilde University
P.O. Box 260
DK-4000 Roskilde, Denmark
Phone: +45 4674 3840
Fax: +45 4674 3072

The workshop is sponsored by the HyLoMOL project which is funded by the Danish Natural Science Research Council.