Симпозиум по основам информатики

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

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

Награды

Премия Кнута за выдающийся вклад в теоретическую информатику вручается поочередно в FOCS и STOC . Работы высочайшего качества, представленные на конференции, удостояются награды Best Paper Award. ^[1] Кроме того, премия Махти вручается лучшей студенческой работе в 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 .
Фич, Фейт (1996), «Проблемы инфраструктуры, связанные с теорией компьютерных исследований», ACM Computing Surveys , 28 (4es): 217–es, doi : 10.1145/242224.242502 , S2CID 195706843 .

Джонсон, DS (1984), «Генеалогия теоретической информатики: предварительный отчет», ACM SIGACT News , 16 (2): 36–49, doi : 10.1145/1008959.1008960 , S2CID 26789249 .

Примечания

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

[1] «Награды за лучшую бумагу на AAAI, ACL, CHI, CIKM, CVPR, FOCS, FSE, ICCV, ICML, ICSE, IJCAI, INFOCOM, KDD, MOBICOM, NEURIPS, NSDI, OSDI, PLDI, PODS, S&P, SIGCOMM, SIGIR, SIGMETRICS , SIGMOD, SODA, SOSP, STOC, UIST, VLDB, WWW" .

[2] Обложка синапса FOCS Элви Рэя Смита .

[3] 1975 , ..., 1987 Веб-сайт IEEE

[4] Симпозиум IEEE по основам информатики (FOCS)

[1]

[2]

[3]

[4]

Базы данных авторитетного контроля
International	VIAF
National	Israel