1. SLATE 2012: Braga, Portugal

maintained by Schloss Dagstuhl LZI at University of Trier