Summer School: LeanLang for Programming
8 views
Skip to first unread message
Siddhartha Gadgil
May 22, 2026, 8:43:41 PMMay 22
to Automated Mathematics India, Siddhartha Gadgil, KC Sivaramakrishnan, Ashish Mishra, Abhishek Kr Singh, Prathamesh Turaga, Divakaran D
Dear Friends,
The following may be of interest. Please forward to anyone you think may be interested.
regards,
Siddhartha
Dear All,
We at Emergence AI are
excited to announce the Summer School: LeanLang for Programming at
IISc Bengaluru, India
from 6th–10th July 2026!
We warmly encourage programmers, mathematicians, researchers, students, and anyone curious about formal verification to be a part of this unique learning experience and make the most of this opportunity.
We’ve made a sincere effort to bring together keynote talks and sessions by leading experts in formal verification. One of the highlights of the summer school will be Ilya Sergey himself and he will introduce participants to proving imperative, real-world programs in Lean using the Velvet framework developed in his lab.
Whether you are exploring theorem proving for the first time or already working in programming languages and verification, this summer school promises insightful discussions, hands-on learning, and interaction with some of the brightest minds in the field.
We request everyone interested to secure their spot by registering through the Google Form available on the Summer School page, ensuring that no curious mind passionate about solving complex problems misses this opportunity.
Click here to enrol: (https://east.emergence.ai/summerschool-july2026.html)
We warmly encourage programmers, mathematicians, researchers, students, and anyone curious about formal verification to be a part of this unique learning experience and make the most of this opportunity.
We’ve made a sincere effort to bring together keynote talks and sessions by leading experts in formal verification. One of the highlights of the summer school will be Ilya Sergey himself and he will introduce participants to proving imperative, real-world programs in Lean using the Velvet framework developed in his lab.
Whether you are exploring theorem proving for the first time or already working in programming languages and verification, this summer school promises insightful discussions, hands-on learning, and interaction with some of the brightest minds in the field.
We request everyone interested to secure their spot by registering through the Google Form available on the Summer School page, ensuring that no curious mind passionate about solving complex problems misses this opportunity.
Click here to enrol: (https://east.emergence.ai/summerschool-july2026.html)
Warm Regards,
Chaitali Roy (Program Manager)
Reply all
Reply to author
Forward
0 new messages