Logik in der Informatik Prof. Dr. Nicole Schweikardt

Aktuelles

• Das Seminar wird als "Blockseminar" zu Beginn der Semesterferien gestaltet, wobei es vorher ein oder mehrere Treffen zur Vorbereitung gibt. Das erste solche Treffen fand am Mittwoch, den 29. Mai um 15h30 in Raum 3.408 statt.
• Die Vorträge am Mittwoch, den 24.07.19 beginnen um 14:00 Uhr (s.t.) in Raum 3.408.

Einführung

Anhand von Originalarbeiten und ergänzender Literatur werden im Seminar aktuelle Themen in Logik und Datenbanktheorie 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

i.d.R. 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
29.05.19	Nicole Schweikardt	Vorbesprechung und Themenvergabe
19.06.19 13:15	Hubie Chen (Univ. London)	Gastvortrag: "PODS '19 preview": "Testability of Homomorphism Inadmissibility: Property Testing Meets Database Theory" und "The Selfish Models Property: Bounding the Complexity of Query Containment and Entailment Problems"
10.07.19 13:15	Cristian Riveros (Univ. Chile)	Gastvortrag: "Efficient log-space complexity classes for enumeration, counting, and uniform generation" (Best-Paper-Award winning PODS'19 paper)
24.07.19, 14:00-15:10	Duc Anh Vue	Thema 10: Enumeration Complexity of Logical Query Problems (Durand, Strozecki)
24.07.19, 15:20-16:30	Fabian Gerhardt	Thema 5: Conjunctive Queries with Inequalities Under Updates (Idris, Ugarte, Vansummeren, Voigt, Lehner)
24.07.19, 16:40-17:50	Jose Maguey	Thema 2: Constant Delay Algorithms for Regular Document Spanners (Florenzano, Riveros, Ugarte, Vansummeren, Vrgoc)

Mögliche Vortragsthemen

1. Document Spanners: A Formal Approach to Information Extraction. Ronald Fagin, Benny Kimelfeld, Frederick Reiss, Stijn Vansummeren. Journal of the ACM 62(2): 12:1-12:51, 2015. LINK.
   1-3 Vorträge: Sections 1-3, Section 4, Sections 5-7.
2. Constant Delay Algorithms for Regular Document Spanners. Fernando Florenzano, Cristian Riveros, Martín Ugarte, Stijn Vansummeren, Domagoj Vrgoc. Proceedings of the 37th Symposium on Principles of Database Systems (PODS 2018), pages 165-177, 2018. LINK.
   1 Vortrag.
3. Constant-Delay Enumeration for Nondeterministic Document Spanners. Antoine Amarilli, Pierre Bourhis, Stefan Mengel and Matthias Niewerth. Proceedings of the 22nd International Conference on Database Theory (ICDT 2019), pages 20:1-20:18, 2019. LINK.
   1 Vortrag.
4. The Dynamic Yannakakis Algorithm: Compact and Efficient Query Processing Under Updates. Muhammad Idris, Martín Ugarte, Stijn Vansummeren. Proceedings of the 2017 ACM International Conference on Management of Data (SIGMOD 2017), pages 1259-1274. LINK.
   1 Vortrag.
5. Conjunctive Queries with Inequalities Under Updates. Muhammad Idris, Martín Ugarte, Stijn Vansummeren, Hannes Voigt, Wolfgang Lehner. PVLDB 11(7): 733-745, 2018. LINK.
   1 Vortrag.
6. Answering Conjunctive Queries under Updates. Christoph Berkholz, Jens Keppeler, Nicole Schweikardt. Proceedings of the 36th Symposium on Principles of Database Systems (PODS 2017), pages 303-318, 2017. LINK.
   1 Vortrag (Sections 1-5 und 7 sowie Appendix A und B).
7. Enumeration Complexity of Conjunctive Queries with Functional Dependencies. Nofar Carmeli und Markus Kröll. Proceedings of the 21st International Conference on Database Theory (ICDT 2018), pages 11:1-11:17, 2018. LINK.
   1 Vortrag.
8. Enumeration Complexity of Unions of Conjunctive Queries. Nofar Carmeli und Markus Kröll. Proceedings of the 38th Symposium on Principles of Database Systems (PODS 2019), to appear. Preliminary version available at CoRR, volume abs/1812.03831, 2018. LINK.
   1 Vortrag.
9. Ranked Enumeration of Conjunctive Query Results. Shaleen Deep, Paraschos Koutris. Technischer Bericht, CoRR, volume abs/1902.02698, 2019. LINK
   1 Vortrag
10. Enumeration Complexity of Logical Query Problems with Second-order Variables. Arnaud Durand, Yann Strozecki. Proceedings of the 25th International Workshop / 20th Annual Conference of the EACSL (CSL 2011), pages 189-202, 2011. LINK.
    1 Vortrag.

Spielregeln

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 des Sommersemesters 2019, also 30.09.2019, 23h59 AoE, als pdf-Datei per Email zu senden an Prof. Dr. Nicole Schweikardt.