The FM Update Meeting is an informal event organized by the Formal Methods (FM) community in India annually, with the aim of getting FM researchers together to present and discuss topical developments in their areas of interest. Everybody interested in the use of Formal Methods in hardware and software design, verification and synthesis, model checking, theorem proving, and theoretical computer science are welcome to join!
FM Update 2026 will be held at Krea University, Sri City on July 2 and 3, 2026.
- Inzemamul Haque (inzemamul.haque@krea.edu.in), Krea University
- Aalok Thakkar (thakkar@ashoka.edu.in), Ashoka University
- T V H Prathamesh (prathamesh.turaga@krea.edu.in), Krea University
Sponsors: This event is sponsored by the Indian Association for Research in Computing Science (IARCS), TCS Research, and Krea University. We are grateful for their support in making this event possible.