컴퓨팅 이론 심포지엄

ACM 연례 컴퓨팅 이론 심포지엄(STOC)은 이론 컴퓨터 과학 분야의 학술 회의입니다.STOC는 1969년부터 매년 5월 또는 6월에 개최되고 있습니다.이 컨퍼런스는 컴퓨터 기계 협회(Association for Computing Machine)의 특별 이익 단체인 SIGACT가 후원하고 있습니다.1970년부터 2012년까지 평균 STOC 수용률은 31%이며,^[1] 2012년에는 29%였다.

으로서 Fich(1996년)를 써 주고, 팩시밀리 축적 변환 장치이고 연간 IEEEcounterpart FOCS(컴퓨터 과학의 기초에학 회지):일부 컴퓨팅의 이론에 걸쳐 컴퓨팅 연구원들의 이론 사이에서 그는 폭을 촉진하는 최고의 업무를 해는 있는 포럼을 이론적인 컴퓨터 science,[2]두분 회의는 광범위하게 고려된 것으로 간주된다.lp커뮤니티를 하나로 묶는 것"이라고 말했다.Johnson(1984)은 이론 컴퓨터 과학자의 특징 중 하나로 STOC와 FOCS에 정기적으로 출석하고 있습니다.

어워드

Gödel 상은 이론 컴퓨터 과학 분야의 우수 논문으로 STOC와 ICALP(International Spokium on Automata, Languages and Programming)에서 번갈아 수여되며, Knuth 상은 컴퓨터 과학 기초에 대한 탁월한 공헌으로 STOC와 FOCS에서 번갈아 수여됩니다.

2003년부터 STOC는 최고 품질의 논문을 수상하기 위해 1개 이상의 베스트 페이퍼^[3] 어워드를 수여하고 있습니다.또한 Danny Lewin Best Student Paper Award는 STOC에서 ^[4]가장 우수한 학생 저자에게 수여됩니다.이 상은 다니엘 M을 기리기 위해 명명되었다. 인터넷 회사 아카마이 테크놀로지를 공동 설립한 미국 이스라엘 수학자이자 기업가 레윈은 9월 11일 ^[5]테러의 첫 희생자 중 한 명이다.

역사

STOC는 1969년 5월 5일부터 7일까지 미국 캘리포니아 주 마리나 델 레이에서 처음 조직되었다.회의 의장은 패트릭 C였다. 피셔와 프로그램 위원회는 마이클 A로 구성되었다. 해리슨, 로버트 W. 플로이드, 쥬리스 하트마니스, 리처드 M. 카프, 앨버트 R. 메이어와 제프리 D. 울만^[6]

STOC의 초기 주요 논문으로는 NP 완전성의 개념을 도입한 쿡(1971년)이 있다.

위치

STOC는 1992년, 1994년, 2002년 및 2008년에 캐나다에서, 2001년에 그리스에서 조직되었다. 1969-2009년의 다른 모든 회의는 미국에서 열렸다.STOC는 1993년, 1996년, 1999년, 2003년, 2007년 및 2011년에 Federated Computing Research Conference(FCRC)에 참가했습니다.

초청 연사

2004

Éva Tardos (2004), "Network games", Proceedings of the thirty-sixth annual ACM symposium on Theory of computing - STOC '04, pp. 341–342, doi:10.1145/1007352.1007356, ISBN 978-1581138528

Avi Wigderson (2004), "Depth through breadth, or why should we attend talks in other areas?", Proceedings of the thirty-sixth annual ACM symposium on Theory of computing - STOC '04, p. 579, doi:10.1145/1007352.1007359, ISBN 978-1581138528

2005

Lance Fortnow (2005), "Beyond NP: the work and legacy of Larry Stockmeyer", Proceedings of the thirty-seventh annual ACM symposium on Theory of computing - STOC '05, p. 120, doi:10.1145/1060590.1060609, ISBN 978-1581139600

2006

Prabhakar Raghavan (2006), "The changing face of web search: algorithms, auctions and advertising", Proceedings of the thirty-eighth annual ACM symposium on Theory of computing - STOC '06, p. 129, doi:10.1145/1132516.1132535, ISBN 978-1595931344

Russell Impagliazzo (2006), "Can every randomized algorithm be derandomized?", Proceedings of the thirty-eighth annual ACM symposium on Theory of computing - STOC '06, p. 373, doi:10.1145/1132516.1132571, ISBN 978-1595931344

2007

Nancy Lynch (2007), "Distributed computing theory: algorithms, impossibility results, models, and proofs", Proceedings of the thirty-ninth annual ACM symposium on Theory of computing - STOC '07, p. 247, doi:10.1145/1250790.1250826, ISBN 9781595936318

2008

Jennifer Rexford (2008), "Rethinking internet routing", Proceedings of the fortieth annual ACM symposium on Theory of computing - STOC 08, pp. 55–56, doi:10.1145/1374376.1374386, ISBN 9781605580470

David Haussler (2008), "Computing how we became human", Proceedings of the fortieth annual ACM symposium on Theory of computing - STOC 08, pp. 639–640, doi:10.1145/1374376.1374468, ISBN 9781605580470

Ryan O'Donnell (2008), "Some topics in analysis of boolean functions", Proceedings of the fortieth annual ACM symposium on Theory of computing - STOC 08, pp. 569–578, doi:10.1145/1374376.1374458, ISBN 9781605580470

2009

Shafi Goldwasser (2009), "Athena lecture: Controlling Access to Programs?", Proceedings of the 41st annual ACM symposium on Symposium on theory of computing - STOC '09, pp. 167–168, doi:10.1145/1536414.1536416, ISBN 9781605585062

2010

David S. Johnson (2010), "Approximation Algorithms in Theory and Practice" (Knuth Prize Lecture)

2011

Leslie G. Valiant (2011), "The Extent and Limitations of Mechanistic Explanations of Nature" (2010 ACM Turing Award Lecture)

Ravi Kannan (2011), "Algorithms: Recent Highlights and Challenges" (2011 Knuth Prize Lecture)

David A. Ferruci (2011), "IBM's Watson/DeepQA" (FCRC Plenary Talk)

Luiz Andre Barroso (2011), "Warehouse-Scale Computing: Entering the Teenage Decade" (FCRC Plenary Talk)

2013

Gary Miller (2013), Knuth Prize Lecture

Prabhakar Raghavan (2013), Plenary talk

2014

Thomas Rothvoss (2014), "The matching polytope has exponential extension complexity"

Shafi Goldwasser (2014), "The Cryptographic Lens" (Turing Award Lecture) 비디오

Silvio Micali (2014), "Proofs according to Silvio" (Turing Award Lecture) 비디오

2015

Michael Stonebraker (2015), Turing Award Lecture 비디오

Andrew Yao (2015), FCRC Keynote Lecture

László Babai (2015), Knuth Prize Lecture

Olivier Temam (2015), FCRC Keynote Lecture

2016

Santosh Vempala (2016), "The Interplay of Sampling and Optimization in High Dimension" (Invited Talk)

Timothy Chan (2016), "Computational Geometry, from Low to High Dimensions" (Invited Talk)

2017

Avi Wigderson (2017), "On the Nature and Future of ToC" (Keynote Talk)

Orna Kupferman (2017), "Examining classical graph-theory problems from the viewpoint of formal-verification methods" (Keynote Talk)

Oded Goldreich (2017), Knuth Prize Lecture

「 」를 참조해 주세요.

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

메모들

레퍼런스

• 를 클릭합니다Cook, Stephen (1971), "The complexity of theorem proving procedures" (PDF), Proc. STOC 1971, pp. 151–158, doi:10.1145/800157.805047.
• 를 클릭합니다Fich, Faith (1996), "Infrastructure issues related to theory of computing research", ACM Computing Surveys, 28 (4es): 217–es, doi:10.1145/242224.242502.
• 를 클릭합니다Johnson, D. S. (1984), "The genealogy of theoretical computer science: a preliminary report", ACM SIGACT News, 16 (2): 36–49, doi:10.1145/1008959.1008960.

외부 링크

• 공식 웹사이트
• DBLP의 STOC 처리 정보.
• ACM 디지털 라이브러리의 STOC 절차.
• FOCS/STOC/SODA, Piotr Indyk 및 Suresh Venkatasubramanian 인용 통계, 2007년 7월