Federated Logic Conference 2026

PROGRAM AUTHORS KEYWORDS Search

C5.06

Sessions

Keynote talk - Corina Cirstea (18 Jul 09:00-10:00) GALOP
Coffee Break (18 Jul 10:00-10:40) GALOP
Contributed Talks - Session 1 (18 Jul 10:40-12:20) GALOP
Lunch (18 Jul 12:20-14:30) GALOP
Joint keynote talk with ITRS - Simon Forest (18 Jul 14:30-15:30) GALOP
Coffee Break (18 Jul 15:30-16:00) GALOP
Contributed Talks - Session 2 (18 Jul 16:00-17:40) GALOP
Joint keynote talk with TLLA - Hugo Paquet (19 Jul 09:00-10:00) GALOP
Coffee Break (19 Jul 10:00-10:40) GALOP
Contributed Talks - Session 3 (19 Jul 10:40-12:20) GALOP
Lunch (19 Jul 12:20-14:30) GALOP
Joint keynote talk with WPTE - Nikos Tzevelekos (19 Jul 14:30-15:30) GALOP
Coffee Break (19 Jul 15:30-16:00) GALOP
Contributed Talks - Session 4 (19 Jul 16:00-17:40) GALOP
Formal Verification (24 Jul 09:00-10:20) WiL
Quantum Logic (24 Jul 10:20-10:40) WiL
Coffee Break (24 Jul 10:40-11:00) WiL
Invited Talk: Sara Uckelman (24 Jul 11:00-12:00) WiL
Semantics (24 Jul 12:00-12:40) WiL
Lunch (24 Jul 12:40-14:00) WiL
Invited Talk: Raheleh Jalali (24 Jul 14:00-15:00) WiL
Answer Set Programming (24 Jul 15:00-16:00) WiL
Coffee Break (24 Jul 16:00-16:20) WiL
Computability (24 Jul 16:20-17:00) WiL
Type Theory (24 Jul 17:00-17:40) WiL
Automata (25 Jul 09:00-09:20) WiL
Graph Theory (25 Jul 09:20-10:00) WiL
Algebraic Logic (25 Jul 10:00-10:40) WiL
Coffee Break (25 Jul 10:40-11:00) WiL
Epistemic Logic (25 Jul 11:00-12:00) WiL
Dynamic Epistemic Logic (25 Jul 12:00-12:20) WiL
Logic and ML (25 Jul 12:20-12:40) WiL
Lunch (25 Jul 12:40-14:00) WiL
Invited Talk: Valeria de Paiva (25 Jul 14:00-15:00) WiL
Proof Theory (25 Jul 15:00-16:00) WiL
Coffee Break (25 Jul 16:00-16:20) WiL
Modal Logic (25 Jul 16:20-17:20) WiL