Federated Logic Conference 2026

B2.04

Sessions

Coffee Break (20 Jul 10:00-10:30) ICLP
Opening (20 Jul 10:30-11:00) ICLP
Block 1 (3 TPLP) (20 Jul 11:00-12:30) ICLP
Lunch (20 Jul 12:30-14:00) ICLP
Block 2 (6 TC) (20 Jul 14:00-15:30) ICLP
Coffee Break (20 Jul 15:30-16:00) ICLP
Block 3 (Best DC + 4 RPR) (20 Jul 16:00-17:15) ICLP
Invited Talk 1 (21 Jul 09:00-10:00) ICLP
Coffee Break (21 Jul 10:00-10:30) ICLP
Block 4 (4 TPLP) (21 Jul 10:30-12:30) ICLP
Lunch (21 Jul 12:30-14:00) ICLP
20 Years Test of Time Award (21 Jul 14:00-14:30) ICLP
Block 5 (2 TPLP) (21 Jul 14:30-15:30) ICLP
Coffee Break (21 Jul 15:30-16:00) ICLP
Block 6 (8 TC) (21 Jul 16:00-18:00) ICLP
Coffee Break (22 Jul 10:00-10:30) ICLP
Block 7 (4 TPLP) (22 Jul 10:30-12:30) ICLP
Lunch (22 Jul 12:30-14:00) ICLP
10 Years Test of Time Award (22 Jul 14:00-14:30) ICLP
Block 8 (2 TPLP) (22 Jul 14:30-15:30) ICLP
Coffee Break (22 Jul 15:30-16:00) ICLP
Block 9 (8 TC) (22 Jul 16:00-18:00) ICLP
Invited Talk 2 (23 Jul 09:00-10:00) ICLP
Coffee Break (23 Jul 10:00-10:30) ICLP
Block 10 (4 TPLP) (23 Jul 10:30-12:30) ICLP
Lunch (23 Jul 12:30-14:00) ICLP
Block 11 (6 TC) (23 Jul 14:00-15:30) ICLP
Coffee Break (23 Jul 15:30-16:00) ICLP
Block 12 (1 RPR + 6 TC) (23 Jul 16:00-17:45) ICLP
Closing (23 Jul 17:30-17:45) ICLP
Coffee Break (26 Jul 10:00-11:00) IJCAR
Differential Equations & Hybrid Systems (26 Jul 11:00-12:00) IJCAR
Lunch (26 Jul 12:00-14:00) IJCAR
Arrays & Interpolation (26 Jul 14:00-14:40) IJCAR
Awards (26 Jul 14:40-16:00) IJCAR
Coffee Break (26 Jul 16:00-16:30) IJCAR
Invited Talk (27 Jul 09:00-10:00) IJCAR
Coffee Break (27 Jul 10:00-11:00) IJCAR
Automation & Unification (27 Jul 11:00-12:00) IJCAR
Lunch (27 Jul 12:00-14:00) IJCAR
Formalization & Interactive Proof (27 Jul 14:00-16:00) IJCAR
Coffee Break (27 Jul 16:00-16:30) IJCAR
Rewriting, Automata, Verification & Fuzzy Logic (27 Jul 16:30-18:30) IJCAR
Business Meeting (27 Jul 18:30-20:00) IJCAR
Coffee Break (28 Jul 10:00-11:00) IJCAR
Model Finding, Certification & Synthesis (28 Jul 11:00-12:00) IJCAR
Lunch (28 Jul 12:00-14:00) IJCAR
Superposition, Saturation, Equations & Constraints (28 Jul 14:00-16:00) IJCAR
Coffee Break (28 Jul 16:00-16:30) IJCAR
Confluence Analysis & Rewriting (28 Jul 16:30-17:00) IJCAR
Deepak Kapur Memorial Session (28 Jul 17:00-17:30) IJCAR
Invited Talk (29 Jul 09:00-10:00) IJCAR
Coffee Break (29 Jul 10:00-11:00) IJCAR
SMT Proof Production & Checking (29 Jul 11:00-12:00) IJCAR
Lunch (29 Jul 12:00-13:30) IJCAR
Theory Combination, Arithmetic Circuits & Embedded Systems (29 Jul 13:30-15:30) IJCAR
Coffee Break (29 Jul 15:30-16:00) IJCAR
Refined Logics & Proofs, Hyperproperties & Synthesis (29 Jul 16:00-18:00) IJCAR