15. IDEAL 2014: Salamanca, Spain

maintained by Schloss Dagstuhl LZI at University of Trier