[🏆Prize]

🎉The 2024 Alonzo Church Award have been attributed to Thomas Ehrhard (Senior Research Scientist at IRIF - @cnrs ) and Laurent Regnier.

Many congratulations to both of them! 👏

Four papers were written by both researchers, and one was written by Thomas Ehrhard.

This award is for an outstanding contribution to #Logic and #Computation represented by a paper or small group of papers within the past 25 years.

#EACSL #EACTS, #SIGLOG

🔗 https://www.eacsl.org/alonzo-church-award/

I made a simple slide.

**Probability in Computer Science**
_PICS: The best PhD School of the Century_
October 14-18, 2024, https://etaps.org/about/fopss-schools/2024/

#pics #PhDschool #sigplan #siglog #etaps2024 #etaps @ETAPSconf @ACM