The scope of the meetings covers traditional as well as emerging disciplines within program-
ming theory: semantics of programming languages, programming language design and program-
ming methodology, programming logics, formal specification of programs, program verification,
program construction, program transformation and refinement, real-time and hybrid systems,
models of concurrent, distributed and mobile computing, language-based security. In particu-
lar, they are targeted at early-career researchers as a friendly meeting where one can present
work in progress but which at the same time produces a high-level post-proceedings compiled
of the selected best contributions in the form of a special journal issue.
The invited speakers this year are
- Erika Abraham RWTH Aachen University
Hybrid systems and probabilistic systems.
- Andrei Sabelfeld Chalmers University
Information security, web security, and language-based security.
- Peter Ölveczky University of Oslo
Formal modeling and analysis of distributed systems with rewriting logic.
More information is available at