13. FoSSaCS 2010: Paphos, Cyprus (Part of ETAPS 2010)

FoSSaCS 2010 Invited Talk

Semantics of Programming Languages

Probabilistic and Randomised Computation

Concurrency and Process Theory

Modal and Temporal Logics

Verification

Categorical and Coalgebraic Methods

Lambda Calculus and Types

maintained by Schloss Dagstuhl LZI at University of Trier