🏆 This year, the Alonzo Church Award (#EACSL) honored Thomas Ehrhard, @cnrs director at IRIF, and Laurent Regnier, professor at Aix-Marseille Université and member of the Institut de Mathématiques de Marseille.
This award distinguishes five of their articles and recognizes the importance of their work on #lambda calculus.
👉 Read the interview with Thomas Ehrhard, co-winner of the 2024 Alonzo Church Award, to get an insight into the journey of their research.
[🏆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.
[🏆 Award]
Congratulations to Quentin Aristote, who won the Helena Rasiowa prize for the best student paper at the 32nd #EACSL conference! 👏
Active Learning of Deterministic Transducers with Outputs in Arbitrary Monoids: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2024.11
"We study monoidal transducers, transition systems arising as deterministic automata whose transitions also produce outputs in an arbitrary monoid, for instance allowing outputs to commute or to cancel out. [...]"
IRIF
CNRS