14. MODULARITY 2015: Fort Collins, CO, USA

Language Design

Software Engineering

Formal Methods 1

Formal Methods 2

maintained by Schloss Dagstuhl LZI, founded at University of Trier