42. MFCS 2017: Aalborg, Denmark

maintained by Schloss Dagstuhl LZI at University of Trier