Sessions

• Opening and Keynote 18 Jul · 09:00-10:00 FMQC
• Coffee Break 18 Jul · 10:00-10:30 FMQC
• Representation of Quantum Information 18 Jul · 10:30-12:00 FMQC
• Lunch 18 Jul · 12:00-13:20 FMQC
• Model Counting 18 Jul · 13:20-15:00 FMQC
• Coffee Break 18 Jul · 15:00-15:30 FMQC
• Verification and Synthesis 18 Jul · 15:30-16:40 FMQC
• Discussion 18 Jul · 16:40-17:10 FMQC
• Talk1 19 Jul · 09:00-09:50 LLM-Solve
• Session 1 - Explanations with LLMs 19 Jul · 09:50-10:30 LLM-Solve
• Coffee Break 19 Jul · 10:30-11:00 LLM-Solve
• Session 2 - LLMs for Constraint Model Generation 19 Jul · 11:00-12:40 LLM-Solve
• Lunch 19 Jul · 12:40-14:00 LLM-Solve
• Talk 2 19 Jul · 14:00-14:50 LLM-Solve
• Session 3 - Formal Methods for LLMs 19 Jul · 14:50-15:30 LLM-Solve
• Coffee Break 19 Jul · 15:30-16:00 LLM-Solve
• Session 4 - LLMs for Improving Solvers and Models 19 Jul · 16:00-17:20 LLM-Solve
• Closing remarks 19 Jul · 17:20-17:30 LLM-Solve
• Invited Tutorial: Willem Heijltjes 24 Jul · 09:00-10:15 SD
• Coffee Break 24 Jul · 10:15-10:45 SD
• Invited Talk: Olivier Laurent 24 Jul · 10:45-11:45 SD
• Contributed Talks Session 1 24 Jul · 11:50-12:30 SD
• Lunch 24 Jul · 12:30-14:00 SD
• Contributed Talks Session 2 24 Jul · 15:10-15:30 SD
• Coffee Break 24 Jul · 15:30-16:00 SD
• Invited Talk: Cameron Allett 24 Jul · 16:00-17:00 SD
• Invited Tutorial: Tim Lyon 25 Jul · 09:00-10:15 SD
• Coffee Break 25 Jul · 10:15-10:45 SD
• Invited Talk: Kazushige Terui 25 Jul · 10:45-11:45 SD
• Contributed Talks Session 3 25 Jul · 11:50-12:30 SD
• Lunch 25 Jul · 12:30-14:05 SD
• Contributed Talks Session 4 25 Jul · 14:05-14:25 SD
• Invited Talk: Robert Atkey 25 Jul · 14:30-15:30 SD
• Coffee Break 25 Jul · 15:30-16:00 SD
• Contributed Talks Session 5 25 Jul · 16:00-17:00 SD