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
- Gert Smolka (Saarland University, Germany)
- Moshe Vardi (Rice University, USA)
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