• Source: Symposium on Foundations of Computer Science

The IEEE Annual Symposium on Foundations of Computer Science (FOCS) is an academic conference in the field of theoretical computer science. FOCS is sponsored by the IEEE Computer Society.
As 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 that promote breadth among theory of computing researchers and help to keep the community together.” Johnson (1984) includes regular attendance at FOCS and STOC as one of several defining characteristics of theoretical computer scientists.




Awards


The Knuth Prize for outstanding contributions to theoretical computer science is presented alternately at FOCS and STOC. Works of the highest quality presented at the conference are awarded the Best Paper Award. In addition, the Machtey Award is presented to the best student-authored paper in FOCS.




History


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 been used since 1975. Since 1973, the cover page of the conference proceedings has featured an artwork entitled synapse, by Alvy Ray Smith, who has also been the author of three papers in the conference.
The publisher uses the acronym SFCS on their web sites for the conferences in 1975 to 1987.




Location


FOCS is almost exclusively held in North America, and in particular in the United States, with few exceptions.




See also


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




References


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, S2CID 195706843.
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, S2CID 26789249.




Notes






External links


Official website
FOCS 2024 web site
FOCS 2023 web site
FOCS 2022 web site
FOCS 2021 web site
FOCS 2020 web site
FOCS 2019 web site
FOCS 2018 web site
FOCS 2017 web site
FOCS 2016 web site
FOCS 2015 web site
FOCS 2014 web site
FOCS 2013 web site
FOCS 2012 web site
FOCS 2011 web site.
FOCS 2010 web site.
FOCS 2009 web site.
FOCS 2008 web site.
FOCS 2007 web site.
FOCS 2006 web site.
FOCS 2005 web site.
FOCS proceedings information in DBLP.
FOCS Best Student Paper Award (Machtey Award).
Citation Statistics for FOCS/STOC/SODA, Piotr Indyk and Suresh Venkatasubramanian, July 2007.
Nelson H. F. Beebe's FOCS bibliography, 23 March 2007.

Kata Kunci Pencarian:

• Peter van Emde Boas
• Teorema ketaklengkapan Gödel
• Kesadaran buatan
• Kriptografi
• Sistem dinamis
• Algoritma
• Fungsi pembangkit
• Teorema empat warna
• Bahasa Sanskerta
• Symposium on Foundations of Computer Science
• List of computer science conferences
• Theoretical computer science
• International Symposium on Mathematical Foundations of Computer Science
• SIAM Journal on Computing
• SL (complexity)
• Symposium on Theory of Computing
• List of computer science awards
• Shortest path problem
• Symposium on Logic in Computer Science