Symposium on Foundations of Computer Science

FOCS , the Annual IEEE Symposium on Foundations of Computer Science , is an academic conference in the field of theoretical computer science . FOCS is sponsored by the IEEE Computer Society .

If Fich (1996) writes, FOCS and its annual Association for Computing Machinery counterpart STOC (the Symposium on Theory of Computing ) are Considered the two top conferences in theoretical computer science, Considered Broadly, they ” are forums for some of the best work Throughout Theory of computing dat promote breadth onder theory of computing researchers and help to keep the community together. ” Johnson (1984) of includes regular attendance at FOCS and STOC than one or verschillende Defining; characteristics or theoretical computer scientists.

The Knuth Prize for outstanding contributions to theoretical computer science is Presented alternately at FOCS and STOC. The Machtey Award is Presented to the best student-authored paper in FOCS.


In 1960-1965, FOCS was known as the Symposium on Switching Circuit Theory and Logical Design , and in 1966-1974 it was known as the Symposium on Switching and Automata Theory . The current name has leg-used since 1975. Since 1973, the cover page of the conference proceedings has featured an artwork entitled synapse , by Alvy Ray Smith , who has ook leg the author or three papers in the conference. [1]

See also

  • Conferences in theoretical computer science.
  • The list of computer science conferences contains other academic conferences in computer science.


  • 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 , ISSN  1058-6180 .
  • Fich, Faith (1996), “Infrastructure issues related to theory of computing research,” ACM Computing Surveys , 28 (4es): 217, doi : 10.1145 / 242224.242502 .
  • Johnson, DS (1984), “The genealogy of theoretical computer science: a Preliminary report”, ACM SIGACT News , 16 (2): 36-49, doi : 10.1145 / 1008959.1008960 .