Winter School on Formal Verification and Program Synthesis
Bharti 501 IIT Campus, Hauz Khas, New DelhiWe 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