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 homólogo 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]