Fwd: Talks at IISc

18 views
Skip to first unread message

Siddhartha Gadgil

unread,
Apr 16, 2025, 5:01:02 AMApr 16
to Automated Mathematics India
This is especially for those in Bangalore. There are some talks next week at IISc:  https://kiac.iisc.ac.in/upcoming-events/. and https://math.iisc.ac.in/events/2025-04-21-Lean-Math-AI.html. The first set of talks will be recorded and posted online.

regards,
Siddhartha
Reply all
Reply to author
Forward
0 new messages