Sessions

• Introduction 18 Jul · 09:00-10:30 DPSOLVE
• Talks 1 18 Jul · 11:00-12:40 DPSOLVE
• Lunch 18 Jul · 12:40-14:00 DPSOLVE
• Talks 2 18 Jul · 14:00-15:40 DPSOLVE
• Coffee Break 18 Jul · 15:40-16:10 DPSOLVE
• Open Discussion 18 Jul · 16:10-17:10 DPSOLVE
• Session 1: Workshop Opening and Invited Talk 19 Jul · 09:05-10:05 PEG
• Session 1: Teaching with Logic Programming in Arts and Culture 19 Jul · 10:00-10:40 PEG
• Coffee Break 19 Jul · 10:40-11:00 PEG
• Session 2: LP for Teaching Logical Thinking to Children 19 Jul · 11:10-12:30 PEG
• Lunch 19 Jul · 12:30-14:00 PEG
• Session 3: Tools for Teaching Logic Programming 19 Jul · 14:00-15:20 PEG
• Coffee Break 19 Jul · 15:20-15:50 PEG
• Session 4: Logic Programming for Teaching Computing Subjects 19 Jul · 15:50-17:10 PEG
• Kick-off 24 Jul · 08:55-09:00 HYPER
• Invited talk 1 24 Jul · 09:00-09:45 HYPER
• Contributed talks 1 24 Jul · 09:45-10:15 HYPER
• Q&A 1 24 Jul · 10:15-10:30 HYPER
• Coffee break 24 Jul · 10:30-11:00 HYPER
• Invited talk 2 24 Jul · 11:00-11:45 HYPER
• Contributed talks 2 24 Jul · 11:45-12:20 HYPER
• Q&A 2 24 Jul · 12:20-12:35 HYPER
• Lunch break 24 Jul · 12:35-14:00 HYPER
• Invited talk 3 24 Jul · 14:00-14:45 HYPER
• Contributed talks 3 24 Jul · 14:45-15:30 HYPER
• Q&A 3 24 Jul · 15:30-15:45 HYPER
• Coffee break 24 Jul · 15:45-16:00 HYPER
• Invited talk 4 24 Jul · 16:00-16:45 HYPER
• Contributed talks 4 24 Jul · 16:45-17:25 HYPER
• Q&A 4 24 Jul · 17:25-17:45 HYPER
• SYNTCOMP results 25 Jul · 09:00-09:10 SYNT
• Keynote talk 1 25 Jul · 09:10-10:00 SYNT
• Coffee Break 25 Jul · 10:00-10:25 SYNT
• Reactive Synthesis 25 Jul · 10:25-11:00 SYNT
• Games and Synthesis - I 25 Jul · 11:00-12:25 SYNT
• Lunch 25 Jul · 12:25-13:45 SYNT
• Keynote talk 2 25 Jul · 13:45-14:35 SYNT
• Functional & Quantum Synthesis 25 Jul · 14:35-15:30 SYNT
• Coffee Break 25 Jul · 15:30-15:55 SYNT
• Keynote talk 3 25 Jul · 15:55-16:45 SYNT
• Games and Synthesis - 2 25 Jul · 16:45-17:20 SYNT
• Program Synthesis 25 Jul · 17:20-18:00 SYNT