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 – To be announced
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 – Optimistic and pessimistic synchronization for data structures for in-memory stores (Abstract)
Liuba Shrira (Bio), Brandeis University (USA)

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

Dates (New)

February 04, 2018

Abstract submission deadline

February 11, 2018

Paper submission deadline

March 26, 2018

Acceptance notification

April 04, 2018

Camera ready copy due



The proceedings of the conference will be published in Springer’s Lecture Notes in Computer Science

Partners & Sponsors (Pending)