Dear colleagues, I’m very glad to hear that Paul Blain Levy has won the 2025 Alonzo Church Award for Outstanding Contributions to Logic and Computation, for Call-By-Push-Value. See the announcement here: https://siglog.org/winner-of-the-2025-alonzo-church-award/, from which I quote below:
Initiated by Alonzo Church, the research programme into the λ-calculus as an abstract model of computation has spurred volumes of fundamental research in logic and computation. By the end of the 20th century, the studies of the λ-calculus in its purely logical form and its applied effectful form bifurcated. In an outstanding contribution, Levy has reunited the many existing research streams into the study of one subsuming calculus: Call-by-Push-Value (CBPV). Levy developed and presented an extraordinarily large body of evidence spanning a cross-section of the semantic theory of the λ-calculus and its application to programming language modelling, including: algebraic datatypes, operational semantics, denotational semantics, and equational theories. To date, CBPV remains a unifying starting point in the study of computational and logical phenomena, including: effects, polarisation, term normalisation, type-isomorphisms, and program transformations. In addition to its scientific contribution, the nominated monograph is a unique access-point into the culmination of decades of logic and programming language semantics.
— A well-deserved distinction—congratulations, Paul! Best, Jon You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>