| Nov 4 |
10:00 - 11:00 |
Opening |
| 11:30 - 13:00 |
Long Talk on Reactive Synthesis |
| 14:30 - 15:00 |
Contributed Talk 1 |
| 15:15 - 15:45 |
Contributed Talk 2 |
| 16:00 - 17:30 |
Open Problems and Challenges in Reactive Synthesis |
| Nov 5 |
10:00 - 11:30 |
Long Talk on Function Synthesis |
| 12:00 - 12:30 |
Contributed Talk 3 |
| 14:00 - 14:30 |
Contributed Talk 4 |
| 14:45 - 16:15 |
Open Problems and Challenges in Function Synthesis |
| 16:30 Onwards |
|
| Nov 6 |
10:00 - 11:30 |
Long Talk on Program Synthesis |
| 12:00 - 12:30 |
Contributed Talk 5 |
| 14:00 - 15:30 |
Open Problems and Challenges in Program Synthesis |
| 16:00 - 17:30 |
Teaching Synthesis |
| Nov 7 |
10:00 - 11:30 |
Long Talk on AI + Synthesis |
| 12:00 - 12:30 |
Contributed Talk 6 |
| 14:00 - 15:30 |
Open Problems in AI + Synthesis, Scalability, and Neuro-symbolic Methods |