Federated Logic Conference 2026

PROGRAM AUTHORS KEYWORDS Search

JJ Laginha

Sessions

Coffee Break (20 Jul 10:00-10:30) SAT
Session A: Encodings & Preprocessing (20 Jul 10:30-12:00) SAT
Lunch (20 Jul 12:00-13:30) SAT
Session B: Proof Systems & Complexity (20 Jul 13:30-15:30) SAT
Coffee Break (20 Jul 15:30-16:00) SAT
Session C: Solver Tools & Explanations (20 Jul 16:00-17:15) SAT
Invited Talk 1 (21 Jul 09:00-10:00) SAT
Coffee Break (21 Jul 10:00-10:30) SAT
Session D: MaxSAT & PB Optimization (21 Jul 10:30-12:00) SAT
Lunch (21 Jul 12:00-13:30) SAT
Session E1: Best Papers (21 Jul 13:30-14:30) SAT
Session E2: Knowledge Compilation (21 Jul 14:30-15:30) SAT
Coffee Break (21 Jul 15:30-16:00) SAT
Session F: CDCL & Parallel Solving (21 Jul 16:00-18:00) SAT
Session M: SAT Association Awards (21 Jul 18:00-19:00) SAT
Coffee Break (22 Jul 10:00-10:30) SAT
Session G: QBF Algorithms (22 Jul 10:30-12:00) SAT
Lunch (22 Jul 12:00-13:30) SAT
Session H: QBF Proofs & Dependencies (22 Jul 13:30-15:30) SAT
Coffee Break (22 Jul 15:30-16:00) SAT
Session I: Beyond Propositional SAT (22 Jul 16:00-18:00) SAT
Invited Talk 2 (23 Jul 09:00-10:00) SAT
Coffee Break (23 Jul 10:00-10:30) SAT
Session J: SMT & Theory Reasoning (23 Jul 10:30-12:00) SAT
Lunch (23 Jul 12:00-13:30) SAT
Session K (23 Jul 13:30-15:30) SAT
Coffee Break (23 Jul 15:30-16:00) SAT
Session L (23 Jul 16:00-18:00) SAT