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)
Die Vorträge können wahlweise auf Deutsch oder Englisch gehalten werden.

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:30Christine MendezIndependence Friendly Logic
9:30–10:00Jan RogalskiDependence Logik und existentielle Logik zweiter Stufe
10:30–11:00Jonas Aberle Exklusions- und Inklusionslogik
11:00–11:30Lukas HuwaldIndependence Logik
Freitag, 12. Februar
8:45–9:15Christoph MüllerModelchecking Spiele
9:15–9:45Christopher SpinrathInklusionslogik und GFP
10:15–11:00Stefan HegselmannZählen in Teamsemantik
11:00–11:30Jan BierbomsStrikte FO-Abhängigkeitskonzepte
14:00–14:30Matthias VoitModale Dependence Logiken
14:30–15:00Timo SimnacherInterpolation und Negation

Themen

ThemaVortragende(r)Betreuer(in)Literatur
Independence Friendly LogicChristine MendezFrederic Reinhardt[]
Dependence Logik und existentielle Logik zweiter StufeJan RogalskiWied Pakusa[]
Independence LogikLukas HuwaldWied Pakusa[]
Exklusions- und InklusionslogikJonas AberleWied Pakusa[]
Modelchecking SpieleChristoph MüllerSvenja Schalthöfer[Gr12]
Inklusionslogik und GFPChristopher SpinrathSvenja Schalthöfer[Gr15]
Interpolation und NegationTimo SimnacherFrederic Reinhardt[]
Modale Dependence LogikenMatthias VoitMatthias Hoelzel[HLSV14]
Zählen in TeamsemantikStefan HegselmannErich Grädel[]
Strikte FO-AbhängigkeitskonzepteJan BierbomsMatthias 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