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 (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

Proceedings

SpringerLNCS

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

Partners & Sponsors

SponsorsNETYS28