Seminar Logik in der Informatik

Termine im SoSe 2010

21.04.2010	Nicole Schweikardt Vorbesprechung, Themenvergabe, Mathematische Grundlagen (Kapitel I.1 und I.2)
28.04.2010	Nicole Schweikardt Mathematische Grundlagen (Rest von Kapitel I), Formale Sprachen und formale Logik (Kapitel II)
05.05.2010	Nicole Schweikardt Formale Sprachen und formale Logik (Rest von Kapitel II)
12.05.2010	~~Sebastian Tinz~~ Mariano Zelke (Ansprechpartner: Mariano Zelke) Vortrag zu Thema 1
19.05.2010	Christian Peter Müller (Ansprechpartner: Mariano Zelke) Vortrag zu Thema 2
26.05.2010	~~Huseyin Kalsen~~ André Böhm (Ansprechpartner: André Böhm) Vortrag zu Thema 3
02.06.2010	tba (Ansprechpartner: André Böhm) ~~Vortrag zu Thema 4~~ Der Vortrag zu Thema 4 entfällt.
09.06.2010	Gerhard Ruscher (Ansprechpartner: Lucas Heimberg) Vortrag zu Thema 5
16.06.2010	~~Sebastian Schall~~ Dominik Freydenberger (Ansprechpartner: Dominik Freydenberger) Vortrag zu Thema 6
30.06.2010, 14-16h	Quentin Chuinte (Ansprechpartner: Frederik Harwath) Vortrag zu Thema 7
30.06.2010, 16-18h	~~Till Berger~~ Frederik Harwath (Ansprechpartner: Frederik Harwath) Vortrag zu Thema 8
07.07.2010	Bahram Aliani (Ansprechpartner: Nicole Schweikardt) Vortrag zu Thema 9