[FM-India] Formal Methods Update Meeting 2022 -- Final Call for participation
Kumar Madhukar
madhukar at cmi.ac.in
Wed Jun 22 00:05:08 IST 2022
Dear all,
The Formal Methods Update Meeting 2022 is going to be held as a physical
meeting at IIT Delhi during 4–5 July, 2022. Please visit the website
https://fmindia.cmi.ac.in/update2022/ for registration and other details.
Please note that the registration closes on Friday, June 24th.
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 fmupdatemeet at gmail.com.
Best regards,
Organizing Committee,
FM Update Meeting 2022
More information about the FMIndia
mailing list