7. IFIP TCS 2012: Amsterdam, The Netherlands

maintained by Schloss Dagstuhl LZI, founded at University of Trier