TGC 2010: Munich, Germany

Invited Talks

Types and Processes

Games and Concurrent Systems

Certification of Correctness

Tools and Languages

Probabilistic Aspects

a service of Schloss Dagstuhl - Leibniz Center for Informatics