12. FoSSaCS 2009: York, UK (Part of ETAPS 2009)

Invited Talks

Semantics

Logics and Automata

Algebras

Automata Theory

Processes and Models

Security

Probabilistic and Quantitative Models

Synthesis

Program Analysis and Semantics