2. ITP 2011: Berg en Dal, The Netherlands

Invited Papers

Regular Papers

Proof Pearls

Rough Diamonds

maintained by Schloss Dagstuhl LZI at University of Trier