ACM SIGLOG

ACM SIGLOG

ACM SIGLOG 또는 SIGLOG는 논리 및 계산 관련 컴퓨터 관련 Association for Computing Machine Special Interest Group입니다.뉴스 매거진(SIGLOG News)을 발행하고 있으며, 대표 [1]컨퍼런스로 매년 ACM-IEEE 심포지엄(LICS)을 개최하고 있습니다.또, 온라인 뉴스레터 「SIGLOG Monthly Bulletter(구 LICS 뉴스레터)」[2]를 발행해, 관련 학술지 「ACM Transactions on Computational Logic」[3]와 「친밀한 관계를 유지하고 있습니다.

이 특별 이익 단체의 설립은 2007년 Moshe Vardi와 Dana Scott에 의해 제안되었고, Vardi는 그 설립에 대한 보다 상세한 제안의 주요 저자였다.2014년 프라카시 파낭가덴을 창립 의장으로, 안제이 무라우스키를 뉴스레터의 [1][4]창립 편집자로 하여 설립되었습니다.

알론조 교회상

2015년 SIGLOG는 EATCS, EACSL 및 Kurt Gödel Society와 협력하여 논리 및 계산에 [5]대한 탁월한 기여에 대한 Alonzo Church Award를 제정했습니다.과거 수상자 명단은 [6][7]EACSL에 의해 관리된다.

  • 2016년 Rajeev Alur와 David Dill은 "신기하고 우아하며 깊은 이론과 광범위한 실제 효과를 결합한 결정 가능한 실시간 시스템 모델인 타임 오토마타의 발명을 위해"
  • 2017 Samson Abramsky, Radha Jagadein, Pasquale Malacaria, Martin Hyland, Luke Ong 및 Hanno Nickau는 "게임 모델의 도입을 통해 고차 연산을 위한 완전한 추상적 의미론을 제공함으로써 프로그래밍 언어 의미론 분야를 근본적으로 혁신하고 이러한 영향 모델의 적용에 기여했습니다."
  • 2018년 토마스 페더와 모셰 Y. 바르디 "제약 만족 문제의 계산 복잡성에 대한 근본적인 기여"
  • 2019년 Murdoch J. Gabbay와 Andrew M. Pitts는 "원자 이름을 포함한 데이터를 계산하는 강력하고 우아한 수학 모델인 명목 표현 이론을 도입한 획기적인 연구"를 발표했습니다.
  • 2020년 Ronald Fagin, Phokion G. Kolaitis, René J. Miller, Lucian Popa 및 Wang-Chiew Tan은 "데이터 교환의 논리적 기반을 구축하기 위한 획기적인 연구"를 발표했습니다.
  • 2021 Georg Gottlob, Christoph Koch, Reinhard Pichler, Klaus U. Schulz 및 Luc Segoufin은 "논리 기반 웹 데이터 추출 및 트리 구조화 데이터 쿼리에 관한 기초적인 작업"에 대해 설명합니다.

레퍼런스

  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. ^ 공식 웹사이트, 2015-08-13에 접속.
  4. ^ 특히 29페이지를 참조해 주세요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.
  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.