Симпозиум по основам компьютерной науки
 | This article's use of external links may not follow Wikipedia's policies or guidelines. (July 2020) |
Ежегодный симпозиум 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]
| Год | ПК и местные председатели | Расположение | Руководящий комитет | Комитет по присуждению премии «Испытание временем» |
|---|---|---|---|---|
| 1975 | Дэниел Розенкранц (председатель ПК), Юджин Лоулер (местный председатель) | Беркли | ||
| 1976 | Майкл Фишер (председатель ПК), Мира Блаттнер (местный председатель) | Хьюстон | ||
| 1977 | Пол Янг (председатель ПК), Джон Сэвидж (местный председатель) | Провиденс | ||
| 1978 | Нэнси Линч (председатель ПК), Уильям Раундс (местный председатель) | Энн-Арбор | ||
| 1979 | Рао Косараджу (председатель ПК), Роландо Пейнадо (местный председатель) | Сан-Хуан, Пуэрто-Рико | ||
| 1980 | Сиракузы | |||
| 1981 | Арнольд Розенберг (председатель ПК), Патрик Фишер (местный председатель) | Нэшвилл | ||
| 1982 | Чикаго | |||
| 1983 | Лоуренс Снайдер (председатель ПК), Питер Дауни (местный председатель) | Тусон | ||
| 1984 | Остров Сингер | |||
| 1985 | Роберт Тарьян (председатель ПК), Юджин Люкс (местный председатель) | Портленд | ||
| 1986 | Джон Хопкрофт (председатель ПК), Чарльз Ракофф (местный председатель) | Торонто | Ашок Чандра (Председатель TCMF) | |
| 1987 | Том Лейтон (председатель ПК), Сеймур Гинзбург (местный председатель), Минг-Дэ Хуан (местный председатель) | Лос-Анджелес | " | |
| 1988 | Белые равнины | |||
| 1989 | Цви Галил (председатель ПК), Джон Рейф (местный председатель) | Исследовательский Треугольный Парк | Христос Пападимитриу (председатель TCMF) | |
| 1990 | Михалис Яннакакис (председатель ПК), Джонатан Тернер (местный председатель) | Сент-Луис | " | |
| 1991 | Майк Сипсер (председатель ПК), Том Лейтон (местный председатель), Алок Аггарвал (местный председатель) | Сан-Хуан, Пуэрто-Рико | " | |
| 1992 | Майкл Луби (председатель ПК), Гэри Миллер (местный председатель) | Питтсбург | ||
| 1993 | Леонидас Дж. Гибас (Председатель ПК), Андрей Бродер (Местный председатель) | Пало-Альто | ||
| 1994 | Шафи Гольдвассер (председатель ПК), Сорин Истраил (местный председатель) | Санта-Фе | ||
| 1995 | Прабхакар Рагхаван (председатель ПК), Адити Дхагат (местный председатель), Рене Перальта (местный председатель) | Милуоки | ||
| 1996 | Мартин Томпа (председатель ПК), Карл Смит (местный председатель) | Берлингтон | ||
| 1997 | Анна Карлин (председатель ПК), Виктор Миленкович (местный председатель) | Майами-Бич | ||
| 1998 | Раджив Мотвани , Майкл Митценмахер (местный председатель) | Пало-Альто | ||
| 1999 | Пол Бим (председатель ПК), Петр Берман (местный председатель) | Нью-Йорк | ||
| 2000 | Аврим Блум (председатель ПК), Марек Хробак (местный председатель), Тао Цзян (местный председатель) | Редондо Бич | ||
| 2001 | Мони Наор (председатель ПК), Лоуренс Лармор (местный председатель), Вольфганг Байн | Лас-Вегас | ||
| 2002 | Бернар Шазелл (Председатель ПК) Арвинд Гупта (Местный председатель) | Ванкувер, Канада | ||
| 2003 | Мадху Судан (председатель ПК), Михаэль Митценмахер (местный председатель) | Кембридж | ||
| 2004 | Эли Упфал (председатель ПК), Джузеппе Ф. Итальяно (местный председатель) | Рим, Италия | ||
| 2005 | Ева Тардос (председатель ПК), Аврим Блум (местный председатель), Анупам Гупта (местный председатель) | Питтсбург | ||
| 2006 | Санджив Арора , Сатиш Рао (местный председатель) | Беркли | ||
| 2007 | Алистер Синклер (председатель ПК), Филип Кляйн (местный председатель), Анна Лысянская (местный председатель), Клэр Матье (местный председатель) | Провиденс | ||
| 2008 | Р. Рави (председатель ПК), Судипто Гуха (местный председатель), Санджив Кханна (местный председатель), Сампатх Каннан (местный председатель) | Филадельфия | Пол Бим (председатель TCMF) | |
| 2009 | Дэн Спилман (председатель ПК), Дэвид Шмойс (генеральный сопредседатель), Милена Михаил (местный председатель), Прасад Тетали (местный председатель) | Атланта | " | |
| 2010 | Лука Тревизан (председатель ПК), Ларри Лармор (местный председатель) | Лас-Вегас | " | |
| 2011 | Рафаил Островский (Председатель ПК), Марек Чробак (Местный председатель), Нил Йонг (Местный председатель), | Палм-Спрингс | " | |
| 2012 | Тим Рафгарден (председатель ПК), Ребекка Райт (местный председатель), Лиза Чжан (местный председатель), Боаз Барак (председатель семинара), Аврим Блум (председатель семинара) | Нью-Брансуик | Дэвид Шмойс (председатель TCMF) | |
| 2013 | Омер Рейнгольд (председатель ПК), Христос Пападимитриу (местный председатель), Умеш Вазирани (местный председатель), Мозес Чарикар (председатель семинара), Крис Уманс (председатель семинара) | Беркли | " | |
| 2014 | Боаз Барак (председатель ПК), Ребекка Райт (местный председатель), Лиза Чжан (местный председатель), Санджив Кханна (председатель семинара), Кунал Талвар (председатель семинара) | Филадельфия | " | |
| 2015 | Венкатесан Гурусвами (председатель ПК), Кристин Кейн (местный председатель), Прасад Рагхавендра , Лука Тревизан | Беркли | Рафаил Островский (Председатель TCMF) | |
| 2016 | Ирит Динур (председатель ПК), Ребекка Райт (местный председатель), Лиза Чжан (местный председатель), Александр Андони (председатель семинара), Александр Модри (председатель семинара) | Нью-Брансуик | " | |
| 2017 | Крис Уманс (председатель ПК), Эндрю Ян (местный председатель), Прасад Рагхавендра (местный председатель), Александр Мадри (председатель семинара), Джеймс Р. Ли (председатель семинара) | Беркли | " | |
| 2018 | Миккель Торуп (председатель ПК), Ади Розен (местный председатель), Софи Лапланте (местный сопредседатель), Алессандро Луонго (местный сопредседатель), Роберт Кляйнберг (председатель семинара), Джеймс Р. Ли (председатель семинара) | Париж, Франция | Ювал Рабани (председатель TCMF), Шан-Хуа Тэн (заместитель председателя TCMF), Аврим Блюм , Шафи Голдвассер , Рафаил Островский , Тонианн Питасси | |
| 2019 | Дэвид Цукерман (председатель ПК), Майкл Диниц (местный председатель), Мария-Флорина Балкан (председатель семинара), Роберт Кляйнберг (председатель семинара) | Балтимор | " | Пол Бим, Аллан Бородин , Уриэль Файги , Моника Хенцингер , Йохан Хостад (председатель), Михалис Яннакакис (первая награда) |
| 2020 | Сэнди Ирани (председатель ПК), Дебмаля Паниграхи (местный председатель), Камеш Мунагала (местный председатель), Мария-Флорина Балкан (председатель семинара), Александр Шерстов (председатель семинара) | Виртуально (планируется для Роли/Дарема) | " | Пол Бим (председатель), Уриэль Файги , Анна Карлин , Ишай Мансур, Клэр Матье , Лука Тревизан |
| 2021 | Нишит Вишной (председатель ПК), Александра Колла (председатель местного/финансового комитета), Винсент Коэн-Аддад (председатель семинара), Александр Шерстов (председатель семинара) | Виртуально (планируется для Денвера) | " | Рассел Импальяццо , Яэль Тауман Калаи , Анна Карлин , Ишай Мансур, Майкл Сакс , Лука Тревизан (председатель) |
| 2022 | Джелани Нельсон (председатель ПК), Александра Колла (местный председатель), Ронг Ге (председатель финансового отдела), Винсент Коэн-Аддад (председатель семинара), Генри Юэнь (председатель семинара) | Денвер | Шан-Хуа Тэн (председатель TCMF), Венкатесан Гурусвами (заместитель председателя TCMF), Аврим Блум , Шафи Голдвассер , Рафаил Островский , Тонианн Питасси , Ювал Рабани | Рассел Импальяццо , Яэль Тауман Калай , Майкл Сакс (председатель), Алистер Синклер , Эва Тардос , Дэвид Цукерман |
| 2023 | Амит Сахай (председатель ПК), Шубханги Сараф (сопредседатель ПК), Томас Видик (сопредседатель ПК), Александра Колла (генеральный председатель), Правеш Котари (председатель семинара), Генри Юэнь (председатель семинара) | Санта-Крус | " | Цзинь-И Кай , Фейт Эллен , Леонард Шульман , Алистер Синклер , Эва Тардос , Дэвид Цукерман (председатель) |
| 2024 | Сантош Вемпала (председатель ПК), Аравиндан Виджаярагаван (генеральный председатель), Лев Рейзин (генеральный председатель), Мохсен Гаффари (председатель семинара), Правеш Котари (председатель семинара) | Чикаго | Ран Канетти (председатель TCMF), Рокко Серведио (заместитель председателя TCMF) |
Смотрите также
- Конференции по теоретической информатике.
- Список конференций по информатике содержит другие академические конференции по информатике.
Ссылки
- Хартманис, Юрис (1981), «Наблюдения о развитии теоретической информатики», IEEE Annals of the History of Computing , 3 (1): 42– 51, doi : 10.1109/MAHC.1981.10005, hdl : 1813/6244 , ISSN 1058-6180.
- Fich, Faith (1996), «Вопросы инфраструктуры, связанные с теорией исследований вычислений», ACM Computing Surveys , 28 (4es): 217–es, doi : 10.1145/242224.242502, S2CID 195706843.
- Джонсон, Д.С. (1984), «Генеалогия теоретической информатики: предварительный отчет», ACM SIGACT News , 16 (2): 36–49 , doi :10.1145/1008959.1008960, S2CID 26789249.
Примечания
- ^ "Награды за лучшую бумагу на AAAI, ACL, CHI, CIKM, CVPR, FOCS, FSE, ICCV, ICML, ICSE, IJCAI, INFOCOM, KDD, MOBICOM, NEURIPS, NSDI, OSDI, PLDI, PODS, S&P, SIGCOMM, SIGIR, СИГМЕТРИКИ, СИГМОД, СОДА, СОСП, СТОК, УИСТ, ВЛДБ, WWW».
- ^ Обложка FOCS синапса Элви Рэя Смита.
- ^ 1975, ..., 1987 Веб-сайт IEEE
- ^ Симпозиум IEEE по основам компьютерной науки (FOCS)
Внешние ссылки
- Официальный сайт
- Веб-сайт FOCS 2024
- Веб-сайт FOCS 2023
- Веб-сайт FOCS 2022
- Веб-сайт FOCS 2021
- Веб-сайт FOCS 2020
- Веб-сайт FOCS 2019
- Веб-сайт FOCS 2018
- Веб-сайт FOCS 2017
- Веб-сайт FOCS 2016
- Веб-сайт FOCS 2015
- Веб-сайт FOCS 2014
- Веб-сайт FOCS 2013
- Веб-сайт FOCS 2012
- Веб-сайт FOCS 2011.
- Веб-сайт FOCS 2010.
- Веб-сайт FOCS 2009.
- Веб-сайт FOCS 2008.
- Веб-сайт FOCS 2007.
- Веб-сайт FOCS 2006.
- Веб-сайт FOCS 2005.
- Информация о разбирательствах FOCS в DBLP .
- Премия FOCS за лучшую студенческую работу (Премия Махти).
- Статистика цитирования для FOCS/STOC/SODA, Петр Индик и Суреш Венкатасубраманян, июль 2007 г.
- Библиография FOCS Нельсона Х. Ф. Биба, 23 марта 2007 г.
