[FM-India] Isaac Newton Institute Virtual Workshop on "Verified software: From Theory to Practice", 10th May 2021 to 14th May 2021 (Register by April 17)

[Madhavan Mukund]

----- Forwarded message from Natarajan Shankar <shankar at csl.sri.com> -----

Date: Wed, 14 Apr 2021 00:47:17 -0700
From: Natarajan Shankar <shankar at csl.sri.com>
To: "shankar at csl.sri.com" <shankar at csl.sri.com>
Subject: Isaac Newton Institute Virtual Workshop on "Verified software: From
 Theory to Practice",10th May 2021 to 14th May 2021 (Register by April 17)

Isaac Newton Institute Virtual Workshop

Verified Software: From Theory to Practice
10th May 2021 to 14th May 2021

Registration Deadline: April 17, 2021
URL: https://www.newton.ac.uk/event/vsow03

WORKSHOP THEME

Formal methods for the specification and verification of software-intensive systems bridge the gap between theory and applications. Verification techniques have to be tuned to application areas such as concurrency, cyber-physical systems, distributed systems, machine learning, computer security, networks, and programming languages. The INI Virtual Workshop is a precursor event to the program on Verified Software. It will involve an intensive exchange of ideas between researchers facing the challenges of cutting-edge applications and theoreticians armed with the conceptual tools to potentially address these challenges.

SPEAKERS:
Amal Ahmed (Northeastern), Jade Alglave (ARM/UCL), Rajeev Alur (Penn), Karthikeyan Bhargavan (INRIA), Ahmed Bouajjani (Paris 7), Adam Chlipala (MIT), Veronique Cortier (LORIA Nancy), Javier Esparza (TU Munich), Aarti Gupta (Princeton), Thomas Henzinger (IST Austria), Maurice Herlihy (Brown), Sir Tony Hoare, Justin Hsu (Wisconsin), Zachary Kincaid (Princeton), Marta Kwiatkowska (Oxford), P. Madhusudhan (UIUC), Rupak Majumdar (Max Planck Institute), Annabelle McIver (Macquarie), Anca Muscholl (Bourdeaux), Pavithra Prabhakar (Kansas), Jean-Francois Raskin (Université Libre de Bruxelles), Ilya Sergey (Yale-NUS), Sanjit Seshia (UC Berkeley), Alexandra Silva (UCL), Victor Vafeiadis (MPI-SWS), Martin Vechev (ETH Zurich), Hongseok Yang (KAIST).


----- End forwarded message -----