Federated Logic Conference 2026

Grande Auditório

Sessions

Keynote: Symbolic Coding Agents: Temporal Synthesis as a Foundation for Strategic Reasoning in Artificial Intelligence (20 Jul 09:00-10:00)
Coffee Break (20 Jul 10:00-10:30) KR
KR Opening (20 Jul 10:30-11:00) KR
Argumentation 1 (20 Jul 11:00-12:40) KR
Lunch (20 Jul 12:40-14:00) KR
Belief change and epistemic logic (20 Jul 14:00-15:35) KR
Coffee Break (20 Jul 15:35-16:00) KR
KR Invited: Magdalena Ortiz (20 Jul 16:00-17:00) KR
KR invited: Carsten Lutz (21 Jul 09:00-10:00) KR
KR awards (21 Jul 10:00-10:30) KR
Coffee Break (21 Jul 10:30-11:00) KR
Nonmonotonic logic (21 Jul 11:00-12:35) KR
Lunch (21 Jul 12:35-14:00) KR
Answer Set Programming 1 (21 Jul 14:00-16:00) KR
Coffee Break (21 Jul 16:00-16:30) KR
Neural-symbolic learning (21 Jul 16:30-18:35) KR
Keynote: Learning with Logic: Neuro-Symbolic Methods for Grounded and Robust AI (22 Jul 09:00-10:00)
Coffee Break (22 Jul 10:00-10:30) KR
Diversity and inclusion (22 Jul 10:30-11:30) KR
Reinforcement learning and norms (22 Jul 11:40-12:25) KR
Lunch (22 Jul 12:30-14:00) KR
Belief change (22 Jul 14:00-15:35) KR
Coffee Break (22 Jul 15:35-16:00) KR
Expressivity of neural networks (22 Jul 16:00-18:00) KR
KR Invited: Joao Marques-Silva (23 Jul 09:00-10:00) KR
Coffee Break (23 Jul 10:00-10:30) KR
Neural-symbolic learning and logic (23 Jul 10:30-12:30) KR
Lunch (23 Jul 12:30-14:00) KR
Machine learning and explanation (23 Jul 14:00-16:00) KR
Coffee Break (23 Jul 16:00-16:30) KR
KR closing session (23 Jul 16:30-17:00) KR
Keynote: The Lean Theorem Prover: Design, Evolution, and Impact (26 Jul 09:00-10:00)
Coffee Break (26 Jul 10:00-10:30) CAV
Verification of Parallel, Concurrent, and Distributed Systems (26 Jul 10:30-12:35) CAV
Lunch (26 Jul 12:30-14:00) CAV
Synthesis (26 Jul 14:00-15:30) CAV
Coffee Break (26 Jul 15:30-16:00) CAV
Hardware Verification (26 Jul 16:00-17:00) CAV
Invited Talk (27 Jul 09:00-10:00) CAV
Coffee Break (27 Jul 10:00-10:30) CAV
Security, Privacy and Hyperproperties (27 Jul 10:30-11:20) CAV
SMT, SAT & Decision Procedures (27 Jul 11:20-12:30) CAV
Lunch (27 Jul 12:30-14:00) CAV
Deductive Verification & Certified Verification (27 Jul 14:00-15:30) CAV
Coffee Break (27 Jul 15:30-16:00) CAV
Automata (27 Jul 16:00-17:50) CAV
Logic Lounge (27 Jul 18:00-19:00) CAV
Keynote: Trustworthy Neuro-Symbolic Programming with Informal Specifications (28 Jul 09:00-10:00)
Coffee Break (28 Jul 10:00-10:30) CAV
Machine Learning, AI and Verification (28 Jul 10:30-12:25) CAV
Lunch (28 Jul 12:25-13:45) CAV
CAV Award (28 Jul 13:45-14:45) CAV
Liveness/Termination (28 Jul 14:50-15:30) CAV
Coffee Break (28 Jul 15:30-16:00) CAV
Program Analysis Session (28 Jul 16:00-17:25) CAV
CAV Business meeting (28 Jul 17:30-18:00) CAV
Invited Talk (29 Jul 09:00-10:00) CAV
Coffee Break (29 Jul 10:00-10:30) CAV
Software: Tools, Verification and Synthesis (29 Jul 10:30-11:15) CAV
Quantum (29 Jul 11:15-12:35) CAV
Lunch (29 Jul 12:35-14:00) CAV
Hybrids, Controls and Probabilistic Systems (29 Jul 14:00-16:00) CAV
Coffee Break (29 Jul 16:00-16:30) CAV