Sessions

• Opening 18 Jul · 08:45-09:00 OVERLAY
• Planning 18 Jul · 09:00-10:00 OVERLAY
• Coffee Break 18 Jul · 10:00-10:30 OVERLAY
• Multi-agent systems 18 Jul · 10:30-12:00 OVERLAY
• Lunch 18 Jul · 12:00-14:00 OVERLAY
• Temporal, Modal and Logical Foundations 18 Jul · 14:00-15:30 OVERLAY
• Coffee Break 18 Jul · 15:30-16:00 OVERLAY
• Temporal, Modal and Logical Foundations 2 18 Jul · 16:00-17:00 OVERLAY
• Learning 19 Jul · 09:00-10:00 OVERLAY
• Coffee Break 19 Jul · 10:00-10:30 OVERLAY
• Verification and Model Checking 19 Jul · 10:30-12:00 OVERLAY
• Lunch 19 Jul · 12:00-14:00 OVERLAY
• Invited Talk 19 Jul · 14:00-15:00 OVERLAY
• Coffee Break 19 Jul · 15:00-15:30 OVERLAY
• Explainability 19 Jul · 15:30-16:30 OVERLAY
• Closing remarks 19 Jul · 16:30-16:45 OVERLAY
• Coffee Break 20 Jul · 10:00-10:30 ICLP
• Opening 20 Jul · 10:30-11:00 ICLP
• Block 1 (3 TPLP) 20 Jul · 11:00-12:30 ICLP
• Lunch 20 Jul · 12:30-14:00 ICLP
• Block 2 (6 TC) 20 Jul · 14:00-15:30 ICLP
• Coffee Break 20 Jul · 15:30-16:00 ICLP
• Block 3 (Best DC + 4 RPR) 20 Jul · 16:00-17:15 ICLP
• Invited Talk 1 21 Jul · 09:00-10:00 ICLP
• Coffee Break 21 Jul · 10:00-10:30 ICLP
• Block 4 (4 TPLP) 21 Jul · 10:30-12:30 ICLP
• Lunch 21 Jul · 12:30-14:00 ICLP
• 20 Years Test of Time Award 21 Jul · 14:00-14:30 ICLP
• Block 5 (2 TPLP) 21 Jul · 14:30-15:30 ICLP
• Coffee Break 21 Jul · 15:30-16:00 ICLP
• Block 6 (8 TC) 21 Jul · 16:00-18:00 ICLP
• ALP Business Meeting 21 Jul · 18:00-19:00 ICLP
• Coffee Break 22 Jul · 10:00-10:30 ICLP
• Block 7 (4 TPLP) 22 Jul · 10:30-12:30 ICLP
• Lunch 22 Jul · 12:30-14:00 ICLP
• 10 Years Test of Time Award 22 Jul · 14:00-14:30 ICLP
• Block 8 (2 TPLP) 22 Jul · 14:30-15:30 ICLP
• Coffee Break 22 Jul · 15:30-16:00 ICLP
• Block 9 (8 TC) 22 Jul · 16:00-18:00 ICLP
• Invited Talk 2 23 Jul · 09:00-10:00 ICLP
• Coffee Break 23 Jul · 10:00-10:30 ICLP
• Block 10 (4 TPLP) 23 Jul · 10:30-12:30 ICLP
• Lunch 23 Jul · 12:30-14:00 ICLP
• Block 11 (6 TC) 23 Jul · 14:00-15:30 ICLP
• Coffee Break 23 Jul · 15:30-16:00 ICLP
• Block 12 (1 RPR + 6 TC) 23 Jul · 16:00-17:45 ICLP
• Closing 23 Jul · 17:45-18:00 ICLP
• Welcome 24 Jul · 08:45-09:00 SMT
• Invited Talk + Encodings 24 Jul · 09:00-10:30 SMT
• Coffee Break 24 Jul · 10:00-11:00 SMT
• MCSat & Nonlinear Arithmetic 24 Jul · 11:00-12:30 SMT
• Lunch 24 Jul · 12:30-14:00 SMT
• Decision Procedures & Automation 24 Jul · 14:00-15:30 SMT
• Coffee Break 24 Jul · 15:30-16:00 SMT
• Learning, LLMs & Counting 24 Jul · 16:00-17:30 SMT
• Invited Talk + Parallelism 25 Jul · 09:00-10:30 SMT
• Coffee Break 25 Jul · 10:30-11:00 SMT
• Arrays, Datatypes & Relational Reasoning 25 Jul · 11:00-12:30 SMT
• Lunch 25 Jul · 12:30-14:00 SMT
• SMT 25 Jul · 14:00-15:30 SMT
• Coffee Break 25 Jul · 15:30-16:00 SMT
• SMT-COMP & Business Meeting 25 Jul · 16:00-17:30 SMT