Calendar | ICTS

Error message

Thursday, April 24, 2025
Programs
23 April 2025 to 25 April 2025
Ramanujan Lecture Hall, ICTS Bengaluru
This is an annual discussion meeting of the Indian statistical physics community attended by scientists, postdoctoral fellows and graduate students, from across the country, working in the broad area...more
Programs
24 April 2025 to 26 April 2025
Madhava Lecture Hall, ICTS
Interactive Theorem Provers (or Proof Assistants) are tools that verify and partially automate mathematical proofs. The process of encoding mathematics into these systems, known as formalisation, has...more