Logic and
Theory of
Discrete Systems

Informatik 7

Aktuelle Themen der Theoretischen Informatik

Seminar im Wintersemester 2016/17

Inhalt

In diesem forschungsorientierten Seminar erarbeiten wir uns wichtige aktuelle Arbeiten aus allen Bereichen der theoretischen Informatik (Logik, Algorithmik, Komplexitätstheorie, etc.) erarbeiten.

Voraussetzungen und Anforderungen

  • Das Seminar richtet sich an Masterstudenten mit einem klaren Interesse in Richtung theoretischer Informatik und guten Vorkenntnissen in diesem Bereich.
  • Die Teilnehmenden des Seminars erstellen jeweils eine 5-seitige Ausarbeitung und halten einen 45-60-minütigen Vortrag. Das Thema wird mit Hilfe von Originalliteratur erarbeitet.

Organisatorisches

  • Die Vorbesprechung findet statt am 28.10.2016 um 10:00 im Seminarraum des Lehrstuhls.
  • Die Termine der Vorträge werden in der Vorbesprechung vereinbart, eine Liste wird im L2P veröffentlicht.
  • Dozenten: Martin Grohe, Pascal Schweitzer, Christof Löding

Themen und Literatur

Wird in der Vorbesprechung bekanntgegeben.