Theoretische Informatik 

---

Oberseminar Theoretische Informatik Wintersemester 2004/05

Beschreibung:
Das Oberseminar Theoretische Informatik bietet Vorträge von auswärtigen Gästen, Mitarbeitern, Doktoranden und fortgeschrittenen Studenten über neuere Ergebnisse und Forschungsfragen der theoretischen Informatik und angrenzenden Gebieten. Schwerpunkte bilden dabei Algorithmen und Komplexität.

Dozent	Mitarbeiter des AB Theoretische Informatik/Formale Sprachen in Zusammenarbeit mit den anderen Theoriegruppen des WSI
Zeit	Mo 15 - 17h
Umfang	2
Ort	Sand 14, EG, Raum C118
Turnus	semesterweise

Am 18.10.2004 um 15 Uhr c.t. findet die erste Sitzung in der Vorlesungszeit statt. Wie üblich im Raum C118. Thema: Planung der Vorträge im laufenden Semester.

Liste der Vortragenden

• 18.10.: Vorbesprechung
• 26.10.: Kolloquiumsvortrag von Herrn Prof. Dassow aus Magdeburg
• 1.11.: Allerheiligen
• 8.11.: Erhan Kenar und Johannes Uhlmann: Multicut in Graphs
• 10.11.: Kolloquiumsvortrag von Herrn Prof. Matiyasevich aus Sankt Petersburg
• 15.11.: Klaus-Jörn Lange, Stephanie Reiffenscheid, Andreas Krebs: Tübinger Gruppen
• 22.11.: Pascal Tesson, Bernd Borchert: Linear Temporal Logic with atnext/atprevious Operators and the Iterated Block Product of DA
• 6.12.: Henning Fernau: A Geometric Approach to Parameterized Algorithms for Domination Problems on Planar Graphs
• 10.12. (!!): Klaus Reinhardt: Petri-Netze mit Inhibitorkanten
• 20.12.: Henning Fernau: Extracting Minimum Length Document Type Definitions is NP-complete
• 10.1.2005: Henning Fernau: Two-Layer Planarization
• 17.1.: Jens Gramm: Kombinatorische Fragestellungen in der Analyse von SNP-Daten
• 24.1.: Studienarbeiter von Klaus Reinhardt
• 31.1.: Amalinda Oertel und Christoph Behle (Studienarbeiten)
• 7.2.: Rosenmontagsvortrag
• 14.2.: Henning Fernau: Parameterized Algorithmics of Hitting Set Problems