7th SLATE 2018: Guimaraes, Portugal

maintained by Schloss Dagstuhl LZI at University of Trier