Instituts-Logo Logik in der Informatik
Prof. Dr. Nicole Schweikardt 		Humboldt-Logo

Seminar Aktuelle Themen der Theoretischen Informatik

Wintersemester 2016/17

Aktuelles   Einführung    Ort und Zeit    Vorträge    Vortragsthemen   Spielregeln

Aktuelles

Einführung

Anhand von Originalarbeiten und ergänzender Literatur werden im Seminar aktuelle Themen der Theoretischen Informatik erarbeitet.

Ziele sind das Kennenlernen neuer Forschungsergebnisse, das Verstehen wissenschaftlicher Originaltexte, die Fähigkeit zur Einordnung der Inhalte und Beweistechniken, sowie deren Wiedergabe in eigener Darstellung in einem begrenzten Zeitrahmen.

Das Seminar richtet sich an fortgeschrittene Studierende in einem Diplom- oder Masterstudiengang, die sich im Bereich Theoretische Informatik spezialisieren wollen. Die Teilnahme am Seminar setzt Kenntnisse, die in den Vorlesungen "Ausgewählte Kapitel der Logik", "Logik und Komplexität" oder "Einführung in die Datenbanktheorie" vermittelt werden, voraus.

Ort und Zeit

Zeit und Raum
Mittwochs, 15:30-17:00 Uhr im Johann von Neumann-Haus (Rudower Chaussee 25), Raum 3.408
 
Veranstalter/in
Prof. Dr. Nicole Schweikardt

Vorträge

Nach und nach wird hier eine Liste der Vortragstermine angegeben.
Datum Vortragende/r Thema
26.10.16 N. Schweikardt Vorbesprechung, Themenvergabe und Festlegung weiterer Termine
09.11.16 N. Schweikardt Einführung ins Thema "join evaluation", Teil I:
gemeinsames Schauen des ersten Drittels der Videoaufzeichnung des Vortrags "The Relational Join: New Theory and New Applications" von Prof. Christopher Ré und der zugehörigen Vortragsfolien
[Anmerkung: Der Vortrag war eine Keynote bei der Konferenz EDBT/ICDT 2014]
16.11.16 N. Schweikardt Einführung ins Thema "join evaluation", Teil II:
gemeinsames Schauen des zweiten Drittels der Videoaufzeichnung des Vortrags "The Relational Join: New Theory and New Applications" von Prof. Christopher Ré und der zugehörigen Vortragsfolien
[Anmerkung: Der Vortrag war eine Keynote bei der Konferenz EDBT/ICDT 2014]
23.11.16 Berit Grußien Vortrag zum Thema "Capturing Polynomial Time and Logarithmic Space using Modular Decompositions and Limited Recursion"
30.11.16 N. Schweikardt Einführung ins Thema "join evaluation", Teil III:
gemeinsames Schauen des letzten Drittels der Videoaufzeichnung des Vortrags "The Relational Join: New Theory and New Applications" von Prof. Christopher Ré und der zugehörigen Vortragsfolien
[Anmerkung: Der Vortrag war eine Keynote bei der Konferenz EDBT/ICDT 2014]
07.12.16 André Frochaux Vortrag zum Thema "Static Analysis of Monadic Datalog on Finite Labeled Trees"
11.01.17 Andrea Schminck Vortrag zu Thema 1: Faster decision of first-order graph properties
18.01.17 Nikita Rose Vortrag zu Thema 2: Optimal aggregation algorithms for middleware
25.01.17 Heute findet das Seminar nicht statt!
01.02.17 Krankheitsbedingt findet das Seminar heute nicht statt.
08.02.17 Dennis Wagner Vortrag zu Thema 6: Beyond worst-case analysis for joins with minesweeper
15.02.17, 15h30 Benjamin Hauskeller Vortrag zu Thema 3: Size Bounds and Query Plans for Relational Joins
15.02.17, 16h30 Alexey Grachev Vortrag zu Thema 5: Leapfrog Triejoin – A Simple, Worst-Case Optimal Join Algorithm

Mögliche Vortragsthemen

  1. Faster decision of first-order graph properties von Ryan Williams. Proc. CSL-LICS 2014, article no. 80, 2014.
  2. Optimal aggregation algorithms for middleware von Ronald Fagin, Amnon Lotem, Moni Naor. J. Comput. Syst. Sci. 66(4): 614-656 (2003)
  3. Size Bounds and Query Plans for Relational Joins von Albert Atserias, Martin Grohe, Dániel Marx. SIAM J. Comput. 42(4): 1737-1767 (2013)
  4. Worst-case optimal join algorithms [extended abstract] von Hung Q. Ngo, Ely Porat, Christopher Ré, Atri Rudra. Proc. PODS 2012, pages 37-48, 2012.
  5. Leapfrog Triejoin: A Simple, Worst-Case Optimal Join Algorithm von Todd L. Veldhuizen. Proc. ICDT 2014, pages 96-106, 2014.
  6. Beyond worst-case analysis for joins with minesweeper von Hung Q. Ngo, Dung T. Nguyen, Christopher Ré, Atri Rudra. Proc. PODS 2014, pages 234-245, 2014.

Spielregeln

Zum Bestehen des Moduls sind nötig:
  1. Rechtzeitige Vereinbarung und Wahrnehmung eines Sprechstundentermins, der mindestens 1 Woche vor dem eigenen Seminarvortrag stattfindet und während dem ein detailliertes Vortragskonzept inkl. Vortragsfolien/Tafellayout vorgelegt wird,
  2. einen Vortrag zu einem der oben genannten Themen zu halten (Dauer: 60 Minuten, plus 10 Minuten zur Diskussion und zur Klärung von Fragen aus dem Publikum),
  3. Anwesenheit an mind. 75% aller Vorträge und
  4. Abgabe einer schriftlichen Ausarbeitung des Vortragsthemas: Länge ca 5 Seiten (mindestens 4, maximal 7), Layout wie in der Layout-Vorlage angegeben, Deadline: Ende der Vorlesungszeit des Wintersemesters 2016/17 als pdf-Datei per Email zu senden an Prof. Dr. Nicole Schweikardt.
Last modified: 30.01.2017
Nicole Schweikardt