Interested in learning about fundamental and cutting-edge research on data privacy? Check out the summer school and workshop on “Computational Challenges in Data Privacy” at… Read More »
Highlights
Formal Verification and Program Synthesis Winter School
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… Read More »Formal Verification and Program Synthesis Winter School
