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
- Subodh Sharma: Introduction to Symbolic Execution and Bounded Model Checking; Applications to Security and Blockchains. Tools: CProver
- Kumar Madhukar: Verification of Deep Neural Networks, Abstraction-Refinement, Invariants and Connection to Program Verification Hands-on session with a DNN verification tool (NeuralSAT/Marabou).
- Priyanka Golia: Introduction to propositional logic modeling, constraint encoding, and the basics of SAT (Satisfiability) and SMT (Satisfiability Modulo Theories) solvers (basic introduction to DPLL and CDCL). Applications of these solvers in synthesis! Tools: Manthan, MiniSAT, Z3.
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 onLogistics
- Dates: 3-6 December 2024
- Venue: CSE department, IIT Delhi.
- Travel Support and Hostel Accommodation: We will provide travel support of 3000 INR for outstation candidates and 1000 INR for students from Delhi-NCR, along with hostel accommodation for the selected participants during December 2-7, 2024. Participants are required to check out before lunch on December 7, 2024. Please note that the availability of hostel accommodation depends on several external factors beyond our control. While we anticipate that all participants will be able to secure accommodation, please do not assume this until you receive confirmation from us.
- After winter school: Interested students will be encouraged to apply for internships at IIT Delhi during eight weeks of summer 2025. Stipend will be offered to cover living and stay expenses in the IIT hostel during the internship.
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.