PLPV 2013: Rome, Italy

Invited talk

Verification of programming languages

Complexity and security

Functional reactive programming

maintained by Schloss Dagstuhl LZI at University of Trier