Симпозиум по основам информатики
в этой статье Использование внешних ссылок может не соответствовать политике и рекомендациям Википедии . ( Июль 2020 г. ) |
Ежегодный симпозиум 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 .
Примечания
[ редактировать ]- ^ «Награды за лучшую бумагу на 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" .
- ^ Обложка синапса FOCS Элви Рэя Смита .
- ^ 1975 , ..., 1987 Веб-сайт IEEE
- ^ Симпозиум IEEE по основам информатики (FOCS)
Внешние ссылки
[ редактировать ]- Официальный сайт
- Веб-сайт FOCS 2024
- Веб-сайт FOCS 2023
- Веб-сайт ФОКС 2022
- Веб-сайт ФОКС 2021
- Веб-сайт ФОКС 2020
- Веб-сайт ФОКС 2019
- Веб-сайт ФОКС 2018
- Веб-сайт ФОКС 2017
- Веб-сайт ФОКС 2016
- Веб-сайт ФОКС 2015
- Веб-сайт ФОКС 2014
- Веб-сайт ФОКС 2013
- Веб-сайт ФОКС 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 г.