Ежегодный симпозиум IEEE по основам компьютерной науки ( FOCS ) — это академическая конференция в области теоретической информатики . FOCS спонсируется IEEE Computer Society .
Как пишет Фич (1996), FOCS и ее ежегодный аналог Ассоциации вычислительной техники STOC ( Симпозиум по теории вычислений ) считаются двумя ведущими конференциями по теоретической информатике, если рассматривать их в широком смысле: они «являются форумами для некоторых из лучших работ по теории вычислений, которые способствуют расширению круга исследователей теории вычислений и помогают сохранять единство сообщества». Джонсон (1984) включает регулярное посещение FOCS и STOC в число нескольких определяющих характеристик ученых-теоретиков.
Премия Кнута за выдающийся вклад в теоретическую информатику вручается поочередно на FOCS и STOC . Работы самого высокого качества, представленные на конференции, награждаются премией Best Paper Award. [1] Кроме того, премия Machtey Award вручается лучшей студенческой работе на FOCS.
В 1960–1965 годах FOCS был известен как Симпозиум по теории коммутационных схем и логическому проектированию , а в 1966–1974 годах — как Симпозиум по теории коммутации и автоматов . Современное название используется с 1975 года. С 1973 года на титульном листе материалов конференции размещается произведение искусства под названием «Синапс » Элви Рэя Смита , который также был автором трех статей на конференции. [2] Издатель использует аббревиатуру SFCS на своих веб-сайтах для конференций с 1975 по 1987 год. [3]
FOCS проводится почти исключительно в Северной Америке, в частности в Соединенных Штатах, за редкими исключениями. [4]