Federated Logic Conference 2026

C1.03

Sessions

Welcome (18 Jul 09:00-09:15) CPSATDP
Invited Talk (18 Jul 09:15-10:00) CPSATDP
Coffee Break (18 Jul 10:00-11:00) CPSATDP
Session 1 (18 Jul 11:00-12:30) CPSATDP
Lunch (18 Jul 12:30-14:00) CPSATDP
Invited Talk (18 Jul 14:00-14:45) CPSATDP
Session 2 (18 Jul 14:45-15:30) CPSATDP
Coffee Break (18 Jul 15:30-16:30) CPSATDP
Session 3 (18 Jul 16:30-18:00) CPSATDP
Session 4 (19 Jul 09:00-10:00) CPSATDP
Coffee Break (19 Jul 10:00-11:00) CPSATDP
Session 5 (19 Jul 11:00-12:30) CPSATDP
Lunch (19 Jul 12:30-14:00) CPSATDP
Invited Talk (19 Jul 14:00-15:00) CPSATDP
Session 6 (19 Jul 15:00-15:30) CPSATDP
Coffee Break (19 Jul 15:30-16:30) CPSATDP
Session 7 (19 Jul 16:30-18:00) CPSATDP
Coffee Break (20 Jul 10:00-10:20) LICS
Opening & welcome (room B) (20 Jul 10:20-10:30) LICS
Session 1B Automata on Infinite Words and MSO (20 Jul 10:30-12:30) LICS
Lunch (20 Jul 12:30-13:30) LICS
Session 2B Automata (20 Jul 13:30-15:00) LICS
Coffee Break (20 Jul 15:00-15:30) LICS
Session 3B Automata (20 Jul 15:30-16:30) LICS
Coffee Break (21 Jul 10:00-10:30) LICS
Session 4B Logic and Structural Graph Theory (21 Jul 10:30-12:30) LICS
Lunch (21 Jul 12:30-14:00) LICS
Session 5B Counter and Vector Addition Systems (21 Jul 14:00-16:00) LICS
Coffee Break (21 Jul 16:00-16:30) LICS
Session 6B Quantitative and Analytical Properties of Formal Languages (21 Jul 16:30-18:00) LICS
Coffee Break (22 Jul 10:00-10:30) LICS
Session 7B Decidability in Arithmetic and Linear Theories (22 Jul 10:30-12:30) LICS
Lunch (22 Jul 12:30-14:00) LICS
Session 8B Graph Isomorphism, Homomorphisms, and Combinatorial Invariants (22 Jul 14:00-16:00) LICS
Coffee Break (22 Jul 16:00-16:30) LICS
Session 9B Games and Strategies under Uncertainty (22 Jul 16:30-17:30) LICS
Coffee Break (23 Jul 10:00-10:30) LICS
Session 10B Constraint Satisfaction (23 Jul 10:30-12:30) LICS
Lunch (23 Jul 12:30-14:00) LICS
Session 11B Modal and Guarded Logics (23 Jul 14:00-16:00) LICS
Coffee Break (23 Jul 16:00-16:30) LICS
Session 12B Proof Theory, Fixed Points, and Meta-Complexity (23 Jul 16:30-18:00) LICS
Invited talks + round table discussion (24 Jul 09:00-10:30) SAIV
Coffee Break (24 Jul 10:30-11:00) SAIV
Contributed talks and short presentations (24 Jul 11:00-12:00) SAIV
Lunch (24 Jul 12:00-13:30) SAIV
VNN-COMP (24 Jul 13:30-14:15) SAIV
Contributed talk (24 Jul 14:15-14:30) SAIV
Coffee Break (24 Jul 14:30-15:00) SAIV
Contributed talks (24 Jul 15:00-16:15) SAIV
Invited talks and round-table discussions (25 Jul 09:00-10:30) SAIV
Coffee Break (25 Jul 10:30-11:00) SAIV
Contributed talk, short presentations, and case studies (25 Jul 11:00-12:00) SAIV
Lunch (25 Jul 12:00-13:30) SAIV
Keynote presentation (25 Jul 13:30-14:30) SAIV
Coffee Break (25 Jul 14:30-15:00) SAIV
Contributed talks (25 Jul 15:00-16:15) SAIV