Invited Speakers

Confirmed Invited Speakers:

• - Parosh Abdulla, Uppsala University (Sweden)
•   On Program Verification under the Release-Acquire Semantics
•  
• - Paul Attie, American University in Beirut (Lebanon)
•   How to structure your concurrent program and its verification
•  
• - Suresh Jagannathan, Purdue University (USA)
•   Living on the edge, safely or: Life without consensus
•  
• - Somesh Jha, University of Wisconsin (USA)
•   Towards Semantic Adversarial Examples
•  
• - Dariusz Kowalski, University of Liverpool (UK)
•   On the complexity of fault-tolerant consensus
•  
• - Marc Shapiro, INRIA Paris (France)
•   Living on the edge, safely or: Life without consensus