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

[Natarajan Shankar]

                                                         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).