[🏆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/