Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

11 August 2006, HyLo 2006: International Workshop on Hybrid Logic, Seattle, USA

Date: Friday 11 August 2006
Location: Seattle, USA
Deadline: 26 May 2006

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. The workshop HyLo 2006 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. A theme of special interest at this HyLo workshop will be the combination of hybrid logic with other logics, the basic methodological question being "what is the best way of hybridizing a given logic?"
HyLo 2006 is affiliated with LICS 2006.

For more information, see http://hylomol.ruc.dk/HyLo2006/

We invite the contribution of papers reporting new work from researchers interested in hybrid logic. Submission deadline is 26 May 2006.

Please note that this newsitem has been archived, and may contain outdated information or links.