Program
There will be a special screening of N is a Number: A Portrait of Paul Erdös by courtesy of the film producer and director, George Paul Csicsery. The screening is scheduled for the lunchtime on the first day.
Tutorial Lectures
Arnold Beckmann (Swansea University): Definable Search Problems in Bounded Arithmetic
Thomas Eiter (Vienna University of Technology): Reasoning Using Knots
Frank Wolter (University of Liverpool): From Mathematical Logic to Life Science Ontologies
Invited Talks
Arnold Beckmann (Swansea University): New Characterisations of Definable Search Problems
Carlos Caleiro (Technical University of Lisbon): Algebraic Valuations as Behavioral Logical Matrices
Thomas Eiter (Vienna University of Technology): Knot-Based Query Answering in Description Logic
Sylvain Salvati (INRIA Bordeaux - Sud Ouest/LaBRI): Recognizability in the Simply Typed Lambda-Calculus
Taisuke Sato (Tokyo Institute of Technology): Logic-Based Probabilistic Modeling
Frank Wolter (University of Liverpool): From Mathematical Logic to Life Science Ontologies
Time Schedule
Sunday, June 21
| 9:50 | Registration |
| 10:20 | Opening |
| 10:30 | Tutorial 1 |
| Arnold Beckmann: Definable Search Problems in Bounded Arithmetic | |
| 12:20 | Lunch and Screening of N is a Number |
| 13:50 | Contributed Talks |
| Sebastian Link: Spoilt for Choice: Full First-Order Hierarchical Decompositions | |
| Linda Postniece: Deep Inference in Bi-intuitionistic Logic | |
| Juha Kontinen and Ville Nurmi: Team Logic and Second-Order Logic | |
| Juliana Kaizer Vizzotto, André Rauber Du Bois and Amr Sabry: The Arrow Calculus as a Quantum Programming Language | |
| 15:50 | Coffee Break |
| 16:10 | Invited Talk 1 |
| Taisuke Sato: Logic-Based Probabilistic Modeling | |
| 17:00 | Short Break |
| 17:10 | Tutorial 2 |
| Thomas Eiter: Reasoning Using Knots | |
| 19:00 | End of Day 1 |
Monday, June 22
| 10:00 | Invited Talk 2 |
| Carlos Caleiro: Algebraic Valuations as Behavioral Logical Matrices | |
| 10:50 | Coffee Break |
| 11:10 | Contributed Talks |
| Hugo Herbelin and Gyesik Lee: Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus | |
| Philippe de Groote, Sylvain Pogodalla and Carl Pollard: On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar | |
| Matthias Baaz, Agata Ciabattoni and Norbert Preining: SAT in Monadic Gödel Logics: A Borderline Between Decidability and Undecidability | |
| 12:40 | Lunch |
| 14:40 | Contributed Talks |
| Alexandru Baltag and Sonja Smets: Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points | |
| Alain Lecomte and Myriam Quatrini: Ludics and Its Applications to Natural Language Semantics | |
| 15:40 | Coffee Break |
| 16:00 | Tutorial 3 |
| Frank Wolter: From Mathematical Logic to Life Science Ontologies | |
| 17:50 | Break |
| 18:00 | Head for Conference Dinner |
Tuesday, June 23
| 10:00 | Invited Talk 3 |
| Thomas Eiter: Knot-Based Query Answering in Description Logic | |
| 10:50 | Coffee Break |
| 11:10 | Contributed Talks |
| Hubie Chen and Omer Giménez: On-the-Fly Macros | |
| Bernhard Heinemann: Observational Effort and Formally Open Mappings | |
| Kerstin Bauer, Raffaella Gentilini and Klaus Schneider: Property Driven Three Valued Model Checking on Hybrid Automata | |
| 12:40 | Lunch |
| 14:40 | Invited Talk 4 |
| Sylvain Salvati: Recognizability in the Simply Typed Lambda-Calculus | |
| 15:30 | Coffee Break |
| 15:50 | Contributed Talks |
| Gleifer Alves, Anjolina Grisi de Oliveira and Ruy de Queiroz: Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization | |
| Katsuhiko Sano: Sound and Complete Tree-Sequent Calculus for Inquisitive Logic | |
| Carlos Caleiro and Joăo Marcos: Classic-Like Analytic Tableaux for Finite-Valued Logics | |
| 17:20 | Short Break |
| 17:30 | Contributed Talks |
| Benjamin Rossman: Ehrenfeucht-Fraďssé Games on Random Structures | |
| Majid Alizadeh: Completions of Basic Algebras | |
| 18:30 | End of Day 3 |
Wednesday, June 24
| 10:00 | Invited Talk 5 |
| Arnold Beckmann: New Characterisations of Definable Search Problems | |
| 10:50 | Coffee Break |
| 11:10 | Contributed Talks |
| Sara Miner More and Pavel Naumov: An Independence Relation for Sets of Secrets | |
| Yoshihiro Maruyama: A Duality for Algebras of Lattice-Valued Modal Logic | |
| Francesco Belardinelli and Alessio Lomuscio: First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment | |
| 12:40 | Lunch |
| 14:40 | Invited Talk 6 |
| Frank Wolter: From Mathematical Logic to Life Science Ontologies | |
| 15:30 | Coffee Break |
| 15:50 | Contributed Talks |
| Cristian Prisacariu and Gerardo Schneider: CL: An Action-based Logic for Reasoning about Contracts | |
| Ren-June Wang: Knowledge, Time, and Logical Omniscience | |
| Henning Christiansen and Verónica Dahl: Abductive Logic Grammars | |
| 17:20 | Short Break |
| 17:30 | Contributed Talks |
| Gianluca Amato and Francesca Scozzari: Observational Completeness on Abstract Interpretation | |
| Juan Carlos Nieves, Mauricio Osorio and Claudia Zepeda: Expressing Extension-Based Semantics Based on Stratified Minimal Models | |
| 18:30 | End of Conference |