El Simposio Anual del IEEE sobre Fundamentos de la Informática ( FOCS ) es una conferencia académica en el campo de la informática teórica . FOCS está patrocinado por la IEEE Computer Society .
Como escribe Fich (1996), FOCS y su contraparte anual de la Association for Computing Machinery STOC (el Simposio sobre Teoría de la Computación ) se consideran las dos conferencias más importantes en ciencias de la computación teórica, consideradas en términos generales: "son foros para algunos de los mejores trabajos de todo el mundo". teoría de la computación que promueven la amplitud entre los investigadores de la teoría de la computación y ayudan a mantener unida a la comunidad ". Johnson (1984) incluye la asistencia regular a FOCS y STOC como una de las varias características que definen a los científicos informáticos teóricos.
El Premio Knuth por contribuciones destacadas a la informática teórica se entrega alternativamente en FOCS y STOC . Los trabajos de la más alta calidad presentados en la conferencia reciben el premio al Mejor Trabajo. [1] Además, el Premio Machtey se otorga al mejor artículo escrito por estudiantes en FOCS.
En 1960-1965, FOCS fue conocido como el Simposio sobre teoría de circuitos de conmutación y diseño lógico , y en 1966-1974 fue conocido como el Simposio sobre teoría de conmutación y autómatas . El nombre actual se utiliza desde 1975. Desde 1973, la portada de las actas de la conferencia presenta una obra de arte titulada synapse , de Alvy Ray Smith , quien también ha sido autor de tres artículos en la conferencia. [2] El editor utiliza el acrónimo SFCS en sus sitios web para las conferencias de 1975 a 1987. [3]
FOCS se lleva a cabo casi exclusivamente en América del Norte y, en particular, en los Estados Unidos, con pocas excepciones. [4]