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.

Date	Guest / From	Topic	Invited by
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	Jan Christiansen	Lazy sorts of permutations	Prof. Dr. Rudolf Berghammer
09.12.09	Stefan Bolus	Simple games, voting power and binary decision diagrams	Prof. Dr. Rudolf Berghammer
16.12.09	Sebastian Fischer	Mögliche Variationen eines funktionalen Algorithmus zur Berechnung der reflexiv-transitiven Hülle endlicher, binärer Relationen	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	An Entity/Relationship-based Framework for Declarative Web Programming	Prof. Dr. Michael Hanus
27.01.10	Frank Huch	Alternative Implementierung regulärer Ausdrücke	Prof. Dr. Michael Hanus
03.02.10	Bernd Braßel	Über die Kunst vernetzt zu denken	Prof. Dr. Rudolf Berghammer
10.02.10	Klaas Ole Kürtz	A Simulation-Based Treatment of Authenticated Message Exchange	Prof. Dr. Thomas Wilke
17.02.10	Sönke Schulmeister	Scratch - ein geeigneter Programmiereinstieg in der Sekundarstufe I?	Prof. Dr. Thomas Wilke