| Program | |||
|---|---|---|---|
| Time | Event | Responsibility | Focus |
| 8:30 - 8:35 | Introduction | Organisers | Academia & Industry |
| 8:35 - 9:15 | Spotlight | Participants | Academia & Industry |
| 9:15 - 9:35 | Academic Talk | Alessio Lomuscio | Academia |
| 9:35 - 9:55 | Academic Talk | Sanjit A. Seshia | Academia |
| coffee and poster session (35 mins) | |||
| 10:30 - 10:50 | Industry Talk | Vasumathi Raman | Industry |
| 10:50 - 11:10 | Industry Talk | Rahul Gulati | Industry |
| 11:10 - 12:00 | Panel discussion | everyone | Industry & Academia |