Sommersemester 2013

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