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 |
12.11.08 |
Sebastian Fischer |
Eine Medaille mit fuenf Seiten |
|
19.11.08 |
Thomas Wilke |
Komplementierung und Determinisierung von omega-Automaten |
|
26.11.08 |
Frank Huch |
E N T F Ä L L T! |
|
03.12.08 |
Henning Schnoor |
Verifikation von strategischen Sicherheitseigenschaften |
|
10.12.08 |
Klaas Ole Kürtz |
Sichere Nachrichtenaustauschprotokolle |
|
17.12.08 |
Bernd Braßel |
Functional logic programs as equations over order-sorted algebras |
|
24.12.08 |
kein Vortrag |
H e i l i g a b e n d |
|
31.12.08 |
kein Vortrag |
S i l v e s t e r |
|
07.01.09 |
kein Vortrag |
V o r l e s u n g s f r e i |
|
14.01.09 |
Michael Hanus |
||
21.01.09 |
|||
28.01.09 |
Jan Christiansen |
||
04.02.09 |
Rudolf Berghammer |
||
11.02.09 |
Frank Kupke |