Program of LAM

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