Théo Winterhalter, chercheur au LMF, reçoit un Distinguished-Paper Award à la conférence POPL 2026 (Symposium on Principles of Programming Languages) pour l'article :
"Encode the Cake and Eat It Too: Controlling Computation in Type Theory, Locally" Yann Leray, Théo Winterhalter dl.acm.org/doi/10.1145/3776704
À propos du prix
At most 10% of the accepted papers of POPL 2026 will be designated as Distinguished Papers. This award highlights papers that the Review Committee thinks should be read by a broad audience due to their relevance, originality, significance, and clarity. The selection of the distinguished papers will be made based on the final version of the paper and through an additional review process.
Toutes nos félicitations à Théo Winterhalter et Yann Leray pour cette reconnaissance !