[FM-India] Final Call for Participation - FM Update Meeting 2021

[Kumar Madhukar]

Dear all,

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 the meeting programme, the list of talks and speakers, and registration.

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.

Here's the Zoom meeting link for the entire event: https://us02web.zoom.us/j/87507023926?pwd=YlhBMjlPN0lQbnZUY0o4NUI0LzVSZz09
The Meeting ID is 875 0702 3926, and the Passcode is 299346.

Everybody interested in the use of Formal Methods in Program Design and Verification and Theoretical Computer Science is welcome to join.


Best regards,

Organizing Committee,
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