Schools/Workshops

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… Read More »Winter School on Formal Verification and Program Synthesis

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… Read More »Winter School 2024 on Data Systems