Seminar: Aktuelle Themen der Theoretischen Informatik
Sommersemester 2016
Inhalt
In diesem forschungsorientierten Seminar erarbeiten wir uns wichtige aktuelle Arbeiten aus allen Bereichen der theoretischen Informatik, wie der Logik, Algorithmik, Komplexitätstheorie und weiterer.
Voraussetzungen
Dieses Seminar ist ausschließlich an Master Studentinnen und Studenten gerichtet, die ein klares Interesse an theoretischer Informatik und gute Vorkenntnisse in diesem Bereich haben.
Organisatorisches
Die Termine der Vorträge werden in der Vorbesprechung vereinbart.
Dozenten
Martin Grohe
Pascal Schweizer
Christof Löding
Anforderungen
Alle Teilnehmerinnen und Teilnehmer des Seminars erhalten je ein ausgewähltes Thema, welches normalerweise aus einem publiziertem Paper oder einem Buch stammt. Die Themen werden im ersten Seminartermin zugeteilt.
Zum erfolgreichen Bestehen des Seminars gehört das Erstellen einer 5-seitigen Ausarbeitung sowie das Halten eines 45-60 minütigen Vortrags.