ABOUT FLOC
HOME About FLoC Sponsors Mailing list Contact
PARTICIPATION
Registration Accommodation Student travel support US-based Student travel support Visa information Cancellation Policy Local information Reimbursement forms (new!)
MEETINGS
CAV CSF ICLP IJCAR ITP LICS RTA SAT Workshops (alpha.) Workshops (by conf.) Affiliated Events
PROGRAM
FLoC at a glance Meeting by meeting Day by day Room assignment Invited talks Accepted papers Social events FLoC Brochure (PDF)
!! LAST MINUTE NEWS !! !! ROOM CHANGES !!
ORGANIZATION
Steering Committee Programme Committee Organising Committee
MISCELLANEOUS
Call for Workshops

Program of HyLo

Saturday, July 10th

Saturday's program is also available with abstracts and side by side with other events.

09:00‑09:50 Session 1
Location: AT 2.11
09:00 Dario Della Monica, Valentin Goranko and Guido Sciavicco
Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders
09:30 Michael R. Hansen
Efficient Model Checking for a Hybrid Duration Calculus
10:00‑10:30 Coffee break
10:30‑12:30 Session 2
Location: AT 2.11
10:30 Moshe Vardi (Rice University)
Hybrid Logic: The Search for The Decidability Frontier
11:30 Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas and Felix Weiss
The Complexity of Satisfiability for Fragments of Hybrid Logic --- Part II
12:00 Jens Ulrik Hansen
A Hybrid Public Announcement Logic with Distributed Knowledge
12:30‑14:00 Lunch
14:00‑15:00 Session 3
Location: AT 2.11
14:00 Gert Smolka (Saarland University)
Tableau-Based Decision Procedures for Hybrid Logic
15:00‑15:30 Coffee break
15:30‑16:50 Session 4
Location: AT 2.11
15:30 Valeria de Paiva, Hermann Hausler and Alexandre Rademaker
Constructive Description Logic, Hybrid-Style
15:50 Søren Lind Kristiansen and Anders Søgaard
Querying dependency treebanks using hybrid logic
16:10 Katsuhiko Sano
Axiomatizing Hybrid Products of Monotonic Neighborhood Frames
16:30 Thomas Bolander
Two approaches to termination and completeness for hybrid tableaus