Seminar Logik, Komplexität, Spiele: Logics of Dependence and Independence
WS 2015
Aktuelles
Die Vorträge finden statt am:
- Donnerstag, 11. Februar, im Seminarraum des Lehrstuhls (Raum 4116, E1, Ahornstr. 55)
- Freitag, 12. Februar, im Seminarraum 9U09 (E3, Ahornstr. 55)
Zeitplan
| 16.11. | Gliederung |
| 14.12. | 1. Version Ausarbeitung |
| 11.01. | finale Version Ausarbeitung |
| 20.01. | Folien |
| 11.02. und 12.02. | Vorträge |
Programm
| Donnerstag, 11. Februar | ||||
| 9:00 | – | 9:30 | Christine Mendez | Independence Friendly Logic |
| 9:30 | – | 10:00 | Jan Rogalski | Dependence Logik und existentielle Logik zweiter Stufe |
| 10:30 | – | 11:00 | Jonas Aberle | Exklusions- und Inklusionslogik |
| 11:00 | – | 11:30 | Lukas Huwald | Independence Logik |
| Freitag, 12. Februar | ||||
| 8:45 | – | 9:15 | Christoph Müller | Modelchecking Spiele |
| 9:15 | – | 9:45 | Christopher Spinrath | Inklusionslogik und GFP |
| 10:15 | – | 11:00 | Stefan Hegselmann | Zählen in Teamsemantik |
| 11:00 | – | 11:30 | Jan Bierboms | Strikte FO-Abhängigkeitskonzepte |
| 14:00 | – | 14:30 | Matthias Voit | Modale Dependence Logiken |
| 14:30 | – | 15:00 | Timo Simnacher | Interpolation und Negation |
Themen
| Thema | Vortragende(r) | Betreuer(in) | Literatur |
| Independence Friendly Logic | Christine Mendez | Frederic Reinhardt | [] |
| Dependence Logik und existentielle Logik zweiter Stufe | Jan Rogalski | Wied Pakusa | [] |
| Independence Logik | Lukas Huwald | Wied Pakusa | [] |
| Exklusions- und Inklusionslogik | Jonas Aberle | Wied Pakusa | [] |
| Modelchecking Spiele | Christoph Müller | Svenja Schalthöfer | [Gr12] |
| Inklusionslogik und GFP | Christopher Spinrath | Svenja Schalthöfer | [Gr15] |
| Interpolation und Negation | Timo Simnacher | Frederic Reinhardt | [] |
| Modale Dependence Logiken | Matthias Voit | Matthias Hoelzel | [HLSV14] |
| Zählen in Teamsemantik | Stefan Hegselmann | Erich Grädel | [] |
| Strikte FO-Abhängigkeitskonzepte | Jan Bierboms | Matthias Hoelzel | [Ga14] |
Literatur
| [Ga14] | P. Galliani. On Strongly First-Order Dependencies. CoRR, vol. abs/1403.3698, 2014. |
| [Gr12] | E. Grädel. Model-Checking Games for Logics of Incomplete Information. Theoretical Computer Science, Special Issue dedicated to GandALF 2011, pp. 2–14, 2013. |
| [Gr15] | E. Grädel. Games for Inclusion Logic and Fixed-Point Logic, 2015. |
| [HLSV14] | L. Hella, K. Luosto, K. Sano, and J. Virtema. The Expressive Power of Modal Dependence Logic. CoRR, vol. abs/1406.6266, 2014. |
Zuordnung
- Informatik (B.Sc.)/Seminar Informatik
- Mathematik (B.Sc.)/Seminar: Logik, Komplexität, Spiele
- Informatik (M.Sc.)/Seminar Theoretische Informatik
- Mathematik (M.Sc.)/Seminar: Logik, Komplexität, Spiele (Reine Mathematik)
- Informatik (S II)
- Mathematik (S II)/Hauptstudium/Modul Algebra
- Mathematik (S II)/Hauptstudium/Modul Angewandte Mathematik
Voraussetzungen
- Modul Mathematische Logik
- für B.Sc. Informatik: bestandenes Modul "Einführung in das wissenschaftliche Arbeiten (Proseminar)"
Rückfragen
Erich Grädel, Svenja Schalthöfer, Matthias Hoelzel, Frederic Reinhardt, Wied Pakusa