myIIT
The Formal Methods (FM) Update Meeting 2024, an informal event organized by the FM community in India annually, was held at IIT Dharwad during the period 11th to 12th July 2024. In this event FM researchers from industry and academia got together to present and discuss topical developments in the areas formal methods, program design and verification, and theoretical computer science. There were some presentations were on the current state of the practice and recent tools in these areas.
More details at https://fmindia.cmi.ac.in/update2024/
