| Nov 3 |
9:30 - 11:30 |
Tutorial on Reactive Synthesis |
| 12:00 - 12:30 |
Student Session |
| 14:30 - 16:00 |
Tutorial on Program Synthesis |
| 16:30 - 18:30 |
Tutorial on Function Synthesis |
| Nov 4 |
9:45 - 10:00 |
Brief address by ACM India |
|
10:00 - 10:30
|
Introductions
|
| 10:30 - 11:15 |
Contributed Talk 1 |
| 11:45 - 12:30 |
Contributed Talk 2 |
| 14:00 - 15:30 |
Deep Dive Talk on Reactive Synthesis (Online) |
| 16:00 - 17:00 |
Open Problems and Challenges in Reactive Synthesis |
| Nov 5 |
9:30 - 11:00 |
Deep Dive Talk on Function Synthesis |
| 11:30 - 12:15 |
Contributed Talk 3 |
| 12:15 - 13:00 |
Contributed Talk 4 |
|
13:00 - 13:15
|
Group Photograph |
| 14:30 - 15:15 |
Infosys Centre of Emerging Technology Address |
| 15:15 - 16:00 |
Open Problems and Challenges in Function Synthesis |
| 16:30 - 17:30 |
Pedagogy Panel Discussion |
| Nov 6 |
9:15 - 9:45 |
Contributed Talk 5 by the Infosys Team |
| 9:45 - 11:15 |
Deep Dive Talk on Program Synthesis |
| 11:45 - 12:30 |
Contributed Talk 6 |
| 12:30 - 13:15 |
Contributed Talk 7
|
| 14:30 - 15:30 |
Open Problems and Challenges in Program Synthesis |
| 16:00 onwards |
Infosys Mysore Campus Tour |
| Nov 7 |
9:30 - 11:00 |
Deep Dive Talk on AI + Synthesis |
| 11:30 - 12:15 |
Contributed Talk 8 |
| 12:15 - 13:00 |
Open Problems in Neuro-symbolic Methods for Synthesis |
| 13:00 onwards |
Conclusion |