Skip to content

Highlights

Workshop Details

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

Formal Verification and Program Synthesis Winter School

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