Federated Logic Conference 2026

PROGRAM AUTHORS KEYWORDS Search

C3.01

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
Coffee Break (19 Jul 10:00-11:00) PEG
Lunch (19 Jul 12:00-14:00) PEG
Coffee Break (19 Jul 15:30-16:30) PEG
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