2021 Edsger W. Dijkstra Prize in Distributed ComputingThe Edsger W. Dijkstra Prize in Distributed Computing is awarded for outstanding papers on the principles of distributed computing, whose significance and impact on the theory or practice of distributed computing have been evident for at least a decade. It is sponsored jointly by the ACM Symposium on Principles of Distributed Computing (PODC) and the EATCS Symposium on Distributed Computing (DISC). The prize is presented annually, with the presentation taking place alternately at PODC and DISC. The 2021 Dijkstra Prize Award Committee concluded its deliberations and we are happy to announce that the paper CCS Expressions, Finite State Processes, and Three Problems of Equivalence, Paris C. Kanellakis and Scott A. Smolka, Proceedings of the Second Annual ACM Symposium on Principles of Distributed Computing (PODC) 1983, pp. 228-240 has been selected by the committee to receive the Dijkstra Prize this year. Congratulations! The Award Committee 2021: Keren Censor-Hillel, Technion (chair) Pierre Fraigniaud, Université de Paris and CNRS Cyril Gavoille, LaBRI — Université de Bordeaux Seth Gilbert, National University of Singapore Andrzej Pelc, Université du Québec en Outaouais David Peleg, Weizmann Institute of Science |