Federated Logic Conference 2026

PROGRAM AUTHORS KEYWORDS Search

C4.02

Sessions

Opening (18 Jul 09:15-09:30) RCRA
Constraint Satisfaction, SAT e Heuristics (18 Jul 09:30-10:30) RCRA
Coffee Break (18 Jul 10:30-11:00) RCRA
AI Reasoning, Explainability e LLMs (18 Jul 11:00-12:00) RCRA
Closing (18 Jul 12:00-12:15) RCRA
Lunch (18 Jul 12:15-14:00) RCRA
Coffee Break (18 Jul 15:30-16:30) RCRA
First invited talk (19 Jul 09:00-10:00) DIALOCO
Contributed talks (19 Jul 10:00-10:30) DIALOCO
Coffee Break (19 Jul 10:30-11:00) DIALOCO
Contributed talks (19 Jul 11:00-12:00) DIALOCO
Lunch (19 Jul 12:00-14:00) DIALOCO
Second invited talk (19 Jul 14:00-15:00) DIALOCO
Contributed talks (19 Jul 15:00-15:30) DIALOCO
Coffee Break (19 Jul 15:30-16:00) DIALOCO
Contributed talks (19 Jul 16:00-17:30) DIALOCO
Equality reasoning(?) (24 Jul 09:00-10:30) Vampire
Coffee Break (24 Jul 10:30-11:00) Vampire
Machine learning (24 Jul 11:00-12:00) Vampire
Lunch (24 Jul 12:00-13:40) Vampire
Proof checking & applications (24 Jul 13:40-15:00) Vampire
Coffee Break (24 Jul 15:00-15:30) Vampire
Optimizations(?) (24 Jul 15:30-16:50) Vampire
Termination of First-Order Rewriting (25 Jul 08:50-10:30) WST
Coffee Break (25 Jul 10:30-11:00) WST
Termination of Loops (25 Jul 11:00-12:30) WST
Lunch (25 Jul 12:30-14:00) WST
Beyond Classical Rewriting (25 Jul 14:00-15:30) WST
Coffee Break (25 Jul 15:30-16:00) WST
Program Analysis (25 Jul 16:00-17:45) WST