[FM-India]Formal Methods Update Meeting 2024

Dear all, The Formal Methods Update Meeting 2024 will be held as a physical meeting at IIT Dharwad during 11th July - 13th July, 2024. Please visit the website https://fmindia.cmi.ac.in/update2024/ for registration and other details. The FM Update Meeting is an informal event organized by the 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 Program Design and Verification and Theoretical Computer Science is welcome to join. If you would like to give a talk at the meeting, please send us a title and an abstract of your talk to fmupdatemeet2024(a)gmail.com. Best regards, Organizing Committee, FM Update Meeting 2024