Thursday, July 15th
Thursday's program is also available with abstracts and side by side with other events.
09:00‑10:00 Invited Lecture
Location: AT LT2
| 09:00 | Frank Pfenning (Carnegie Mellon University) Possession as Linear Knowledge |
10:30‑12:30 Paper Session
Location: AT LT2
| 10:30 | Thierry Sans and Iliano Cervesato QWeSST for Type-Safe Web Programming |
| 11:00 | Vivek Nigam, Limin Jia, Anduo Wang, Boon Thau Loo and Andre Scedrov An Operational Semantics for Network Datalog |
| 11:30 | Andrea Bracciali, Jane Hillston, Diego Latella and Mieke Massink Reconciling Population and Agent Models for Crowd Dynamics |
| 12:00 | Prakash Panangaden and Mehrnoosh Sadrzadeh Towards a logic for reasoning about learning in a changing world |
14:00‑15:00 Invited Lecture
Location: AT LT2
| 14:00 | David Pym (University of Aberdeen) Modal Location-Resource-Process Logic for Access Control |
15:30‑17:00 Paper Session
Location: AT LT2
| 15:30 | Michael Köhler-Bußmeier A Survey of Decidability Results for Elementary Object Systems |
| 16:00 | Michael Köhler-Bußmeier and Frank Heitmann Complexity of LTL Model-Checking for Safe Object Nets |
| 16:30 | Michael Mendler and Stephan Scheele Towards a Simply Typed CALculus for Semantic Knowledge Bases |