Prix Alonzo-Church

Prix Alonzo-Church
annuel
Nom original Alonzo Church Award for Outstanding Contributions to Logic and Computation
Prix remis Certificat et 2 000 USD (à partager)
Organisateur SIGLOG
EATCS
EACSL
Société Kurt Gödel (KGS)
Date de création 2015, première attribution 2016
Site officiel Site de l'EATCS
Site de l'EACSL
Site de SIGLOG (ACM)
modifier 

Le prix Alonzo-Church est un prix annuel, aussi appelé « Alonzo Church Award for Outstanding Contributions to Logic and Computation », soit « prix Alonzo Church pour des contributions exceptionnelles en logique et calcul » créé en 2015 par le ACM Special Interest Group for Logic and Computation (SIGLOG), l'EATCS, l’Association européenne pour la logique en informatique (EACSL) et la société Kurt Gödel (KGS). Il porte le nom du mathématicien et logicien Alonzo Church, l'un des fondateurs de l'informatique théorique.

Description

Le prix récompense une contribution exceptionnelle représentée par un article ou un petit groupe d'articles durant les 25 dernières années. Ce laps de temps permet de réaliser l'impact et la profondeur de la contribution.

Le prix est remis en alternances aux conférences Logic in Computer Science (LICS), Computer Science Logic (CSL) et ICALP qui sont les conférences principales de SIGLOG, EACSL et EATCS ; il a été décerné pour la première fois en 2016.

Liste des lauréats

Année Lauréats Lieu Laudatio
2016 Rajeev Alur et David L. Dill LICS (New York) « pour leur invention des automates temporisés, un modèle décidable de systèmes temps réel, qui combine une théorie nouvelle, élégante et profonde avec un impact pratique généralisé. »,
2017 Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria, Martin Hyland, C.-H. Luke Ong et Hanno Nickau CSL (Stockholm) « pour avoir fourni une sémantique abstraite pour le calcul d'ordre supérieur par l'introduction de modèles de jeux, révolutionnant ainsi fondamentalement le domaine de la sémantique des langages de programmation et pour l'impact de ces modèles dans les applications. »,,,
2018 Tomás Feder et Moshe Vardi FLoC (Oxford) « pour leurs contributions fondamentales à la complexité informatique des problèmes de satisfaction des contraintes »,,
2019 Murdoch J. Gabbay et Andrew M. Pitts ICALP (Patras) « pour leur introduction de la théorie des représentations nominales, un modèle mathématique puissant et élégant pour calculer avec des données impliquant des noms atomiques »,,.
2020 Ronald Fagin, Phokion G. Kolaitis (en), Renée Miller (en), Lucian Popa et Wang-Chiew Tan (en) Ljubljana « pour leurs travaux novateurs jetant les bases logiques de l'échange de données »,,
2021 Georg Gottlob, Christoph Koch, Reinhard Pichler, Klaus U. Schulz et Luc Segoufin Rome « pour leurs travaux fondamentaux sur l'extraction de données Web basée sur la logique et l'interrogation de données structurées en arbre »,,,,
2022 Dexter Kozen Haïfa « pour son travail fondamental sur le développement de la théorie et des applications des algèbres de Kleene avec tests, un système équationnel pour le raisonnement sur les programmes itératifs »,
2023 Lars Birkedal, Aleš Bizjak, Derek Dreyer, Jacques-Henri Jourdan, Ralf Jung, Robbert Krebbers, Filip Sieczkowski, Kasper Svendsen, David Swasey et Aaron Turon Paderborn « pour la conception et l'implémentation d'Iris, un framework pour une logique de séparation d'ordre supérieur. »
2024 Thomas Ehrhard et Laurent Regnier Tallinn « pour avoir donné une explication logique et informatique de la différenciation, introduisant le développement de Taylor dans la correspondance Curry-Howard, ce qui a eu un impact majeur sur la sémantique des langages de programmation »
2025 Paul Blain Levy « pour son étude fondamentale des λ-calculs effectifs par le biais du calcul Call-by-Push-Value »

Articles distingués

  1. ↑ Rajeev Alur et David Dill, « A theory of timed automata », Theoretical Computer Science, vol. 126, no 2,‎ , p. 183–235
  2. ↑ Samson Abramsky, Radha Jagadeesan et Pasquale Malacaria, « Full Abstraction for PCF », Information and Computation, vol. 163, no 2,‎ , p. 409-470.
  3. ↑ J. M. E. Hyland et C.-H. Luke Ong, « On Full Abstraction for PCF: I, II, et III. », Information and Computation, vol. 163, no 2,‎ , p. 285-408.
  4. ↑ Hanno Nickau, « Hereditarily sequential functionals », dans A. Nerode et Yu.V. Matiyasevich (éditeurs), Proc. Symp. Logical Foundations of Computer Science: Logic at St. Petersburg, Springer-Verlag, coll. « Lecture Notes in Computer Science (en) » (no 813), , 253-264 p..
  5. ↑ Tomas Feder et Moshe Y. Vardi, « Monotone Monadic SNP and Constraint Satisfaction », STOC,‎ , p. 612-622
  6. ↑ Tomas Feder et Moshe Y. Vardi, « The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory », SIAM J. Comput., vol. 28, no 1,‎ , p. 57-104.
  7. ↑ Murdoch J. Gabbay et Andrew M. Pitts, « A new approach to abstract syntax with variable binding », Formal Aspects of Computing, vol. 13, no 3,‎ , p. 341-363.
  8. ↑ Andrew M. Pitts, « Nominal logic, a first order theory of names and binding », Information and Computation, vol. 186, no 2,‎ , p. 165-193.
  9. ↑ Ronald Fagin, Phokion G. Kolaitis, Lucian Popa et Renée J. Miller, « Data exchange: Semantics and Query Answering », Theoretical Computer Science, vol. 336, no 1,‎ , p. 89-124.
  10. ↑ Ronald Fagin, Phokion G. Kolaitis, Lucian Popa et Wang Chiew Tan, « Composing Schema Mappings: Second-Order Dependencies to the Rescue », ACM Transactions on Database Systems, vol. 30, no 4,‎ , p. 994-1055.
  11. ↑ Georg Gottlob et Christoph Koch, « Monadic Datalog and the Expressive Power of Languages for Web Information Extraction », Journal of the ACM, vol. 51, no 1,‎ , p. 74-113.
  12. ↑ Georg Gottlob, Christoph Koch et Klaus U. Schulz, « Conjunctive Queries Over Trees », Journal of the ACM, vol. 53, no 2,‎ , p. 238-272.
  13. ↑ Georg Gottlob, Christoph Koch et Reinhard Pichler, « Efficient Algorithms for Processing XPath Queries », ACM Transactions on Database Systems, vol. 30, no 2,‎ , p. 444-491.
  14. ↑ Georg Gottlob, Christoph Koch, Reinhard Pichler et Luc Segoufin, « The Complexity of XPath Query Evaluation and XML Typing », Journal of the ACM, vol. 52, no 2,‎ , p. 284-335.
  15. ↑ Dexter Kozen, « Kleene algebra with tests. », ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 19, no 3,‎ , p. 427-443.

Références

  1. ↑ The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation
  2. ↑ Winners of the 2017 Alonzo Church Award.
  3. ↑ Winners of the 2018 Alonzo Church Award.
  4. ↑ The Alonzo Church Award 2019.
  5. ↑ The 2020 Alonzo Church Award for Outstanding Contributions to Logic and Computation.
  6. ↑ The 2021 Alonzo Church Award for Outstanding Contributions to Logic and Computation
  7. ↑ (en-US) « Alonzo Church Award – EACSL » (consulté le )
  8. ↑ (en) Ralf Jung, David Swasey, Filip Sieczkowski et Kasper Svendsen, « Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning », POPL '15: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (conférence), ACM,‎ , p. 637–650 (ISBN 978-1-4503-3300-9, DOI 10.1145/2676726.2676980, lire en ligne, consulté le ).
  9. ↑ (en-GB) « Winner of the 2024 Alonzo Church Award – ACM Special Interest Group on Logic and Computation » (consulté le )
  10. ↑ « Prix Alonzo-Church 2025 », sur eacsl.org (consulté le )

Liens externes