오토마타, 언어 및 프로그래밍에 관한 국제 토론회

International Colloquium on Automata, Languages and Programming
오토마타, 언어 및 프로그래밍에 관한 국제 토론회
줄임말ICALP
규율이론 컴퓨터 공학
발행 상세
출판인리픽스
역사1972–
빈도수.연간(1976년 이후)
네.

ICALP(International Spokium on Automata, Languages, and Programming)는 유럽 이론 컴퓨터 과학 협회가 매년 주최하는 학술 회의로 유럽 각지에서 개최되고 있습니다.대부분의 이론 컴퓨터 사이언스 컨퍼런스와 마찬가지로 그 공헌도 동료 검토에 의해 강력하게 이루어집니다.이 기사들은 Springer에 의해 컴퓨터 과학 강의 노트에 게재되었지만, 2016년부터는 Leibniz International Proceedings in Informatics에 [1]의해 출판됩니다.

ICALP 컨퍼런스 시리즈는 1972년 프랑스 파리에서 최초의 ICALP를 조직한 모리스 니바트에 [2]의해 설립되었다.제2회 ICALP는 1974년에 개최되어 1976년부터 매년 개최되고 있으며, 현재는 보통 7월에 개최되고 있습니다.

1999년 이후, 컨퍼런스는 "알고리즘, 복잡성 및 게임"(트랙 A)과 "자동, 논리, 의미론, 프로그래밍 이론"(트랙 B)의 두 트랙으로 주제적으로 나뉘어져 (적어도 2005년까지) 저널의 두 개의 메인 스트림에 대응했다.2005년 회의부터는 특정 주제에 대해 보다 깊이 다룰 수 있도록 세 번째 트랙(Track C)이 추가되었습니다.2005년부터 2008년까지 세 번째 트랙은 "보안 및 암호화 재단"에 할당되었으며, 2009년에는 "네트워크 컴퓨팅 기반:모델, 알고리즘 및 정보 관리"입니다.트랙 C는 2020년 컨퍼런스에서 제외되었으며, 이러한 영역의 제출이 트랙 A에 제출되도록 초대되었습니다.COVID-19 대유행으로 인해 2020년 회의는 사실상 처음으로 개최되었으며(원래는 중국 베이징에서 개최될 예정이었으나 나중에 [3]독일 자르브뤼켄으로 이동) 이례적이었다.ICALP 2021도 사실상 개최되었습니다.

괴델상

주요 기사: Gödel Prize

EATCS와 ACM SIGACT가 공동으로 수여하는 이론 컴퓨터 공학의 우수 논문 상인 괴델상은 2년마다 ICALP에서 수여됩니다.매년 수여되는 상은 STOC(ACM Symposium on Theory of Computing)와 번갈아 수여됩니다.

「 」를 참조해 주세요.

레퍼런스

  1. ^ 2014년 11월 18일 SoCG 운영위원회 위원장 Jeff Erickson에 의한 투고.또, EATCS의 사장 Luca Acto의 ICALP에 관한 E-메일 발표도 인용하고 있습니다.
  2. ^ Rozenberg, Grzegorz; Salomaa, Arto (2002). "ICALP, EATCS and Maurice Nivat". Theoretical Computer Science. 281 (1–2): 25–30. doi:10.1016/S0304-3975(02)00005-1.
  3. ^ Czumaj, Artur; Dawar, Anuj; Merelli, Emanuela (2020). "Front Matter, Table of Contents, Preface, Conference Organization". 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020). Leibniz International Proceedings in Informatics. Vol. 168. doi:10.4230/LIPIcs.ICALP.2020.0.

외부 링크