27. LICS 2012: Dubrovnik, Croatia

Invited Papers

Invited Tutorials

Kleene Award Paper

Regular Papers

maintained by Schloss Dagstuhl LZI at University of Trier