Informal workshop: LeanLang for programmers

[Siddhartha Gadgil]

We will have a one-day informal workshop on Lean on Friday, 19 December at the the Indian Institute of Science, Bangalore, with a focus on programming, aimed at software professionals among others. The workshop will consist of example based introductions to various aspects of Lean and exercises to work on with help. The two principal speakers are Siddhartha Gadgil and Anand Rao Tadipatri.

Details: https://siddhartha-gadgil.github.io/automating-mathematics/posts/leanlang-for-programmers/

[Siddhartha Gadgil]

Hi,

        The venue of the event is F-12 in the Old Physics Building, IISc. The Google maps location is https://maps.app.goo.gl/MujiX8s2969f2ZUc9. The building is on the main road and will be on your left after coming in through the main gate in about half a kilometre.

         I am not exactly sure how the gate entry will work, but if you mention the workshop, maybe show the email I sent and/or the weblink https://math.iisc.ac.in/events/2025-12-19-leanlang-for-programmers.html and mention my name, they will let you in (maybe after making an entry in some system).

regards,

Siddhartha

On Fri, 19 Dec 2025 at 06:38, Krishnan Raghavan <kris...@pramaanalabs.ai> wrote:

Hi Siddhartha,

Could you please share instructions for entering IISc and the exact location of the workshop?

Thanks, 

Krishnan