Jump to content

ACM SIGLOG

From Wikipedia, the free encyclopedia
(Redirected from Alonzo Church Award)

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".

References

[edit]
  1. ^ a b Panangaden, Prakash (July 2014), "Welcome to SIGLOG!", Chair's Letter, SIGLOG News, 1 (1): 2–3.
  2. ^ "SIGLOG Monthly Bulletin", SIGLOG Monthly Bulletin, 168, March 1, 2015.
  3. ^ Official website, accessed 2015-08-13.
  4. ^ 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.
  5. ^ "NOTICES". The Bulletin of Symbolic Logic. 23 (4): 540–545. 2017. ISSN 1079-8986.
  6. ^ "Alonzo Church Award". European Association for Theoretical Computer Science. Retrieved 2022-04-23.
  7. ^ "Previous Awards – EACSL". Retrieved 2021-11-13.