WIL — PROGRAM

Days: Friday, 24 July 2026 Saturday, 25 July 2026

Friday, 24 July 2026
09:00-10:20 Formal Verification WiL
Location: C5.06
09:00-09:20
Formal verification of security protocols with certification (abstract) 20 min
R Ramanujam1, Vaishnavi Sundararajan2, S P Suresh3
1 Azim Premji University
2 IIT Delhi
3 Chennai Mathematical Institute
09:20-09:40
Verifiable Higher-Order Automated Reasoning (abstract) 20 min
Melanie Taprogge1
1 University of Greifswald, Université Paris-Saclay
09:40-10:00
Growing HOLMS: Grzegorczyk Logic and Experiments with Translations in HOL Light (abstract) 20 min
Antonella Bilotta1, Cosimo Perini Brogi2, Marco Maggesi3
1 Scuola Normale Superiore di Pisa
2 IMT School for Advanced Studies Lucca
3 University of Florence
10:00-10:20
Discourse analysis of mathematical texts (abstract) 20 min
Gwenaelle Leon1
1 Université Paris Cité
10:20-10:40 Quantum Logic WiL
Location: C5.06
10:20-10:40
Quantum Coherence Spaces Revisited: A von Neumann (Co)Algebraic Approach (abstract) 20 min
Thea Li1, Vladimir Zamdzhiev1
1 Université Paris-Saclay, CNRS, ENS Paris-Saclay, Inria, Laboratoire Méthodes Formelles
10:40-11:00 Coffee Break WiL
Location: C5.06
11:00-12:00 Invited Talk: Sara Uckelman WiL
Location: C5.06
12:00-12:40 Semantics WiL
Location: C5.06
12:00-12:20
A Truthmaker Semantics for Positive Free Logic (abstract) 20 min
Ragna Talea Oeynhausen1
1 LMU Munich
12:20-12:40
Reflexivity and the Blocking of Semantic Paradox (abstract) 20 min
Shuwen Wu1
1 Fudan University
12:40-14:00 Lunch WiL
Location: C5.06
14:00-15:00 Invited Talk: Raheleh Jalali WiL
Location: C5.06
15:00-16:00 Answer Set Programming WiL
Location: C5.06
15:00-15:20
Answer Set Programming goes to School (abstract) 20 min
Racquel Dennison1, Emmanuelle Dietz2, Hanna Philipp3
1 University of Cape Town and CAIR, South Africa
2 Airbus Central R&T, Hamburg, Germany
3 Weißeritzgymnasium Freital, Freital, Germany
15:20-15:40
Tackling the Multi-Batching Problem: An Answer Set Programming Approach for Industrial Logistics (abstract) 20 min
Racquel Nina Dennison1, Racquel Nina Dennison2
1 Racquel DENNISON
2 University of Cape Town
15:40-16:00
Recovering Suppressed Entailments in OWL 2 DL via Two-Phase Reasoning (abstract) 20 min
Giulia Biagioni1
1 TNO
16:00-16:20 Coffee Break WiL
Location: C5.06
16:20-17:00 Computability WiL
Location: C5.06
16:20-16:40
Free sets, thin and Rainbows for Barriers (abstract) 20 min
Lorenzo Carlucci1, Oriola Gjetaj1
1 Sapienza University of Rome
16:40-17:00
A Decision Algorithm for the CL15 Fragment of Computability Logic (abstract) 20 min
Stella Spadoni1
1 IMT School for Advanced Studies Lucca
17:00-17:40 Type Theory WiL
Location: C5.06
17:00-17:20
An Intercalation Calculus with Partial Proof Terms (abstract) 20 min
Ana Catarina Sousa1
1 LIACC - Artificial Intelligence and Computer Science Laboratory
17:20-17:40
Paradoxes and Proofs with Programs (abstract) 20 min
Paulette Koronkevich1, William J. Bowman1
1 University of British Columbia
Saturday, 25 July 2026
09:00-09:20 Automata WiL
Location: C5.06
09:00-09:20
Fuzzifying Derivatives of Regular Expressions (abstract) 20 min
Mariam Katamashvili1, Davit Maisuradze1
1 Kutaisi International University
09:20-10:00 Graph Theory WiL
Location: C5.06
09:20-09:40
Eternal Relaxed Vertex Cover on Threshold Graphs (abstract) 20 min
Ankita Kumari1
1 Independent Researcher, India
09:40-10:00
Vertex Definability in Counting Logic (abstract) 20 min
Sandra Kiefer1
1 University of Oxford
10:00-10:40 Algebraic Logic WiL
Location: C5.06
10:00-10:20
When Queries Decompose: A Lattice-Theoretic Perspective on Incomplete Information (abstract) 20 min
Eugenia Ternovska1
1 Simon Fraser University
10:20-10:40
Quad Algebras and a 4-Valued Non-Classical Logic (abstract) 20 min
Arun Kumar1, Bisham Dewan1, Neha Gaur1
1 Banaras Hindu University
10:40-11:00 Coffee Break WiL
Location: C5.06
11:00-12:00 Epistemic Logic WiL
Location: C5.06
11:00-11:20
Social Network Aggregation Beyond Preservation (abstract) 20 min
Yutong Yi1
1 Institute of Logic and Cognition and Department of Philosophy, Sun Yat-sen University, China
11:20-11:40
On the hyperintensionality of ignorance (abstract) 20 min
Ekaterina Kubyshkina1, Mattia Petrolo2
1 University of Milan
2 University of Lisbon
11:40-12:00
Logical Modeling of Belief Polarization (abstract) 20 min
Mina Young Pedersen1, Sonja Smets1
1 Institute for Logic, Language and Computation (ILLC), University of Amsterdam
12:00-12:20 Dynamic Epistemic Logic WiL
Location: C5.06
12:00-12:20
Axiomatising asynchronous announcements in dynamic epistemic logic (abstract) 20 min
Clara Lerouvillois1
1 IRIT, CNRS-INPT-University of Toulouse & IHPST, University Paris 1 Panthéon Sorbonne
12:20-12:40 Logic and ML WiL
Location: C5.06
12:20-12:40
Toward Provably Defeasible Machine Learning (abstract) 20 min
Ruvarashe Madzime1
1 University of the Western Cape and CAIR
12:40-14:00 Lunch WiL
Location: C5.06
14:00-15:00 Invited Talk: Valeria de Paiva WiL
Location: C5.06
15:00-16:00 Proof Theory WiL
Location: C5.06
15:00-15:20
A Proof-Theoretic Treatment of Incorrect/Incomplete Proofs via Hilbert’s Epsilon Calculus (abstract) 20 min
Mariami Gamsakhurdia1
1 TU Wien
15:20-15:40
Double Negation Elimination and the Multiple Succedent Structure of LK (abstract) 20 min
Nox Cowie1
1 University of Sussex
15:40-16:00
Schemata, Cyclic Proofs and Herbrand Systems (abstract) 20 min
Alexander Leitsch1, Anela Lolic1, Stella Mahler1
1 TU Wien
16:00-16:20 Coffee Break WiL
Location: C5.06
16:20-17:20 Modal Logic WiL
Location: C5.06
16:20-16:40
Improving Model Finding in Quantified Modal Logics (abstract) 20 min
Happy Khairunnisa Sariyanto1
1 University of Greifswald
16:40-17:00
Argumentation Based Dialogue Games for Deontic Explanations with Uncertainty (abstract) 20 min
Isabella Cissell1
1 TU Wien
17:00-17:20
Structural Dynamic Proof Theory for Public Announcement Logic (abstract) 20 min
Clara Lerouvillois1
1 IRIT, University of Toulouse, IHPST, University Paris 1 Panthéon Sorbonne
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑