[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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).
