• ACM SIGLOG or SIGLOG is the Association for Computing Machinery Special Interest Group on Logic and Computation. It publishes a news magazine (SIGLOG...
    4 KB (470 words) - 16:23, 20 August 2024
  • Thumbnail for Prakash Panangaden
    black holes. He is the founding Chair of the ACM Special Interest Group on Logic and Computation (ACM SIGLOG). Prakash Panangaden was born in Pune, India...
    9 KB (902 words) - 16:59, 22 May 2025
  • Computing Machinery Special Interest Group for Logic and Computation (ACM SIGLOG), the European Association for Theoretical Computer Science (EATCS), the...
    24 KB (2,245 words) - 02:40, 27 February 2025
  • impact factor of 0.625. ACM SIGLOG, ACM's Special Interest Group on Computational Logic "Editorial Board". Retrieved 2022-06-11. "ACM Transactions on Computational...
    2 KB (113 words) - 21:10, 18 August 2024
  • The Association for Computing Machinery (ACM) is a US-based international learned society for computing. It was founded in 1947 and is the world's largest...
    42 KB (4,053 words) - 08:56, 24 May 2025
  • ISBN 978-1-4020-1730-8. Levy, Paul Blain (April 2022). "Call-by-push-value". ACM SIGLOG News. 9 (2): 7–29. doi:10.1145/3537668.3537670. Pédrot, Pierre-Marie;...
    11 KB (1,447 words) - 03:29, 24 March 2025
  • Christoph (2018). "A Survival Guide to Presburger Arithmetic" (PDF). ACM SIGLOG News. 5 (3): 67–82. doi:10.1145/3242953.3242964. S2CID 51847374. Hoang,...
    24 KB (3,249 words) - 21:25, 22 May 2025
  • ACM Computing Surveys is peer-reviewed quarterly scientific journal and is published by the Association for Computing Machinery. It publishes survey articles...
    2 KB (145 words) - 13:14, 8 October 2024
  • the ACM Communications of the ACM RISKS Digest ACM Digital Library ACM Computing Surveys Computers in Entertainment ACM Interactions ACM Queue ACM XRDS...
    3 KB (160 words) - 01:38, 20 April 2023
  • Computation LICS has become the flagship conference of SIGLOG, under the joint sponsorship of ACM and IEEE. From the third installment in 1988 until 2013...
    6 KB (670 words) - 16:42, 28 October 2024
  • Thumbnail for Rajeev Alur
    Computation". SIGLOG. ACM Special Interest Group on Logic and Computation. Retrieved 16 October 2021. "2024 Knuth Prize: Rajeev Alur". ACM Special Interest...
    7 KB (452 words) - 11:08, 21 March 2025
  • Thumbnail for Toniann Pitassi
    (2016), "Algebraic proof complexity: progress, frontiers and challenges", ACM SIGLOG News, 3 (3): 21–43, doi:10.1145/2984450.2984455 Fleming, Noah; Kothari...
    12 KB (990 words) - 03:33, 5 May 2025
  • History of Programming Languages (HOPL) is an infrequent ACM SIGPLAN conference. It has been held in 1978, 1993, 2007, and 2021. HOPL I was held June...
    7 KB (776 words) - 04:13, 28 October 2024
  • (2020-02-24). "Constant delay enumeration for conjunctive queries: a tutorial". ACM SIGLOG News. 7 (1): 4–33. doi:10.1145/3385634.3385636. S2CID 211521785. Tziavelis...
    5 KB (661 words) - 01:50, 28 May 2025
  • Thumbnail for Moshe Vardi
    2011 Harry H. Goode Memorial Award, the 2018 ACM Special Interest Group for Logic and Computation (SIGLOG), the Distinguished Services Award from the European...
    15 KB (1,205 words) - 09:53, 15 March 2025
  • Thumbnail for Samson Abramsky
    "BCS Academy of Computing | BCS". www.bcs.org. "LICS Test-of-Time Award". siglog.org. "ICALP/LICS/FSCD 2024". compose.ioc.ee. "DServe Archive Catalog Show"...
    13 KB (1,187 words) - 04:37, 28 May 2025
  • Thumbnail for Frank Pfenning
    the original on 2015-12-09, retrieved 2015-12-10. "LICS - Archive". lics.siglog.org. Retrieved 2019-09-27. "CMU Squash Ladder". Archived from the original...
    5 KB (328 words) - 08:29, 31 March 2025
  • "LICS - Archive". lics.siglog.org. "Teyjus". Miller, Dale; Tiu, Alwen (October 1, 2005). "A proof theory for generic judgments". ACM Transactions on Computational...
    13 KB (1,356 words) - 14:24, 16 September 2024
  • outstanding contributions to logic, from the ACM Special Interest Group for Logic and Computation (SIGLOG), the European Association for Theoretical Computer...
    12 KB (1,230 words) - 09:30, 19 February 2025
  • Thumbnail for List of computer science awards
    Award, Encyclopædia Britannica". 17 April 2024. ACM SIGARCH Alan D. Berenbaum Distinguished Service Award, ACM SIGARCH, 8 July 2011, retrieved 2020-01-27 "Notices"...
    34 KB (859 words) - 07:35, 25 May 2025