In December 2024, the Formal Methods Group of CSE, IIT Delhi, organized a Winter School on Formal Verification and Program Synthesis. The school was open for registration to senior undergraduate students, postgraduate students, Ph.D. scholars, and industry professionals. The primary aim of the workshop was to introduce the world of Formal Methods to early-career (and potential) researchers. After an initial shortlisting process, we hosted approximately 45 participants from across India. We were able to arrange accommodation, meals, and other necessary facilities for them without charging any registration fee—thanks to Mohit Aron Endowment.
The three-day school combined academic rigor and practical insights through:
- An inspiring industry session by Ravindra Metta (TCS Research),
- A captivating session on the foundations of logic by Silvia Ghilezan (University of Novi Sad), and
- Engaging talks by our in-house experts: Subodh Sharma, Kumar Madhukar, and Priyanka Golia.
If you’re curious about what it was like to attend, don’t miss the fantastic blog post by Aniket Mistra, an undergraduate student from IIT Gandhinagar, where he shares his experience.
Does this sound like your kind of event? Mark your calendar for Winter School @ CSE IITD 2025! Registration details will be announced in early November!