Arbeitsgruppe Theoretische Informatik

STACS 2013 in Kiel

Henning Schnoor — Wed, 20 Feb 2013 12:21:59 +0000

Vom 27. Februar bis zum 2. März findet die Konferenz STACS 2013 in Kiel statt. Nähere Informationen finden sich unter http://www.stacs2013.uni-kiel.de/.

Seminarvorträge im Juni

Thomas Wilke — Mon, 21 May 2012 21:47:02 +0000

In der Woche vom 11. bis zum 15. Juni finden die Vorträge im Rahmen unserer beiden Seminare (Bachelorseminar über bahnbrechende Arbeiten der Informatik und Masterseminar zur theoretischen Informatik) statt Details dazu finden Sie auf der E-Learning-Plattform.

Vortrag: Computing Strategies for Poker (30.10.09)

Klaas Ole Kürtz — Tue, 20 Oct 2009 08:43:08 +0000

Im Rahmen des Kolloquiums des Instituts für Informatik findet auf Einladung von Prof. Wilke folgender Vortrag statt:

Computing strategies for poker
Troels Bjerre Sørensen, LMU München
am 30.10.2009 um 14:15 Uhr
im Übungsraum Ü3 (Vorbau Ludewig-Meyn-Str. 2)

Zusammenfassung:

Whenever game theory is applied to real world games, the models tend to be much larger than the toy examples that are traditionally studied. In this talk, I will present some of the techniques that have been applied recently to tackle the game of Texas Hold’em poker. The talk will include an introduction to the game theory used as well as an introduction to poker, so it should be possible to follow for most computer scientists.

Zwei-Fächer-AG (2FAG)

Klaas Ole Kürtz — Tue, 20 Oct 2009 08:33:19 +0000

Die von Herrn Wilke angebotene Arbeitsgemeinschaft für Studentinnen und Studenten, die ein Zwei-Fächer-Studium aufgenommen haben, wird

jeweils mittwochs von 8.15 bis 9.45 Uhr
im Raum 1011 im Hochhaus (CAP4)

stattfinden, erstmals am 28. Oktober 2009.

Ziel der Arbeitsgemeinschaft ist es, die besonderen Schwierigkeiten – seien sie genereller oder individueller Art -, denen sich Zwei-Fächer-Studierende ausgesetzt sehen, auszuräumen. Die Teilnahme ist unverbindlich.

Disputation Dipl.-Inf. Detlef Kähler

Thomas 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

Klaas Ole Kürtz — 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

Klaas Ole Kürtz — 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.