Program

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 Michael Moortgat New directions in typelogical semantics (1)
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 Michael Moortgat New directions in typelogical semantics (2)
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