Logic Seminar - Antongiulio Fornasiero Tue, 03/12/201913:00-15:00Location: Shprintsak building - Room 29