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). _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
