08:45 – Registration and Welcome Coffee
09:15 – Welcome & Opening: Stéphane Ubeda (Director of Inria Rennes) and Jean-Marc Jézéquel (Director of IRISA)
09:30 – Leslie Lamport: The Bakery Algorithm in 2015
10:05 – Coffee Break
10:55 – Maurice Herlihy: Adding Concurrency to Smart Contracts
11:30 – Sergio Rajsbaum: Tasks, algorithms, and models of distributed computing with Michel (together with other colleagues)
12:05 – Lunch
13:45 – Yoram Moses: Indistinguishability, Duality and Necessary Conditions
14:20 – Achour Mostéfaoui: Distributed data structures and consistency criteria
14:55 – Coffee Break
15:45 – Carole Delporte: Détecteurs de défaillance
16:20 – Rachid Guerraoui: A brief history of atomic commitment
16:55 – Surprise
17:30 – Coktail
Speakers – Short Biographies
Leslie Lamport is a principal researcher at Microsoft Research. He is known for fundamental contributions to the theory and practice of distributed and concurrent systems, notably the invention of concepts such as causality and logical clocks, safety and liveness, replicated state machines, and sequential consistency. He is a member of the US National Academy of Sciences (2011) and an ACM Fellow (2014). Leslie Lamport has received a number of prizes and honorary degrees for his work, including the Dijkstra Prize (2000 and 2005), and the IEEE John von Neumann Medal (2008). Leslie Lamport is the 2013 recipient of the ACM A.M. Turing Award, one of the most prestigious award in Computer Science.
Maurice Herlihy is the An Wang Professor of Computer Science at Brown University, where he has been a member of the faculty since 1994. He has contributed to areas including theoretical foundations of wait-free synchronization, linearizable data structures, applications of combinatorial topology to distributed computing, as well as hardware and software transactional memory. Maurice Herlihy has received a number of national and international accolades for his research, including the Dijkstra Prize (in 2003 and 2012), the Gödel prize (in 2004) and the W. Wallace McDowell Award (2013). He is, among others, a Fellow of the ACM, the National Academy of Engineering, the National Academy of Arts and Sciences, and the National Academy of Inventors.
Sergio Rajsbaum is a Professor at the Institute of Mathematics of Universidad Nacional Autonoma de Mexico (UNAM), which he joined after obtaining a PhD from the Computer Science Department at the Technion – Israeli Institute of Technology in 1991. His main research interests are in the theory of distributed computing, especially issues related to coordination, fault-tolerance, complexity and computability. Sergio Rajsbaum has been Steering Committee member of DISC, LADC, LATIN, and PODC, and Program Chair of LATIN, PODC, SSS and ICDCN.
Yoram Moses is a Professor in the Electrical Engineering Department at the Technion – Israel Institute of Technology. Yoram Moses received a B.Sc. in mathematics from the Hebrew University of Jerusalem in 1981, and a Ph.D. in Computer Science from Stanford University in 1986. He is a co-author of the book Reasoning About Knowledge, and is a winner of the 1997 Gödel Prize in theoretical computer science and the 2009 Dijkstra Prize in Distributed Computing. His major research interests are distributed systems and reasoning about knowledge.
Achour Mostefaoui is Full Professor at the University of Nantes. He is vice-head of the GDD research team (LS2N Lab.). He is a worldwide expert in distributed computing and systems. His research interests include computability, synchronization and fault-tolerance issues in asynchronous fault-prone distributed systems. He has published more than a hundred papers in the major conferences (STOC, PODC, DISC, DSN, ICDCS, IPDPS, SPAA, PPoPP) and journals (JACM, SICOMP, Distributed Computing, IEEE TPDS, IEEE TC, JPDC, JCSS, FGCS) in the distributed computing area. He has been a member of the steering committee and the treasurer of the Distributed Computing Conference (DISC) since 2012.
Carole Delporte is Professor at the University Paris Diderot. Her main research interest is distributed computing, and specifically fault tolerance. She is in particular well known for her theoretical contributions to the fault-tolerant leader election problem in weakly synchronous systems. Carole regularly serves on the technical program committees of the key conferences in her field (PODC, DISC, ICDCS, OPODIS, ICDCN, SSS …). Over the last decade, she has published over 17 publications in refereed international journals (J. ACM, Distributed Computing, TCS, …), and more than 54 in referred international conferences (PODC, DISC, ICDCS, OPODIS, …).
Rachid Guerraoui is Full Professor at École Polytechnique Fédérale de Lausanne (EPFL), and currently visiting professor at the University of Rennes 1. In the past, he has been affiliated with Ecole des Mines of Paris, the Commissariat à l’Energie Atomique, Hewlett Packard Laboratories and the Massachusetts Institute of Technology. He has worked in a variety of aspects of distributed computing, including distributed algorithms and distributed programming languages. He is most well known for his work on (e-)Transactions, epidemic information dissemination and indulgent algorithms. Rachid Guerraoui is the recipient of a Senior Grant from the European Research Council (ERC), a prestigious European award. He is an ACM Fellow and Associate Editor of Journal of the ACM.