Dear all, The Formal Methods group at CSE IIT Delhi is organizing a Winter School on Formal Verification and Program Synthesis, and registration is now open Important Details: When: 3rd to 6th December Where: CSE, IIT Delhi Who can apply: Final-year undergraduate students, post-graduate (Masters/PhD) students, or industry professionals How to apply: Register now at https://forms.gle/T7gqKbVei8PQwf1x7 Support: Travel support of INR 3000 for students and accommodation at IITD hostels (most likely). More Information: https://priyanka-golia.github.io/WinterSchool24/index.html For any questions, please feel free to contact Kumar Madhukar (madhukar@iitd.ac.in <mailto:madhukar@iitd.ac.in>) or Priyanka Golia (pgolia@iitd.ac.in <mailto:pgolia@iitd.ac.in>). Thank you! Regards, Priyanka