컴퓨터 사이언스 기초 심포지엄

Symposium on Foundations of Computer Science

IEEE 연례 컴퓨터 과학 심포지엄(FOCS)은 이론 컴퓨터 과학 분야의 학술 회의입니다.FOCS는 IEEE Computer Society가 후원합니다.

Fich(1996)가 쓴 것처럼 FOCS와 연례 컴퓨터 기계 협회(Association for Computing Machine)의 STOC(Computing Theory on Computing)는 이론 컴퓨터 사이언스의 양대 컨퍼런스로 널리 검토되고 있습니다.컴퓨팅 이론 전반에 걸쳐 폭넓은 분야를 촉진하는 최고의 작업을 위한 포럼입니다.커뮤니티를 하나로 묶는 데 도움을 줄 수 있습니다.Johnson(1984)은 이론 컴퓨터 과학자의 특징 중 하나로 FOCS와 STOC에 정기적으로 출석하고 있습니다.

어워드

Knuth 상은 이론 컴퓨터 공학에 대한 탁월한 공헌에 대해 FOCS와 STOC에서 번갈아 수여됩니다.컨퍼런스에서 발표되는 최고 품질의 작품에는 최우수 [1]논문상이 수여됩니다.또한, 마하티상은 FOCS에서 가장 우수한 학생이 집필한 논문에도 수여됩니다.

역사

1960~1965년에 FOCS는 스위칭 회로 이론과 논리 설계에 관한 심포지엄으로 알려졌으며 1966~1974년에는 스위칭과 오토마타 이론에 관한 심포지엄으로 알려졌습니다.현재의 이름은 1975년부터 사용되고 있습니다.1973년 이후, 컨퍼런스 진행의 표지는 Alvy Ray Smith의 시냅스라는 제목의 예술작품을 다루고 있으며,[2] 그는 컨퍼런스에서 세 편의 논문을 집필하기도 했다.퍼블리셔는 1975년부터 [3]1987년까지의 회의에서 웹 사이트에서 SFCS라는 약어를 사용하고 있습니다.

위치

FOCS는 거의 북미, 특히 미국에서만 개최되지만 [4]예외는 거의 없습니다.

「 」를 참조해 주세요.

  • 이론 컴퓨터 공학에 대한 컨퍼런스요
  • 컴퓨터 사이언스 컨퍼런스 목록에는 컴퓨터 사이언스의 다른 학술 컨퍼런스가 포함되어 있습니다.

레퍼런스

  • 를 클릭합니다Hartmanis, Juris (1981), "Observations about the development of theoretical computer science", IEEE Annals of the History of Computing, 3 (1): 42–51, doi:10.1109/MAHC.1981.10005, hdl:1813/6244, ISSN 1058-6180.
  • 를 클릭합니다Fich, Faith (1996), "Infrastructure issues related to theory of computing research", ACM Computing Surveys, 28 (4es): 217–es, doi:10.1145/242224.242502.

메모들

외부 링크