Alonzo Church Award 2024
16 views
Skip to first unread message
Joao Marcos
Jun 7, 2024, 1:45:55 PMJun 7
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
The European Association for Computer Science Logic (EACSL), the
European Association for Theoretical Computer Science (EATCS), and the
ACM Special Interest Group for Logic and Computation (SIGLOG) are
pleased to announce that the 2024 Alonzo Church Award for Outstanding
Contributions to Logic and Computation is presented jointly to
Thomas Ehrhard and Laurent Regnier
for giving a logical and computational account of differentiation,
bringing Taylor expansion to the Curry-Howard correspondence, which
had a major impact on programming language semantics.
https://www.eacsl.org/alonzo-church-award/
European Association for Theoretical Computer Science (EATCS), and the
ACM Special Interest Group for Logic and Computation (SIGLOG) are
pleased to announce that the 2024 Alonzo Church Award for Outstanding
Contributions to Logic and Computation is presented jointly to
Thomas Ehrhard and Laurent Regnier
for giving a logical and computational account of differentiation,
bringing Taylor expansion to the Curry-Howard correspondence, which
had a major impact on programming language semantics.
https://www.eacsl.org/alonzo-church-award/
Reply all
Reply to author
Forward
0 new messages