Schools/Workshops

The Winter School 2024 on Data Systems, organized by the Data Systems Group of the Department of Computer Science and Engineering at IIT Delhi, will be held from December 2nd to December 6th, 2024. Supported by the Mohit Aron Endowment, this winter school provides an exceptional opportunity for final-year undergraduate students, master’s and PhD students,… Read More »Winter School 2024 on Data Systems

We are excited to invite you to the Winter School on Formal Verification and Program Synthesis, hosted at CSE IIT Delhi from December 3rd to 6th, 2024. This workshop is designed to provide participants with a comprehensive overview of recent advancements in constraint solvers and automated reasoning, along with their cutting-edge applications in diverse fields… Read More »Winter School on Formal Verification and Program Synthesis