Showing content from https://en.wikipedia.org/wiki/Alonzo_Church_Award below:
ACM SIGLOG - Wikipedia
From Wikipedia, the free encyclopedia
Research association in computer science
ACM SIGLOG or SIGLOG is the Association for Computing Machinery Special Interest Group on Logic and Computation. It publishes a news magazine (SIGLOG News), and has the annual ACM–IEEE Symposium on Logic in Computer Science (LICS) as its flagship conference.[1] In addition, it publishes an online newsletter, the SIGLOG Monthly Bulletin (formerly the LICS Newsletter),[2] and "maintains close ties" with the related academic journal ACM Transactions on Computational Logic.[3]
The creation of this special interest group was suggested in 2007 by Moshe Vardi and Dana Scott, and Vardi was the primary author of a more detailed proposal for its creation. It was founded in 2014, with Prakash Panangaden as its founding chair, and with Andrzej Murawski as the founding editor of the newsletter.[1][4]
Alonzo Church Award[edit]
In 2015, SIGLOG established, in cooperation with EATCS, EACSL and the Kurt Gödel Society, the Alonzo Church Award for Outstanding Contributions to Logic and Computation.[5] The list of past award winners is maintained by the EACSL.[6][7]
- 2016 Rajeev Alur and David Dill "for their invention of timed automata, a decidable model of real-time systems, which combines a novel, elegant, deep theory with widespread practical impact."
- 2017 Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria, Martin Hyland, Luke Ong, and Hanno Nickau "for providing a fully-abstract semantics for higher-order computation through the introduction of game models, thereby fundamentally revolutionising the field of programming language semantics, and for the applied impact of these models."
- 2018 Tomás Feder and Moshe Y. Vardi "for fundamental contributions to the computational complexity of constraint-satisfaction problems."
- 2019 Murdoch J. Gabbay and Andrew M. Pitts for "their ground-breaking work introducing the theory of nominal representations, a powerful and elegant mathematical model for computing with data involving atomic names."
- 2020 Ronald Fagin, Phokion G. Kolaitis, Renée J. Miller, Lucian Popa, and Wang-Chiew Tan for "their ground-breaking work on laying the logical foundations for data exchange."
- 2021 Georg Gottlob, Christoph Koch, Reinhard Pichler, Klaus U. Schulz, and Luc Segoufin for "fundamental work on logic-based web data extraction and querying tree-structured data."
- 2022 Dexter Kozen for "his fundamental work on developing the theory and applications of Kleene Algebra with Tests, an equational system for reasoning about iterative programs".
- 2023 Lars Birkedal, Aleš Bizjak, Derek Dreyer, Jacques-Henri Jourdan, Ralf Jung, Robbert Krebbers, Filip Sieczkowski, Kasper Svendsen, David Swasey and Aaron Turon "for the design and implementation of Iris, a higher-order concurrent separation logic framework."
- 2024 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."
- 2025 Paul Blain Levy, "for his fundamental study of effectful λ-calculi through the call-by-push-value calculus."
- ^ a b Panangaden, Prakash (July 2014), "Welcome to SIGLOG!", Chair's Letter, SIGLOG News, 1 (1): 2–3.
- ^ "SIGLOG Monthly Bulletin", SIGLOG Monthly Bulletin, 168, March 1, 2015.
- ^ Official website, accessed 2015-08-13.
- ^ Siekmann, Jörg M. (2014), "Computational logic", in Gabbay, Dov M.; Siekmann, Jörg M.; Woods, John (eds.), Handbook of the History of Logic, vol. 9: Computational Logic, North-Holland/Elsevier, pp. 15–30. See in particular p. 29.
- ^ "NOTICES". The Bulletin of Symbolic Logic. 23 (4): 540–545. 2017. ISSN 1079-8986.
- ^ "Alonzo Church Award". European Association for Theoretical Computer Science. Retrieved 2022-04-23.
- ^ "Previous Awards – EACSL". Retrieved 2021-11-13.
RetroSearch is an open source project built by @garambo
| Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4