Симпозиум по основам информатики - Symposium on Foundations of Computer Science
Эта статья использование внешние ссылки может не следовать политикам или рекомендациям Википедии.Июль 2020) (Узнайте, как и когда удалить этот шаблон сообщения) ( |
В Ежегодный симпозиум 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.
- Джонсон, Д.С. (1984), «Генеалогия теоретической информатики: предварительный отчет», Новости ACM SIGACT, 16 (2): 36–49, Дои:10.1145/1008959.1008960.
Заметки
внешние ссылки
- Официальный сайт FOCS
- Веб-сайт FOCS 2009.
- Веб-сайт FOCS 2008.
- Веб-сайт FOCS 2007.
- Веб-сайт FOCS 2006.
- Веб-сайт FOCS 2005.
- Информация о процедурах FOCS в DBLP.
- Информация о заседаниях FOCS 1963–1964 гг. в ACM цифровая библиотека.
- Информация о заседаниях FOCS 1966–1975 гг. в электронной библиотеке ACM.
- Премия FOCS за лучшую студенческую работу (Премия Мачти).
- Статистика цитирования для FOCS / STOC / SODA, Петр Индык и Суреш Венкатасубраманян, июль 2007 г.
- Библиография FOCS Нельсона Х. Ф. Биба, 23 марта 2007 г.