El Simposio anual de 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 STOC ( Symposium on Theory of Computing ) de la Association for Computing Machinery son consideradas las dos principales conferencias en ciencias de la computación teóricas, consideradas en términos generales: “son foros para algunos de los mejores trabajos de todo el mundo”. teoría de la computación que promueve la amplitud entre los investigadores de la teoría de la computación y ayuda a mantener unida a la comunidad ". Johnson (1984) incluye la asistencia regular a FOCS y STOC como una de varias características definitorias de los científicos informáticos teóricos.
El Premio Knuth por sus contribuciones destacadas a la informática teórica se presenta 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 un estudiante 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 ha utilizado desde 1975. Desde 1973, la portada de las actas de la conferencia ha presentado una obra de arte titulada sinapsis , 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]