11. MPC 2012: Madrid, Spain

Invited Talks

Security and Information Flow

Synchronous and Real-Time Systems

Algorithms and Games

Program Calculi

Tool Support

Algebras and Datatypes

Categorical Functional Programming

maintained by Schloss Dagstuhl LZI at University of Trier