Dear All, Here's an advertisement for a lecture series scheduled to happen in the first week of February at CMI. Best, Srivathsan (Chennai Mathematical Institute) ----- FOCUS PROGRAMME IN FORMAL METHODS AND ARTIFICIAL INTELLIGENCE Venue: LH 202, Chennai Mathematical Institute (CMI) Dates: February 2 - 6, 2026 Time: 2:00 PM to 5:00 PM, with a break in between There will be five tutorials in subjects around FM and AI. Day 1 (Feb 2): Madhavan Mukund (CMI) - Introduction to Neural Networks Day 2 (Feb 3): Kumar Madhukar (IIT Delhi) - Verification of Neural Networks Day 3 (Feb 4): David Monniaux (VERIMAG, France) - Formally verified static analysis and compilation Day 4 (Feb 5): Prajakta Nimbhorkar (CMI) - Fairness in resource allocation Day 5 (Feb 6): Madhavan Mukund (CMI) - Introduction to Reinforcement Learning More details can be found in the Programme Webpage <https://www.cmi.ac.in/~sri/focus-programme-26.html>. There is no registration fee. If you would like to attend the programme, please write to Srivathsan (sri@cmi.ac.in). For a limited number of students, shared accommodation can be provided on a first-come-first-served basis. -----