PLPV 2013: Rome, Italy

Invited talk

Verification of programming languages

Complexity and security

Functional reactive programming

maintained by Schloss Dagstuhl LZI, founded at University of Trier