Aktuelles
-
Die Vorbesprechung und Themenvergabe fand in
der zweiten Vorlesungswoche, am
Mittwoch, den 24.10.2018, um 15:30-17:00 Uhr in Raum 3.408 (Johann von
Neumann-Haus) statt.
Einführung
Anhand von Originalarbeiten und ergänzender Literatur werden im Seminar
aktuelle Themen im Bereich Logik und Komplexität 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 im
Masterstudiengang, die sich im Bereich Logik und Komplexität spezialisieren wollen.
Die Teilnahme am Seminar setzt Kenntnisse, die in den
Vorlesungen "Logik in der Informatik", "Logik und Komplexität", "Einführung
in die Komplexitätstheorie" 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
-
- Veranstalterin
-
Prof. Dr. Nicole Schweikardt
Vorträge
Nach und nach wird hier eine Liste der Vortragstermine angegeben.
|
Datum
|
Vortragende/r
|
Thema
|
| 24.10.18 |
N. Schweikardt; A. Frochaux |
Vorbesprechung, Themenvergabe und Festlegung weiterer Termine |
| 09.01.19 |
Alexander Zachrau |
Definable Inapproximability: New Challenges for Duplicator |
| 23.01.19 |
Nicole Schweikardt |
Constant delay enumeration for free-connex acyclic conjunctive queries |
| 30.01.19 |
Tobias Löffler |
A note on the size of prenex normal forms |
Mögliche Vortragsthemen
-
2 Vorträge zum Thema
MSO Queries on Trees: Enumerating Answers under Updates Using Forest Algebras.
Matthias Niewerth,
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer
Science, LICS 2018, Oxford, UK, July 09-12, 2018, pages 769-778.
LINK
-
2 Vorträge zum Thema
Definable Inapproximability: New Challenges for Duplicator.
Albert Atserias and Anuj Dawar,
Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, CSL 2018,
September 4-7, 2018, Birmingham, UK, pages 7:1-7:21.
LINK
-
2 Vorträge zum Thema
Definability equals recognizability for graphs of bounded treewidth.
Mikolaj Bojanczyk und Michal Pilipczuk,
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer
Science, LICS 2016, New York, NY, USA, July 5-8, 2016, pages 407-416.
LINK
-
1 Vortrag zum Thema
A note on the size of prenex normal forms.
Frederik Harwath, Inf. Process. Lett. 116(7): 443-446 (2016).
LINK
-
1 Vortrag zum Thema
Property Testing for Bounded Degree Databases.
Isolde Adler und Frederik Harwath, Proceedings of the
35th Symposium on Theoretical Aspects of Computer Science, STACS
2018, February 28 to March 3, 2018, Caen, France, pages 6:1-6:14.
LINK
-
2 Vorträge zum Thema
Approximating fractional hypertree width.
Dániel Marx, ACM Transactions on Algorithms 6(2): 29:1-29:17 (2010).
LINK
Spielregeln
Zum Bestehen des Moduls sind nötig:
-
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,
-
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),
-
Anwesenheit an mind. 75% aller Vorträge und
-
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 2018/19
als pdf-Datei per Email zu senden
an Prof. Dr. Nicole Schweikardt.
