AG Informatik, Logik, Mathematik

Die Arbeitsgemeinschaft findet mittwochs von 12:15 Uhr bis 13:45 im Raum 715 (Hochhaus, 7. Stockwerk) statt.
Veranstaltet wird diese Vortragsreihe von Rudolf Berghammer und Michael Hanus.

Datum	Vortragender / Herkunft	Thema	Auf Einladung von
18.11.09	Jan Christiansen - fällt wegen Krankheit des Vortragenden aus -	Lazy sorts of permutations	Prof. Dr. Rudolf Berghammer
25.11.09	Henning Schnoor	Computationally sound analysis of a probabilistic contact signing protocol	Prof. Dr. Thomas Wilke
02.12.09	Rudolf Berghammer		Prof. Dr. Rudolf Berghammer
09.12.09	Stefan Bolus		Prof. Dr. Rudolf Berghammer
16.12.09	Sebastian Fischer		Prof. Dr. Michael Hanus
23.12.09	Kein Vortrag!	- vorlesungsfrei -	Prof. Dr. Rudolf Berghammer
30.12.09	Kein Vortrag!	- vorlesungsfrei -	Prof. Dr. Rudolf Berghammer
06.01.10	Kein Vortrag!	- vorlesungsfrei -	Prof. Dr. Rudolf Berghammer
13.01.10	Michael Hanus		Prof. Dr. Michael Hanus
20.01.10	Fabian Reck		Prof. Dr. Michael Hanus
27.01.10	Frank Huch		Prof. Dr. Michael Hanus
03.02.10	Bernd Braßel		Prof. Dr. Rudolf Berghammer
10.02.10	Klaas Ole Kürtz		Prof. Dr. Thomas Wilke
17.02.10	Sönke Schulmeister		Prof. Dr. Thomas Wilke