HyLo 2010: July 10

Hybrid Logic and Applications 2010

associated with LICS

Overview

The topic of the HyLo workshop of 2010 is hybrid logic and its applications, for instance within the fields mentioned above. The scope is not only standard hybrid-logical machinery like nominals, satisfaction operators, and the downarrow binder but, more generally, extensions of modal logic that increase its expressive power.

More information can be found here.

Programme

Invited Talks

Program Chairs

Thomas Bolander, Technical University of Denmark, Denmark
Torben Bra√ľner, Roskilde University, Denmark

Program Committee:

Carlos Areces, LORIA, France
Patrick Blackburn, INRIA, Lorraine, France
Valeria de Paiva, cuill.com, United States
Stephane Demri, CNRS, France
Mai Gehrke, Radboud University Nijmegen, Netherlands
Valentin Goranko, Technical University of Denmark, Denmark
Thomas Schneider, University of Manchester, United Kingdom