Sessions

• Coffee Break 20 Jul · 10:00-10:30 CP
• CP Opening 20 Jul · 10:30-10:45 CP
• Lunch 20 Jul · 12:30-14:00 CP
• Routing/Scheduling & GPU for Propagation 20 Jul · 14:00-16:00 CP
• Coffee Break 20 Jul · 16:00-16:30 CP
• Decision Diagrams 21 Jul · 09:00-10:00 CP
• Coffee Break 21 Jul · 10:00-10:30 CP
• ACP Awards & Next CP/CPAIOR 21 Jul · 10:30-11:45 CP
• Lunch 21 Jul · 12:30-14:00 CP
• Coffee Break 21 Jul · 16:00-16:30 CP
• DEI & General Assembly 21 Jul · 16:30-18:00 CP
• Coffee Break 22 Jul · 10:00-10:30 CP
• Beyond Filtering & Global Hybrid Optimisation Solver 22 Jul · 10:30-12:30 CP
• Lunch 22 Jul · 12:30-13:55 CP
• Constraint Journal Panel & Constraint Journal Awards 22 Jul · 13:55-14:35 CP
• Coffee Break 22 Jul · 16:00-16:30 CP
• ASP 23 Jul · 09:00-10:00 CP
• Coffee Break 23 Jul · 10:00-10:30 CP
• Best Papers & Competition Results 23 Jul · 10:30-12:00 CP
• Lunch 23 Jul · 12:25-13:55 CP
• Holy Grail Panel 23 Jul · 13:55-14:35 CP
• Coffee Break 23 Jul · 16:00-16:30 CP
• Theory 2 & Closing 23 Jul · 17:35-18:00 CP
• 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