International Workshop on Hybrid Logic and Applications (HyLo 2010)

Hybrid logic is an extension of modal logic which allows us to refer explicitly to states of the model in the syntax of formulas. This extra capability, very natural in the realm of temporal logics, where one usually wants to refer to specific times, has been shown very effective in other domains too. Although they date back to the late 1960s, and have been sporadically investigated ever since, it was only in the 1990s that work on them really got into its stride.

Organizers

Thomas Bolander (Technical University of Denmark). Email: tb@imm.dtu.dk
Torben Braüner (Roskilde University, Denmark). Email: torben@ruc.dk

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), Co-chair
Stephane Demri (ENS de Cachan, France)
Mai Gehrke (Radboud Universiteit Nijmegen, The Netherlands)
Valentin Goranko (Technical University of Denmark)
Valeria de Paiva (Cuil Inc., USA)
Thomas Schneider (University of Manchester)

Workshop website

 http://hylocore.ruc.dk/HyLo2010.html