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.