Die 25. Jahrestagung der Fachgruppe "Logik in der Informatik" fand am 21. und 22. Oktober 2019 in Jena statt.
- organisiert von Olaf Beyersdorff
- Ort: Senatssaal im Unihauptgebäude (1. OG - Raum 127; links oben auf Lageplan) der Friedrich-Schiller-Universität Jena
- Eingeladene Sprecher:
Christoph Berkholz (Humoldt-Universität zu Berlin)
Thomas Schwentick (TU Dortmund) Folien:
Christoph Berkholz: A comparison of algebraic and semi-algebraic proof systems
Martin Lück: Abstract Team Logic
Florian Wörz: Reversible Pebble Games and the Relation Between Tree-Like and General Resolution Space