PODC Archives

ACM PODC Participants List

PODC@LISTSERV.ACM.ORG

Options: Use Forum View

Use Monospaced Font
Show HTML Part by Default
Condense Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Message-ID:
Sender:
ACM PODC Participants List <[log in to unmask]>
Subject:
From:
"William Moses Jr." <[log in to unmask]>
Date:
Fri, 30 Apr 2021 10:56:49 -0500
Content-Type:
multipart/alternative; boundary="00000000000083a5d605c132a98c"
MIME-Version:
1.0
Reply-To:
"William Moses Jr." <[log in to unmask]>
Parts/Attachments:
text/plain (939 bytes) , text/html (3120 bytes)
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

------
Regards,
William K. Moses Jr.
Publicity Chair, PODC 2021
https://sites.google.com/view/wkmjr

############################

Unsubscribe:

https://optout.acm.org/unsubscribe.cfm?rl=PODC&RE=&UEMAIL;


ATOM RSS1 RSS2