19th IDEAL 2018: Madrid, Spain

maintained by Schloss Dagstuhl LZI, founded at University of Trier