Federated Logic Conference 2026

B1.04

Sessions

Opening (17 Jul 09:15-09:30) NMR
Leila Amgoud (17 Jul 09:30-10:30) NMR
Coffee Break (17 Jul 10:30-11:00) NMR
Argumentation 1 (17 Jul 11:00-12:30) NMR
Lunch (17 Jul 12:30-14:00) NMR
Belief Change (17 Jul 14:00-15:30) NMR
Coffee Break (17 Jul 15:30-16:00) NMR
NMR & Explainable AI (17 Jul 16:00-17:30) NMR
Closing (17 Jul 17:00-17:30) NMR
Tommie Meyer (18 Jul 09:00-10:00) NMR
Coffee Break (18 Jul 10:00-10:30) NMR
DL & NMR (18 Jul 10:30-12:00) NMR
Lunch (18 Jul 12:00-13:30) NMR
Defeasible Beliefs (18 Jul 13:30-15:00) NMR
Coffee Break (18 Jul 15:00-15:30) NMR
Foundations (18 Jul 15:30-17:00) NMR
Matthias Knorr (19 Jul 09:30-10:30) NMR
Coffee Break (19 Jul 10:30-11:00) NMR
ASP (19 Jul 11:00-12:30) NMR
Lunch (19 Jul 12:30-14:00) NMR
Argumentation 2 (19 Jul 14:00-15:30) NMR
Coffee Break (19 Jul 15:30-16:00) NMR
Planning (19 Jul 16:00-17:00) NMR
Closing (19 Jul 17:00-17:30) NMR
Coffee Break (20 Jul 10:00-10:20) LICS
Opening & welcome (room A) (20 Jul 10:20-10:30) LICS
Session 1A Lambda Calculi and Abstract Syntax (20 Jul 10:30-12:30) LICS
Lunch (20 Jul 12:30-13:30) LICS
Session 2A Proof Theory and Linear Logic (20 Jul 13:30-15:00) LICS
Coffee Break (20 Jul 15:00-15:30) LICS
Session 3A Type Systems (20 Jul 15:30-16:30) LICS
Test of Time Awards (20 Jul 16:30-17:00) LICS
Keynote by Nada Amin (21 Jul 09:00-10:00) LICS
Coffee Break (21 Jul 10:00-10:30) LICS
Session 4A Verification & Foundations of Probabilistic Systems (21 Jul 10:30-12:30) LICS
Lunch (21 Jul 12:30-14:00) LICS
Session 5A Logical Aspects of Quantum Computation (21 Jul 14:00-16:00) LICS
Coffee Break (21 Jul 16:00-16:30) LICS
Session 6A Logical aspects of Quantum computation (21 Jul 16:30-18:00) LICS
LICS General Assembly (21 Jul 18:10-18:50) LICS
Coffee Break (22 Jul 10:00-10:30) LICS
Session 7A Categorical models: effects, automata & model theory (22 Jul 10:30-12:30) LICS
Lunch (22 Jul 12:30-14:00) LICS
Session 8A Foundations of Probabilistic Computation (22 Jul 14:00-16:00) LICS
Coffee Break (22 Jul 16:00-16:30) LICS
Session 9A Semantics of Programming Languages (22 Jul 16:30-17:30) LICS
Keynote by Stéphanie Delaune (23 Jul 09:00-10:00) LICS
Coffee Break (23 Jul 10:00-10:30) LICS
Session 10A Constructive Mathematics & Type Theory (23 Jul 10:30-12:30) LICS
Lunch (23 Jul 12:30-14:00) LICS
Session 11A Constructive Mathematics & Type Theory (23 Jul 14:00-16:00) LICS
Coffee Break (23 Jul 16:00-16:30) LICS
Session 12A Constructive Mathematics & Type Theory (23 Jul 16:30-18:00) LICS
Coffee Break (26 Jul 10:00-11:00) ITP
ITP Papers: Formalisation of Mathematics (26 Jul 11:00-12:00) ITP
Lunch (26 Jul 12:00-14:00) ITP
ITP Papers: Formalisation of Algorithms (26 Jul 14:00-15:30) ITP
Coffee Break (26 Jul 15:30-16:30) ITP
ITP Papers: Program Logics (26 Jul 16:30-17:50) ITP
ITP Invited Talk: Dominic Mulligan, Amazon Web Services (27 Jul 09:00-10:00) ITP
Coffee Break (27 Jul 10:00-11:00) ITP
ITP Papers: Verification and Model Checking (27 Jul 11:00-12:00) ITP
Lunch (27 Jul 12:00-14:00) ITP
ITP Papers: AI and ITP (27 Jul 14:00-15:30) ITP
Coffee Break (27 Jul 15:30-16:30) ITP
ITP Papers: Formalisation of Mathematics & AI (27 Jul 16:30-18:00) ITP
Business meeting: AI and ITP conference Series (27 Jul 18:00-19:00) ITP
AI for Math Happy Hour (“Differentiated” Networking) (27 Jul 19:00-20:00) ITP
Coffee Break (28 Jul 10:00-11:00) ITP
ITP Papers: Proof Theory and Types (28 Jul 11:00-12:00) ITP
Lunch (28 Jul 12:00-14:00) ITP
ITP Papers: User Interfaces and Compilers (28 Jul 14:00-15:30) ITP
Coffee Break (28 Jul 15:30-16:30) ITP
ITP Papers: Automation and Tactics (28 Jul 16:30-18:00) ITP
ITP Invited Talk: Dominique Unruh, RWTH Aachen and University of Tartu (29 Jul 09:00-10:00) ITP
Coffee Break (29 Jul 10:00-11:00) ITP
ITP Paper: Automata and Coinduction (29 Jul 11:00-12:00) ITP
Lunch (29 Jul 12:00-14:00) ITP
ITP Papers: Formalisation of Mathematics-3 (29 Jul 14:00-15:30) ITP
Coffee Break (29 Jul 15:30-16:30) ITP
ITP Papers (29 Jul 16:30-18:00) ITP