Symposium on Foundations of Computer Science
Encyclopedia
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
.
As 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.” includes regular attendance at FOCS and STOC as one of several defining characteristics of 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.
, who has also been the author of three papers in the conference.
Academic conference
An academic conference or symposium is a conference for researchers to present and discuss their work. Together with academic or scientific journals, conferences provide an important channel for exchange of information between researchers.-Overview:Conferences are usually composed of various...
in the field of theoretical computer science
Theoretical computer science
Theoretical computer science is a division or subset of general computer science and mathematics which focuses on more abstract or mathematical aspects of computing....
. FOCS is sponsored by the IEEE Computer Society
IEEE Computer Society
The IEEE Computer Society is a professional society of IEEE. Its purpose and scope is “to advance the theory, practice, and application of computer and information processing science and technology” and the “professional standing of its members.” The CS is the largest of 38 technical societies...
.
As writes, FOCS and its annual Association for Computing Machinery
Association for Computing Machinery
The Association for Computing Machinery is a learned society for computing. It was founded in 1947 as the world's first scientific and educational computing society. Its membership is more than 92,000 as of 2009...
counterpart STOC (the Symposium on Theory of Computing
Symposium on Theory of Computing
STOC, the Annual ACM Symposium on Theory of Computing is an academic conference in the field of theoretical computer science. STOC has been organized annually since 1969, typically in May or June; the conference is sponsored by the Association for Computer Machinery special interest group SIGACT.As...
) 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.” includes regular attendance at FOCS and STOC as one of several defining characteristics of theoretical computer scientists.
The Knuth Prize
Knuth Prize
The Donald E. Knuth Prize is a prize for outstanding contributions to the foundations of computer science, named after Donald E. Knuth.-History:...
for outstanding contributions to theoretical computer science is presented alternately at FOCS and STOC. The Machtey Award
Machtey Award
The Machtey Awardis awarded at the annual IEEE Symposium on Foundations of Computer Science to that author of the best student paper. A paper qualifies as a student paper if all authors are full-time students at the date of the submission...
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 SmithAlvy Ray Smith
Alvy Ray Smith III is an American engineer and noted pioneer in computer graphics. He is a co-founder of the animation studio Pixar.- Life and career :...
, who has also been the author of three papers in the conference.
See also
- Conferences in theoretical computer science.
- The list of computer science conferences contains other academic conferences in computer science.
External links
- FOCS 2009 web site.
- FOCS 2008 web site.
- FOCS 2007 web site.
- FOCS 2006 web site.
- FOCS 2005 web site.
- FOCS proceedings information in DBLPDBLPDBLP is a computer science bibliography website hosted at Universität Trier, in Germany. It was originally a database and logic programming bibliography site, and has existed at least since the 1980s. DBLP listed more than 1.3 million articles on computer science in January 2010...
. - FOCS 1963–1964 proceedings information in the ACMAssociation for Computing MachineryThe Association for Computing Machinery is a learned society for computing. It was founded in 1947 as the world's first scientific and educational computing society. Its membership is more than 92,000 as of 2009...
digital library. - FOCS 1966–1975 proceedings information in the ACM digital library.
- FOCS Best Student Paper Award (Machtey Award).
- Citation Statistics for FOCS/STOC/SODA, Piotr IndykPiotr IndykPiotr Indyk is an Associate Professor in the Theory of Computation Group at the Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology.-Academic biography:...
and Suresh Venkatasubramanian, July 2007. - Nelson H. F. Beebe's FOCS bibliography, 23 March 2007.