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

maintained by Schloss Dagstuhl LZI at University of Trier