[FM-India] Formal Methods Update Meeting 2021
kumar.madhukar at tcs.com
Tue May 4 23:56:17 IST 2021
The Formal Methods Update Meeting 2021 will be held online during 9-11 July. Please visit the website https://fmindia.cmi.ac.in/update2021/ 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. This year's edition will be virtual in light of the prevalent Covid situation. It was originally planned to take place in VIT Vellore.
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 let us know its details (title, abstract, and the proposed duration) by sending an email to fmupdatemeet at gmail.com.
FM Update Meeting 2021
Notice: The information contained in this e-mail
message and/or attachments to it may contain
confidential or privileged information. If you are
not the intended recipient, any dissemination, use,
review, distribution, printing or copying of the
information contained in this e-mail message
and/or attachments to it are strictly prohibited. If
you have received this communication in error,
please notify us by reply e-mail or telephone and
immediately and permanently delete the message
and any attachments. Thank you
More information about the FMIndia