ACM SIGLOG
ACM SIGLOGorSIGLOGis theAssociation for Computing MachinerySpecial Interest Groupon Logic and Computation. It publishes a news magazine (SIGLOG News), and has the annualACM-IEEE Symposium on Logic in Computer Science (LICS)as its flagship conference.[1]In addition, it publishes an online newsletter, theSIGLOG Monthly Bulletin(formerly theLICS Newsletter),[2]and "maintains close ties" with the related academic journalACM Transactions on Computational Logic.[3]
The creation of this special interest group was suggested in 2007 byMoshe VardiandDana Scott,and Vardi was the primary author of a more detailed proposal for its creation. It was founded in 2014, withPrakash Panangadenas 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 withEATCS,EACSLand theKurt Gödel Society,theAlonzo Church Award for Outstanding Contributions to Logic and Computation.[5]The list of past award winners is maintained by the EACSL.[6][7]
- 2016Rajeev AlurandDavid 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."
- 2017Samson 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 andMoshe 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."
- 2020Ronald Fagin,Phokion G. Kolaitis,Renée J. Miller,Lucian Popa, andWang-Chiew Tanfor "their ground-breaking work on laying the logical foundations for data exchange."
- 2021Georg 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."
- 2022Dexter Kozenfor "his fundamental work on developing the theory and applications of Kleene Algebra with Tests, an equational system for reasoning about iterative programs".
References
[edit]- ^abPanangaden, 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", inGabbay, 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 particularp. 29.
- ^"NOTICES".The Bulletin of Symbolic Logic.23(4): 540–545. 2017.ISSN1079-8986.
- ^"Alonzo Church Award".European Association for Theoretical Computer Science.Retrieved2022-04-23.
- ^"Previous Awards – EACSL".Retrieved2021-11-13.