Симпозиум по основам информатики - Symposium on Foundations of Computer Science

В Ежегодный симпозиум IEEE по основам компьютерных наук (FOCS) является научная конференция в области теоретическая информатика. FOCS спонсируется IEEE Computer Society.

Так как Фич (1996) пишет, FOCS и его ежегодный Ассоциация вычислительной техники аналог STOC ( Симпозиум по теории вычислений ) считаются двумя ведущими конференциями в области теоретической информатики в широком смысле: они «являются форумами для некоторых из лучших работ по теории вычислений, которые способствуют расширению круга исследователей теории вычислений и помогают сохранить единство сообщества». Джонсон (1984) включает регулярное посещение FOCS и STOC как одну из нескольких определяющих характеристик ученых-теоретиков.

Награды

В Приз Кнута за выдающийся вклад в теоретическую информатику представлен попеременно на FOCS и STOC. Работы высочайшего качества, представленные на конференции, награждаются премией Best Paper.[1] В дополнение Премия Мачтей представлена ​​лучшая авторская работа студентов в FOCS.

История

В 1960–1965 годах FOCS была известна как Симпозиум по теории коммутационных цепей и логическому проектированию, а в 1966–1974 годах он был известен как Симпозиум по теории переключений и автоматов. Нынешнее название используется с 1975 года. С 1973 года на титульном листе трудов конференции размещено произведение под названием синапс, от Элви Рэй Смит, который также был автором трех докладов на конференции.[2]Издательство использует аббревиатуру SFCS на своих веб-сайтах для конференций с 1975 по 1987 год.[3]

Расположение

FOCS проводится почти исключительно в Северной Америке, в частности в Соединенных Штатах, за некоторыми исключениями.[4]

Смотрите также

использованная литература

  • Хартманис, Юрис (1981), «Наблюдения за развитием теоретической информатики», IEEE Annals of the History of Computing, 3 (1): 42–51, Дои:10.1109 / MAHC.1981.10005, HDL:1813/6244, ISSN  1058-6180.
  • Фич, Вера (1996), «Вопросы инфраструктуры, связанные с теорией компьютерных исследований», Опросы ACM Computing, 28 (4es): 217 – es, Дои:10.1145/242224.242502.

Заметки

внешние ссылки