Day 1 – December 7
| Sr. No | Workshop Title / Details | Slot |
|---|---|---|
| 1 |
Testable Conjectures to Develop Correctness-Focused Competencies
Viraj Kumar, IISc Bangalore Venkatesh Choppella, IIIT Hyderabad Kshitij Gajjar, IIIT Hyderabad | Day 1 – Dec 7, 16:30 – 19:00 |
| 2 |
Copilot for Educators Dhanashri Chavan (Github) Empowering the next generation of developers! Explore how GitHub Copilot can transform teaching, enhance personalized learning, and streamline curriculum development. | Day 1 – Dec 7, 16:30 – 18:00 |
Event Timeslots (1)
Day 1 – December 7
-
Workshop 1: Testable Conjectures to Develop Correctness-Focused Competencies [CS1],
Workshop 2: Copilot for Educators [CS3]
Admin