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)

Dates

All deadlines are at 23:59 AoE

March 9, 2023 March 22, 2023

Abstract submission deadline

March 16, 2023 March 29, 2023

Paper submission deadline

April 27, 2023

Accept/Reject notification

May 11, 2023

Camera ready copy due

May 22-24, 2023

Conference

Proceedings

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

Partners & Sponsors