The Computer Science and Engineering department at IIT Delhi is hosting a winter school on Formal Verification and Program Synthesis from December 3rd to 6th, 2024.

The school is designed to provide students with a comprehensive overview of recent advancements in constraint solvers and automated reasoning, along with their cutting-edge applications in diverse fields such as the verification of deep neural networks, security, blockchains, and synthesis.

To know more and register:

https://priyanka-golia.github.io/WinterSchool24/index.html