Note! The program for Friday afternoon has changed.
An online version of the program booklet is available here. It contains the program and abstracts for the invitited and contributed talks. You can also download the “cheatsheet” containing the most important directions needed for lunch and the social events. A printed version of both the booklet and the cheatsheet are contained in the conference-packet.
Thursday May 14
| 8:30 | Opening | |
| 8:45-9:30 | Thomas Eiter | Querying Ontology Knowledge Bases using Datalog |
| 9:30-10:00 | Break | |
| 10:00-10:30 | Sylwia Polberg | Intertranslatability of Abstract Argumentation Frameworks. |
| 10:30-11:00 | Jesse Heyninck | Combining Different Forms of Defeasible Reasoning in Abstract Argumentation: Integrating Mechanisms from Adaptive Logics. |
| 11:00-11:30 | Zhiguang Zhao | An Abstract Algebraic Logic view of propositional-attitude aggregation theory. |
| 11:30-12:15 | Thomas Eiter | Towards a Logic-Based Framework for Analyzing Stream Reasoning |
| 12:15-13:30 | Lunch break | |
| 13:30-14:30 | Torsten Schaub | Answer Set Solving in a nutshell |
| 14:30-15:00 | Matteo Pascucci | Basic model theory of modal languages with propositional constants. |
| 15:00-15:30 | Przemysław Wałęga | Modal Logics for Qualitative Spatial Reasoning. |
| 15:30-16:00 | Julia Ilin | Algebra-based canonical formulas for intermediate logics. |
| 16:00-16:30 | Break | |
| 16:30-17:15 | Uli Sattler | Complexity in Logic: off the beaten track towards pastures new (1) |
| 17:15-17:45 | Wolfgang Fischl and Shqiponja Ahmetaj | Towards Reconciling SPARQL and Certain Answers. |
| 17:45-18:15 | Gergely Buday | Verifying the SECD machine in Nominal Isabelle. |
| 20:15 | Unofficial event: Vienna Philharmonic Summer Night Concert | |
Friday May 15
| 9:00-9:45 | Uli Sattler | Complexity in Logic: off the beaten track towards pastures new (2) |
| 9:45-10:15 | Break | |
| 10:15-10:45 | Michael Kompatscher | Dichotomy results for constraint satisfaction problems. |
| 10:45-11:15 | Eduard Eiben | MSO model checking of graphs with unbounded rank-width. |
| 11:15-11:30 | VCLA International Student Awards Ceremony | |
| 11:30-12:00 | VCLA International Student Awards: Talk | |
| 12:00-12:30 | VCLA International Student Awards: Talk | |
| 12:30-14:00 | Lunch break | |
| 14:00-14:45 | ||
| 14:15-14:45 | VCLA International Student Awards: Talk | |
| 14:45-15:15 | VCLA International Student Awards: Talk | |
| 15:15-16:00 | Break | |
| 16:15-17:00 | ||
| 16:00-16:30 | Diana Carolina Montoya Amaya | Some Cardinal Invariants of the Generalized Baire Spaces. |
| 16:30-17:00 | Marlene Koelbing | Gaps in the Baire-space. |
| 17:00-17:30 | Anda-Ramona Tanasie | The lifting problem for measure and category. |
| 20:00 | Conference Dinner | |
Saturday May 16
| 9:45-10:45 | Revantha Ramanayake | Cut-elimination in generalisations of the sequent calculus |
| 10:45-11:15 | Break | |
| 11:15-11:45 | Apostolos Tzimoulis | Unified correspondence as a proof-theoretic tool. |
| 11:45-12:15 | Daniel Günzel | Logical Metatheorems for Abstract Spaces axiomatized in Positive Bounded Logic. |
| 12:15-12:45 | Daniel Koernlein | Proof Mining in Nonlinear Analysis |
| 12:45-13:45 | Lunch break | |
| 13:45-14:15 | Christof Spanring | On the Why and How of implicit conflicts in Abstract Argumentation |
| 14:15-14:45 | Esther Anna Corsi | Extracting consequence relations from abstract argumentation frames |
| 14:45-15:15 | Raine Rönnholm | The Expressive Power of k-ary Inclusion-Exclusion Logic. |
| 15:15 | Closing | |