TGC 2010: Munich, Germany

Invited Talks

Types and Processes

Games and Concurrent Systems

Certification of Correctness

Tools and Languages

Probabilistic Aspects

maintained by Schloss Dagstuhl LZI, founded at University of Trier