Federated Logic Conference 2026

PROGRAM AUTHORS KEYWORDS Search

C6.02

Sessions

Joint Invited Talk with TLLA (18 Jul 09:00-10:30) ITRS
Coffee Break (18 Jul 10:30-11:00) ITRS
Lunch (18 Jul 12:00-13:30) ITRS
Joint Invited Talk with GaLoP (18 Jul 14:30-15:30) ITRS
Coffee Break (18 Jul 15:30-16:30) ITRS
Coffee Break (19 Jul 10:00-11:00) TERMGRAPH
Lunch (19 Jul 12:00-14:00) TERMGRAPH
Coffee Break (19 Jul 15:30-16:30) TERMGRAPH
Graphs (24 Jul 08:30-10:00) IWC
Coffee Break (24 Jul 10:00-10:30) IWC
Confluence & Formalization (24 Jul 10:30-12:30) IWC
Lunch (24 Jul 12:30-14:00) IWC
Variants of Term Rewriting Systems (24 Jul 14:00-15:30) IWC
Coffee Break (24 Jul 15:30-16:00) IWC
Completion (24 Jul 16:00-17:00) IWC
CoCo + Business Meeting (24 Jul 17:00-18:00) IWC
Opening and Proof Complexity (25 Jul 09:00-10:15) MC
Coffee Break (25 Jul 10:15-11:00) MC
Proof Logging and Knowledge Compilation (25 Jul 11:00-12:30) MC
Lunch (25 Jul 12:30-14:00) MC
Complexity and Explanations (25 Jul 14:00-15:30) MC
Coffee Break (25 Jul 15:30-16:00) MC
Weighted Counting over Theories and First-Order Structures (25 Jul 16:00-18:00) MC