LAM'10 Accepted Papers

A Survey of Decidability Results for Elementary Object Systems
QWeSST for Type-Safe Web Programming
Towards a logic for reasoning about learning in a changing world
An Operational Semantics for Network Datalog
Complexity of LTL Model-Checking for Safe Object Nets
Towards a Simply Typed CALculus for Semantic Knowledge Bases
Reconciling Population and Agent Models for Crowd Dynamics