Симпозиум по основам информатики
 | в этой статье Использование внешних ссылок может не соответствовать политике и рекомендациям Википедии . ( Июль 2020 г. ) |
Ежегодный симпозиум IEEE по основам информатики ( FOCS ) — это научная конференция в области теоретической информатики . FOCS спонсируется Компьютерным обществом IEEE .
Как пишет Фич (1996) , FOCS и ее ежегодный ) от Ассоциации вычислительной техники аналог STOC ( Симпозиум по теории вычислений считаются двумя ведущими конференциями в области теоретической информатики в широком смысле: они «являются форумами для некоторых из лучших работ во всем мире». теории вычислений, которые способствуют расширению круга исследователей теории вычислений и помогают сохранить сообщество вместе». Джонсон (1984) называет регулярное посещение FOCS и STOC одной из нескольких определяющих характеристик ученых-теоретиков-компьютерщиков.
Награды [ править ]
Премия Кнута за выдающийся вклад в теоретическую информатику вручается поочередно в FOCS и STOC . Работы высочайшего качества, представленные на конференции, награждаются премией «Лучшая статья». [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)
Внешние ссылки [ править ]
- Официальный веб-сайт
- Веб-сайт ФОКС 2024
- Веб-сайт ФОКС 2023
- Веб-сайт ФОКС 2022
- Веб-сайт ФОКС 2021
- Сайт ФОКС 2020
- Сайт ФОКС 2019
- Сайт ФОКС 2018
- Сайт ФОКС 2017
- Сайт ФОКС 2016
- Сайт ФОКС 2015
- Сайт ФОКС 2014.
- Сайт ФОКС 2013
- Сайт ФОКС 2012.
- Сайт ФОКС 2011 .
- Сайт ФОКС 2010 .
- Сайт ФОКС 2009 .
- Сайт ФОКС 2008 .
- Сайт ФОКС 2007 .
- Сайт ФОКС 2006 .
- Сайт FOCS 2005 .
- Информация о разбирательствах FOCS в DBLP .
- Премия FOCS за лучшую студенческую работу (Премия Махти) .
- Статистика цитирования для FOCS/STOC/SODA , Петр Индик и Суреш Венкатасубраманян, июль 2007 г.
- Библиография FOCS Нельсона Х.Ф. Биба , 23 марта 2007 г.
