Saarland University Computer Science


Semantics Derek Dreyer and Gert Smolka



Upcoming Events

Office hour 27.01.2020 13:00 - 15:00
Tutorial 28.01.2020 12:15 - 13:50
Lecture 29.01.2020 12:15 - 13:45
Lecture 31.01.2020 12:15 - 13:45
Office hour 03.02.2020 13:00 - 15:00
Tutorial 04.02.2020 12:15 - 13:50
Lecture 05.02.2020 12:15 - 13:45