Dear All, Greetings!!! On behalf of the Formal Methods Update Meeting 2021 organizer, we uploaded all the videos on the webpage (https://fmindia.cmi.ac.in/update2021/) portal. This is your kind information. Thanks Best regards, Radhakrishnan Delhibabu