14. APLAS 2016: Hanoi, Vietnam

Invited Presentations

Verification and Analysis I

Process Calculus

Profiling and Debugging

lambda-Calculus

Type Theory

Verification and Analysis II

Programming Paradigms

Separation Logic

maintained by Schloss Dagstuhl LZI at University of Trier