Logic Colloquium
de lundi 12 août 2019 (09:00) à vendredi 16 août 2019 (18:00)