Simposio sobre fundamentos de la informática
 | This article's use of external links may not follow Wikipedia's policies or guidelines. (July 2020) |
El Simposio Anual IEEE sobre Fundamentos de la Ciencia de la Computación ( FOCS ) es una conferencia académica en el campo de la informática teórica . FOCS está patrocinado por la IEEE Computer Society .
Como escribe Fich (1996), FOCS y su homólogo anual de la Association for Computing Machinery, STOC (el Simposio sobre teoría de la computación ), se consideran las dos conferencias más importantes en informática teórica, en sentido amplio: "son foros para algunos de los mejores trabajos en teoría de la computación que promueven la amplitud entre los investigadores de la teoría de la computación y ayudan a mantener unida a la comunidad". Johnson (1984) incluye la asistencia regular a FOCS y STOC como una de las varias características definitorias de los científicos informáticos teóricos.
Premios
El Premio Knuth por contribuciones destacadas a la informática teórica se otorga alternativamente en FOCS y STOC . Los trabajos de mayor calidad presentados en la conferencia reciben el premio al mejor artículo. [1] Además, el Premio Machtey se otorga al mejor artículo escrito por estudiantes en FOCS.
Historia
En 1960-1965, el FOCS se conocía como el Simposio sobre teoría de circuitos de conmutación y diseño lógico , y en 1966-1974 se conocía como el Simposio sobre teoría de conmutación y autómatas . El nombre actual se ha utilizado desde 1975. Desde 1973, la portada de las actas de la conferencia ha presentado una obra de arte titulada synapse , de Alvy Ray Smith , quien también ha sido el autor de tres artículos en la conferencia. [2] El editor utiliza el acrónimo SFCS en sus sitios web para las conferencias de 1975 a 1987. [3]
Ubicación
La FOCS se celebra casi exclusivamente en América del Norte, y en particular en los Estados Unidos, con pocas excepciones. [4]
| Año | Presidentes del PC y locales | Ubicación | Comité Directivo | Comité del premio Test of Time |
|---|---|---|---|---|
| 1975 | Daniel Rosenkrantz (presidente del PC), Eugene Lawler (presidente local) | Berkeley | ||
| 1976 | Michael Fischer (presidente del PC), Meera Blattner (presidenta local) | Houston | ||
| 1977 | Paul Young (presidente del PC), John Savage (presidente local) | Providencia | ||
| 1978 | Nancy Lynch (presidenta del PC), William Rounds (presidente local) | Ann Arbor | ||
| 1979 | Rao Kosaraju (presidente del PC), Rolando Peinado (presidente local) | San Juan, Puerto Rico | ||
| 1980 | Siracusa | |||
| 1981 | Arnold Rosenberg (presidente del PC), Patrick Fischer (presidente local) | Nashville | ||
| 1982 | Chicago | |||
| 1983 | Lawrence Snyder (presidente del PC), Peter Downey (presidente local) | Tucson | ||
| 1984 | Isla del cantante | |||
| 1985 | Robert Tarjan (presidente del PC), Eugene Luks (presidente local) | Portland | ||
| 1986 | John Hopcroft (presidente del PC), Charles Rackoff (presidente local) | Toronto | Ashok Chandra (presidente del TCMF) | |
| 1987 | Tom Leighton (presidente del PC), Seymour Ginsburg (presidente local), Ming-Deh Huang (presidente local) | Los Ángeles | " | |
| 1988 | Llanuras blancas | |||
| 1989 | Zvi Galil (presidente del PC), Jon Reif (presidente local) | Parque del Triángulo de Investigación | Christos Papadimitriou (Presidente del TCMF) | |
| 1990 | Mihalis Yannakakis (presidente del PC), Jonathan Turner (presidente local) | San Luis | " | |
| 1991 | Mike Sipser (presidente del PC), Tom Leighton (presidente local), Alok Aggarwal (presidente local) | San Juan, Puerto Rico | " | |
| 1992 | Michael Luby (presidente del PC), Gary Miller (presidente local) | Pittsburgh | ||
| 1993 | Leonidas J. Guibas (presidente del Comité de Políticas Públicas), Andrei Broder (presidente local) | Palo Alto | ||
| 1994 | Shafi Goldwasser (presidente del PC), Sorin Istrail (presidente local) | Santa Fe | ||
| 1995 | Prabhakar Raghavan (presidente del Comité de Políticas Públicas), Aditi Dhagat (presidente local), Rene Peralta (presidente local) | Milwaukee | ||
| 1996 | Martin Tompa (presidente del PC), Carl Smith (presidente local) | Burlington | ||
| 1997 | Anna Karlin (presidenta del PC), Victor Milenkovic (presidente local) | Playa de Miami | ||
| 1998 | Rajeev Motwani , Michael Mitzenmacher (presidente local) | Palo Alto | ||
| 1999 | Paul Beame (presidente del PC), Piotr Berman (presidente local) | Nueva York | ||
| 2000 | Avrim Blum (presidente del comité organizador), Marek Chrobak (presidente local), Tao Jiang (presidente local) | Playa Redondo | ||
| 2001 | Moni Naor (presidenta del PC), Lawrence Larmore (presidente local), Wolfgang Bein | Las Vegas | ||
| 2002 | Bernard Chazelle (presidente del PC) Arvind Gupta (presidente local) | Vancouver, Canadá | ||
| 2003 | Madhu Sudan (presidente del PC), Michael Mitzenmacher (presidente local) | Cambridge | ||
| 2004 | Eli Upfal (presidente del Comité de Políticas Públicas), Giuseppe F. Italiano (presidente local) | Roma, Italia | ||
| 2005 | Eva Tardos (presidenta del Comité de Políticas Públicas), Avrim Blum (presidente local), Anupam Gupta (presidente local) | Pittsburgh | ||
| 2006 | Sanjeev Arora , Satish Rao (presidente local) | Berkeley | ||
| 2007 | Alistair Sinclair (presidente del Comité de Políticas Públicas), Philip Klein (presidente local), Anna Lysyanskaya (presidenta local), Claire Mathieu (presidenta local) | Providencia | ||
| 2008 | R. Ravi (presidente del Comité de Políticas Públicas), Sudipto Guha (presidente local), Sanjeev Khanna (presidente local), Sampath Kannan (presidente local) | Filadelfia | Paul Beame (presidente del TCMF) | |
| 2009 | Dan Spielman (presidente del PC), David Shmoys (copresidente general), Milena Mihail (presidenta local), Prasad Tetali (presidente local) | Atlanta | " | |
| 2010 | Luca Trevisan (presidente del PC), Larry Larmore (presidente local) | Las Vegas | " | |
| 2011 | Rafail Ostrovsky (presidente del PC), Marek Chrobak (presidente local), Neal Yong (presidente local), | Palm Springs | " | |
| 2012 | Tim Roughgarden (presidente del comité organizador), Rebecca Wright (presidenta local), Lisa Zhang (presidenta local), Boaz Barak (presidente del taller), Avrim Blum (presidente del taller) | Nuevo Brunswick | David Shmoys (presidente del TCMF) | |
| 2013 | Omer Reingold (presidente del Comité de Políticas), Christos Papadimitriou (presidente local), Umesh Vazirani (presidente local), Moses Charikar (presidente del taller), Chris Umans (presidente del taller) | Berkeley | " | |
| 2014 | Boaz Barak (presidente del Comité de Políticas Públicas), Rebecca Wright (presidenta local), Lisa Zhang (presidenta local), Sanjeev Khanna (presidente del taller), Kunal Talwar (presidente del taller) | Filadelfia | " | |
| 2015 | Venkatesan Guruswami (presidente del PC), Kristin Kane (presidenta local), Prasad Raghavendra , Luca Trevisan | Berkeley | Rafail Ostrovsky (Presidente del TCMF) | |
| 2016 | Irit Dinur (presidenta del Comité de Políticas Públicas), Rebecca Wright (presidenta local), Lisa Zhang (presidenta local), Alexandr Andoni (presidente del taller), Aleksander Mądry (presidente del taller) | Nuevo Brunswick | " | |
| 2017 | Chris Umans (presidente del Comité de Políticas), Andrew Jan (presidente local), Prasad Raghavendra (presidente local), Aleksander Mądry (presidente del taller), James R. Lee (presidente del taller) | Berkeley | " | |
| 2018 | Mikkel Thorup (presidente del Comité de Políticas), Adi Rosén (presidente local), Sophie Laplante (copresidenta local), Alessandro Luongo (copresidente local), Robert Kleinberg (presidente del taller), James R. Lee (presidente del taller) | París, Francia | Yuval Rabani (presidente del TCMF), Shang-Hua Teng (vicepresidente del TCMF), Avrim Blum , Shafi Goldwasser , Rafail Ostrovsky y Toniann Pitassi | |
| 2019 | David Zuckerman (presidente del Comité de Políticas), Michael Dinitz (presidente local), Maria-Florina Balcan (presidenta del taller), Robert Kleinberg (presidente del taller) | Baltimore | " | Paul Beame, Allan Borodin , Uriel Feige , Monika Henzinger , Johan Håstad (presidente), Mihalis Yannakakis (premio inaugural) |
| 2020 | Sandy Irani (Presidente del PC), Debmalya Panigrahi (Presidente local), Kamesh Munagala (Presidente local), Maria-Florina Balcan (Presidente del taller), Alexander Sherstov (Presidente del taller) | Virtual (planeado para Raleigh/Durham) | " | Paul Beame (presidente), Uriel Feige , Anna Karlin , Yishay Mansour, Claire Mathieu , Luca Trevisan |
| 2021 | Nisheeth Vishnoi (presidente del Comité de Políticas Públicas), Alexandra Kolla (presidenta del Comité Local/Finanzas), Vincent Cohen-Addad (presidente del taller), Alexander Sherstov (presidente del taller) | Virtual (planeado para Denver) | " | Russell Impagliazzo , Yael Tauman Kalai , Anna Karlin , Yishay Mansour, Michael Saks , Luca Trevisan (presidente) |
| 2022 | Jelani Nelson (presidenta del Comité de Políticas Públicas), Alexandra Kolla (presidenta local), Rong Ge (presidenta de Finanzas), Vincent Cohen-Addad (presidente del taller), Henry Yuen (presidente del taller) | Denver | Shang-Hua Teng (presidente del TCMF), Venkatesan Guruswami (vicepresidente del TCMF), Avrim Blum , Shafi Goldwasser , Rafail Ostrovsky , Toniann Pitassi y Yuval Rabani | Russell Impagliazzo , Yael Tauman Kalai , Michael Saks (presidente), Alistair Sinclair , Éva Tardos , David Zuckerman |
| 2023 | Amit Sahai (presidente del PC), Shubhangi Saraf (copresidente del PC), Thomas Vidick (copresidente del PC), Alexandra Kolla (presidenta general), Pravesh Kothari (presidente del taller), Henry Yuen (presidente del taller) | Santa Cruz | " | Jin-Yi Cai , Faith Ellen , Leonard Schulman , Alistair Sinclair , Éva Tardos y David Zuckerman (presidente) |
| 2024 | Santosh Vempala (presidente del PC), Aravindan Vijayaraghavan (presidente general), Lev Reyzin (presidente general), Mohsen Ghaffari (presidente del taller), Pravesh Kothari (presidente del taller) | Chicago | Ran Canetti (presidente del TCMF), Rocco Servedio (vicepresidente del TCMF) |
Véase también
- Conferencias en informática teórica.
- La lista de conferencias de ciencias de la computación contiene otras conferencias académicas en ciencias de la computación.
Referencias
- Hartmanis, Juris (1981), "Observaciones sobre el desarrollo de la informática teórica", 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), "Cuestiones de infraestructura relacionadas con la investigación en teoría de la computación", ACM Computing Surveys , 28 (4es): 217–es, doi :10.1145/242224.242502, S2CID 195706843.
- Johnson, DS (1984), "La genealogía de la informática teórica: un informe preliminar", ACM SIGACT News , 16 (2): 36–49, doi :10.1145/1008959.1008960, S2CID 26789249.
Notas
- ^ "Premios al mejor artículo en 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".
- ^ Portada de FOCS de sinapsis de Alvy Ray Smith.
- ^ 1975, ..., 1987 Sitio web del IEEE
- ^ Simposio IEEE sobre fundamentos de la informática (FOCS)
Enlaces externos
- Sitio web oficial
- Sitio web de FOCS 2024
- Sitio web de FOCS 2023
- Sitio web de FOCS 2022
- Sitio web de FOCS 2021
- Sitio web de FOCS 2020
- Sitio web de FOCS 2019
- Sitio web de FOCS 2018
- Sitio web de FOCS 2017
- Sitio web de FOCS 2016
- Sitio web de FOCS 2015
- Sitio web de FOCS 2014
- Sitio web de FOCS 2013
- Sitio web de FOCS 2012
- Sitio web de FOCS 2011.
- Sitio web de FOCS 2010.
- Sitio web de FOCS 2009.
- Sitio web de FOCS 2008.
- Sitio web de FOCS 2007.
- Sitio web de FOCS 2006.
- Sitio web de FOCS 2005.
- Información de actas del FOCS en DBLP .
- Premio FOCS al mejor artículo estudiantil (Premio Machtey).
- Estadísticas de citas para FOCS/STOC/SODA, Piotr Indyk y Suresh Venkatasubramanian, julio de 2007.
- Bibliografía FOCS de Nelson HF Beebe, 23 de marzo de 2007.
