Winter School on Formal Verification and Program Synthesis

(Supported by Mohit Aron endowment)

Department of Computer Science and Engineering, IIT Delhi

Date: 3-6th December

About the Winter School

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 such as the verification of deep neural networks, security, blockchains and synthesis. The four-day workshop will feature a series of lectures and hands-on sessions led by Subodh Sharma, Kumar Madhukar, and Priyanka Golia .

List of Topics

Registration

The typical profile of a participant will be a final-year undergraduate student or a post-graduate (Masters/PhD) student or an industry professional interested in getting introduced to advanced topics in formal verification and program synthesis.
How to apply? Please register before 11:59pm on 15th November, 2024 to apply to attend the Winter school. The registration requires you to read any one of the following papers, and write what you understood from it, please budget at least two days for this.

Register Now

Logistics

Please note that we will NOT give any certificate of completion and will NOT provide recommendation letters to graduate schools or otherwise for participating in the school.

Programme

The detailed programme will be announced soon. Please check back later for updates.

Project Title
This is a brief description of the project from the Google Sheet.