Arbeitsgruppe Theoretische Informatik

Disputation Dipl.-Inf. Detlef Kähler

wilke — Thu, 03 Jul 2008 19:04:36 +0000

Am 17. Juli um 10:30 Uhr im Seminarraum Ü2 in der Ludewig-Meyn-Str. 2 findet der öffentliche Teil der Disputation zum Dr. rer. nat. von Dipl.-Inf. Detlef Kähler statt. Der Titel der Dissertation ist

„Strategy Properties for Cryptographic Protocols“.

Der Dekan der Technischen Fakultät lädt ein.

Vorträge: Moshe Y. Vardi

kuertz — Fri, 06 Jun 2008 14:51:31 +0000

Im Rahmen der Kieler-Woche-Vorträge der CAU Kiel wird Prof. Dr. Dr. h.c. mult. Moshe Y. Vardi von der Rice University (Houston, Texas, USA) zwei Vorträge halten:

Montag, 23. Juni 2008, 10:30 Uhr, Christian-Albrechts-Platz 3, Raum III:
And Logic Begat Computer Science: When Giants Roamed the Earth
Freitag, 27. Juni 2008, 14:15 Uhr, Ludewig-Meyn-Straße 2, Raum Ü2:
Automated Verification = Graphs, Automata, and Logic

Seminar am 19. Juni

kuertz — Fri, 06 Jun 2008 11:10:30 +0000

Am Donnerstag, den 19.06.2008 findet ein Blockseminar zu Themen der theoretischen Informatik statt. Vorgesehen sind Vorträge zu Paritätsspielen, ω-Automaten, Baumautomaten und Kryptographie geben:

9:30 Uhr: Jost Bissel
Komplementierung von ω-Automaten durch schwache Alternierung
11:15 Uhr: Jan Dahlke
Von (Co‑)Büchi-Baumautomaten zu schwach alternierenden Baumautomaten
14:00 Uhr: Martin Köper
Wie funktioniert die EC-Karte?
15:30 Uhr: Stefan Bolus
Ein Algorithmus zur Lösung einfacher stochastischer Spiele

Interessierte Zuhörer sind herzlich willkommen, stattfinden wird das Seminar im Raum 1011 im Hochhaus.