27th LICS 2012: Dubrovnik, Croatia

Invited Papers

Invited Tutorials

Kleene Award Paper

Regular Papers

maintained by Schloss Dagstuhl LZI, founded at University of Trier