Logic and
Theory of
Discrete Systems

Informatik 7

Aktuelle Themen der Theoretischen Informatik

Seminar im Sommersemster 2017

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 zu Beginn des Sommersemsters statt, der genaue Termin wir rechtzeitig bekannt gegeben.
  • 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.

FaLang translation system by Faboba