Vorlesung: Advanced Mathematical Logic
Kompaktveranstaltung, Mo 8.4. bis So 13.4., 8 Uhr c.t.-18 Uhr, Ort: Hörsaal A301, Sand 1
Dozent: Prof. P. Schroeder-Heister
Seminar: Mathematical Logic
Planning meeting: 18 April 2013, 6 p.m., B109 (Department of Computer Science, Sand 13)
Dozent: Prof. P. Schroeder-Heister
Password-protected materials
Seminar: Philosophie der Mathematik
Fr 10-12, Ort: Raum X, Alte Burse, Beginn: 19.4.
Dozenten: Prof. P. Schroeder-Heister, T. Piecha
Paßwortgeschützte Materialien
Vorlesung: Communication, Mobility, Parallelism: Introduction to the Pi-Calculus
Di 10-12, Ort: A104, Sand 1, Beginn: 23.4.
Dozent: Dr. M. Arndt