TGC 2013: Buenos Aires, Argentina

Invited Papers

Security

pi-Calculus

Information Flow

Models, Specifications, and Proofs

Quantitative Analysis

maintained by Schloss Dagstuhl LZI at University of Trier