Date: 22nd, 23rd and 24th August 2025 Venue: IIT Delhi Audience : College and University…

…

In December 2024, the Formal Methods Group of CSE, IIT Delhi, organized a Winter School on Formal…

…

…