Invited Speakers


1 – Scaling Z3 in Azure (Abstract)
Nikolaj Bjorner (Bio), Microsoft Research Redmond (USA)

2 – Networks at work in the Aerospace Industry (Abstract)
Christophe Diot (Bio), Safran Analytics (France)

3 – Clubs, Coins, and Crowds: Fairness and Decentralization in Blockchains and Cryptocurrencies (Abstract)
Bryan Ford (Bio), EPFL (Switzerland)

4 – Blockchains and the Future of Distributed Computing (Abstract)
Maurice Herlihy (Bio), Brown University (USA)

5 – Pretend Synchrony: Synchronous Verification of Asynchronous Programs (Abstract)
Ranjit Jhala (Bio), UC San Diego (USA)

6 – Recommenders: from the lab to the wild (Abstract)
Anne-Marie Kermarrec (Bio), Mediego, Inria (France), EPFL (Switzerland)

7 – Safety Verification of Deep Neural Networks (Abstract)
Marta Kwiatkowska (Bio), University of Oxford (UK)

8 – Effective Random Testing for Concurrent and Distributed Programs (Abstract)
Rupak Majumdar (Bio), MPI-SWS Kaiserslautern (Germany)

9 – Program Analyses using Newton’s Method (Abstract)
Thomas Reps (Bio), University of Wisconsin and GrammaTech, Inc. (USA)

10 – Authentication Mechanisms for Resource-Constrained IoT Devices (Abstract)
Aruna Seneviratne, University of New South Wales (Australia)

11 – Optimistic and pessimistic synchronization for data structures for in-memory stores (Abstract)
Liuba Shrira (Bio), Brandeis University (USA)

12 -Diagnosis of Internet Quality of Experience in Home Networks (Abstract)
Renata Teixeira (Bio), INRIA Paris (France)


March 5th, 2021 @23:59 HST

Abstract submission deadline

March 12th, 2021 @23:59 HST

Paper submission deadline

April 26th, 2021

Acceptance notification

May 3rd, 2021 @23:59 HST

Camera ready copy due

May 10th, 2021 @23:59 HST

Pre-recorded talk

May 19th-21st, 2021

Online Conference with pre-recorded talks


Revised selected papers will be published as a post-proceedings in Springer's LNCS "Lecture Notes in Computer Science"

Partners & Sponsors