<!DOCTYPE html>
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body
style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
Al futuro Honoris Causa de CCC le acaban de otorgar un premio
importante en su área de estudio<br>
Por cierto ya le avisaron?<br>
saludos<br>
Eduardo<br>
<div class="moz-forward-container"><br>
<br>
-------- Forwarded Message --------
<table cellpadding="0" cellspacing="0" border="0"
class="moz-email-headers-table">
<tbody>
<tr>
<th valign="BASELINE" align="RIGHT" nowrap="nowrap">Subject:
</th>
<td>Fwd: Prize for Innovation in Distributed Computing 2025</td>
</tr>
<tr>
<th valign="BASELINE" align="RIGHT" nowrap="nowrap">Date: </th>
<td>Wed, 23 Oct 2024 16:13:09 +0200</td>
</tr>
<tr>
<th valign="BASELINE" align="RIGHT" nowrap="nowrap">From: </th>
<td>Sergio Rajsbaum <a class="moz-txt-link-rfc2396E" href="mailto:sergio.rajsbaum@gmail.com"><sergio.rajsbaum@gmail.com></a></td>
</tr>
<tr>
<th valign="BASELINE" align="RIGHT" nowrap="nowrap">To: </th>
<td><a class="moz-txt-link-abbreviated" href="mailto:emorales@inaoep.mx">emorales@inaoep.mx</a>, <a class="moz-txt-link-abbreviated" href="mailto:mlarraga@gmail.com">mlarraga@gmail.com</a></td>
</tr>
</tbody>
</table>
<br>
<br>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<br id="lineBreakAtBeginningOfMessage">
<div><br>
<blockquote type="cite">
<div>Begin forwarded message:</div>
<br class="Apple-interchange-newline">
<div
style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;"><span
style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif; color:rgba(0, 0, 0, 1.0);"><b>From:
</b></span><span
style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif;">Keren
Censor-Hillel <a class="moz-txt-link-rfc2396E" href="mailto:ckeren@CS.TECHNION.AC.IL"><ckeren@CS.TECHNION.AC.IL></a><br>
</span></div>
<div
style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;"><span
style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif; color:rgba(0, 0, 0, 1.0);"><b>Subject:
</b></span><span
style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif;"><b>Prize
for Innovation in Distributed Computing 2025</b><br>
</span></div>
<div
style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;"><span
style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif; color:rgba(0, 0, 0, 1.0);"><b>Date:
</b></span><span
style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif;">23
October 2024 at 09:00:36 CEST<br>
</span></div>
<div
style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;"><span
style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif; color:rgba(0, 0, 0, 1.0);"><b>To:
</b></span><span
style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif;"><a class="moz-txt-link-abbreviated" href="mailto:PODC@LISTSERV.ACM.ORG">PODC@LISTSERV.ACM.ORG</a><br>
</span></div>
<div
style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;"><span
style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif; color:rgba(0, 0, 0, 1.0);"><b>Reply-To:
</b></span><span
style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif;">Keren
Censor-Hillel <a class="moz-txt-link-rfc2396E" href="mailto:ckeren@CS.TECHNION.AC.IL"><ckeren@CS.TECHNION.AC.IL></a><br>
</span></div>
<br>
<div>
<meta charset="UTF-8">
<div class="WordSection1"
style="page: WordSection1; caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 36px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;">
<div
style="margin: 0cm; font-size: 12pt; font-family: Aptos, sans-serif;"><span
lang="EN-US">Prize for Innovation in Distributed
Computing 2025:<o:p></o:p></span></div>
<div
style="margin: 0cm; font-size: 12pt; font-family: Aptos, sans-serif;"><span
lang="EN-US"><o:p> </o:p></span></div>
<div
style="margin: 0cm; font-size: 12pt; font-family: Aptos, sans-serif;"><span
lang="EN-US">We are pleased to announce that the 2025
Prize for Innovation in Distributed Computing is
awarded to Sergio Rajsbaum from the<span
class="Apple-converted-space"> </span></span>Instituto
de Matematicas, Universidad Nacional Autonoma de Mexico
(UNAM)<span lang="EN-US">. Sergio has been a major
contributor to the field of Distributed Computing
since its early days, with numerous publications of
breakthrough results. These include 17 papers in
SIROCCO throughout the years.<o:p></o:p></span></div>
<div
style="margin: 0cm; font-size: 12pt; font-family: Aptos, sans-serif;"><span
lang="EN-US"><o:p> </o:p></span></div>
<div
style="margin: 0cm; font-size: 12pt; font-family: Aptos, sans-serif;"><span
lang="EN-US">Sergio has played a central role in
developing the theory of distributed computing, in
particular, in developing and using the topological
approach as described in his "ACM Notable Books of the
Year"-listed book "Distributed Computing through
Combinatorial Topology", co-authored with Maurice
Herlihy and Dmitry Kozlov. Along with many co-authors,
Sergio has been a leading figure in advancing the
basic wait-free asynchronous read/write shared memory
model to t-resilient models, more powerful shared
memory objects, synchronous or partially synchronous
message-passing models, and dependent or Byzantine
failures. He also introduced novel tasks like loop
agreement and symmetry breaking and developed
fundamental undecidability results on task
solvability. A remarkable feature of Sergio’s research
work is its breadth and the various bridges to other
areas and application domains. Notable examples of the
former are a suite of papers devoted to runtime
verification, his work on interval linearizability,
and his well-cited contributions to condition-based
consensus and layered analysis. Among Sergio's
interdisciplinary work are ground-breaking
publications on simplicial epistemic multi-agent logic
and contributions to robot coordination.<o:p></o:p></span></div>
<div
style="margin: 0cm; font-size: 12pt; font-family: Aptos, sans-serif;"><span
lang="EN-US"><o:p> </o:p></span></div>
<div
style="margin: 0cm; font-size: 12pt; font-family: Aptos, sans-serif;"><span
lang="EN-US">For his pioneering advancements in the
theory of distributed computing, the 2025 Prize for
Innovation in Distributed Computing will hence be
awarded to Sergio Rajsbaum at SIROCCO’25 (June 2-4,
2025) in Delphi, Greece.<o:p></o:p></span></div>
<div
style="margin: 0cm; font-size: 12pt; font-family: Aptos, sans-serif;"><span
lang="EN-US"><o:p> </o:p></span></div>
<div
style="margin: 0cm; font-size: 12pt; font-family: Aptos, sans-serif;"><span
lang="EN-US">The 2025 Award committee:<o:p></o:p></span></div>
<div
style="margin: 0cm; font-size: 12pt; font-family: Aptos, sans-serif;"><span
lang="EN-US"><o:p> </o:p></span></div>
<div
style="margin: 0cm; font-size: 12pt; font-family: Aptos, sans-serif;"><span
lang="EN-US">Keren Censor-Hillel (Technion, Israel)<br>
Yuval Emek (Technion, Israel)<br>
Paola Flocchini (University of Ottawa, Canada)<br>
Merav Parter (Weizmann Institute, Israel)<br>
Christian Scheideler (University of Paderborn,
Germany)<br>
<br>
<o:p></o:p></span></div>
<div
style="margin: 0cm; font-size: 12pt; font-family: Aptos, sans-serif;"><span
lang="EN-US"><o:p> </o:p></span></div>
</div>
<br
style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 36px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;">
<hr
style="font-family: Helvetica; font-size: 36px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;">
<p
style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 36px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;">Unsubscribe:</p>
<p
style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 36px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;"><a
href="mailto:PODC-signoff-request@LISTSERV.ACM.ORG"
moz-do-not-send="true" class="moz-txt-link-freetext">PODC-signoff-request@LISTSERV.ACM.ORG</a></p>
<p
style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 36px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;">If
you don't already have a password for the<span
class="Apple-converted-space"> </span><a
href="http://listserv.acm.org/" moz-do-not-send="true">LISTSERV.ACM.ORG</a><span
class="Apple-converted-space"> </span>server, we
recommend that you create one now. A LISTSERV password is
linked to your email address and can be used to access the
web interface and all the lists to which you are
subscribed on the<span class="Apple-converted-space"> </span><a
href="http://listserv.acm.org/" moz-do-not-send="true">LISTSERV.ACM.ORG</a><span
class="Apple-converted-space"> </span>server.</p>
<p
style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 36px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;">To
create a password, visit:</p>
<p
style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 36px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;"><a
href="https://listserv.acm.org/SCRIPTS/WA-ACMLPX.CGI?GETPW1"
moz-do-not-send="true">https://LISTSERV.ACM.ORG/SCRIPTS/WA-ACMLPX.CGI?GETPW1</a></p>
<p
style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 36px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;">Once
you have created a password, you can log in and view or
change your subscription settings at:</p>
<p
style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 36px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;"><a
href="https://listserv.acm.org/SCRIPTS/WA-ACMLPX.CGI?SUBED1=PODC"
moz-do-not-send="true">https://LISTSERV.ACM.ORG/SCRIPTS/WA-ACMLPX.CGI?SUBED1=PODC</a></p>
</div>
</blockquote>
</div>
<br>
</div>
</body>
</html>