IEEE Symposium on Foundations of Computer Science (FOCS) |
larger cover image |
The IEEE Symposium on Foundations of Computer Science (FOCS) is the flagship
conference sponsored by the IEEE Computer Society Technical Committee on the
Mathematical Foundations of Computing (TCMF) and covers a broad range of
theoretical computer science. It is held annually in the autumn and is
paired with its sister conference, the annual Symposium on Theory
of Computing (STOC) held each spring and sponsored by ACM SIGACT.
HistoryFOCS was founded in 1960 as the Symposium on Switching Circuit Theory and Logical Design. The 1960 conference did not have a separate published proceedings but most of the papers were published in the second half of the proceedings of the 1961 conference. For the 7th instantiation of the conference in 1966, the name was changed to the Symposium on Switching and Automata Theory (SWAT). The greatly increased breadth of the conference led to a name change to its present one in 1975. At that time Alvy Ray Smith produced the distinctive cover art that was a notable feature of FOCS proceedings until FOCS ended the production of printed proceedings in 2010. The stylized FOCS fox logo was created for the 26th FOCS. FOCS celebrated its 50th anniversary in 2009. |
Year | FOCS # | Location | Web Page | Program & Papers (user/password) | Videos | Official Proceedings |
---|---|---|---|---|---|---|
FOCS 2024 | 64rd | Santa Cruz, California | Main Page | Program & Papers (focs2023/focs2023) | Videos |
Conference Site (focs2023/focs2023) CSDL IEEExplore |
FOCS 2022 | 63rd | Denver, Colorado | Main Page | Program & Papers (focs2022/focs2022) | Videos |
Conference Site (focs2022/focs2022) CSDL IEEExplore |
FOCS 2021 | 62nd |
Online | Main Page | Program & Papers (focs2021/focs2021) | Videos |
Conference Site (focs2021/focs2021) CSDL IEEExplore |
FOCS 2020 | 61st |
Online | Main Page | Program & Papers (focs2020/focs2020) | Videos |
Conference Site (focs2020/focs2020) CSDL IEEExplore |
FOCS 2019 | 60th | Baltimore, Maryland | Main Page | Program & Papers (focs2019/focs2019) | Videos |
Conference Site (focs2019/focs2019) CSDL IEEExplore |
FOCS 2018 | 59th | Paris, France | Main Page | Program & Papers (focs2018/focs2018) | Videos |
Conference Site (focs2018/focs2018) CSDL IEEExplore |
FOCS 2017 | 58th | Berkeley, CA | Main Page | Program & Papers (focs2017/focs2017) | Videos |
Conference Site (focs2017/focs2017) CSDL IEEExplore |
FOCS 2016 | 57th | New Brunswick, NJ | Main Page | Program & Papers (focs2016/focs2016) | Videos |
Conference Site (focs2016/focs2016) CSDL IEEExplore |
FOCS 2015 | 56th | Berkeley, CA | Main Page | Program & Papers (focs2015/focs2015) | Videos |
Conference Site (focs2015/focs2015) CSDL IEEExplore |
FOCS 2014 | 55th | Philadelphia, PA | Main Page | Program & Papers (focs2014/focs2014) | Videos | CSDL IEEExplore |
FOCS 2013 | 54th | Berkeley, CA | Main Page | Program & Papers (focs2013/focs2013) | Videos | CSDL IEEExplore |
FOCS 2012 | 53rd | New Brunswick, NJ | Main Page | Program & Papers (focs2012/focs2012) | Videos | CSDL IEEExplore |
FOCS 2011 | 52nd | Palm Springs, CA | Main Page | Program & Papers (focs2011/focs2011) | Videos | CSDL IEEExplore |
FOCS 2010 | 51st | Las Vegas, NV | Main Page | Program & Papers (focs2010/focs2010) | Videos | CSDL IEEExplore |
FOCS 2009 | 50th | Atlanta, GA | Main Page | Program | Videos | CSDL IEEExplore |
FOCS 2008 | 49th | Philadelphia, PA | Main Page | Program | CSDL IEEExplore | |
FOCS 2007 | 48th | Providence, RI | Main Page | Program | CSDL IEEExplore | |
FOCS 2006 | 47th | Berkeley, CA | Main Page | Program | CSDL IEEExplore | |
FOCS 2005 | 46th | Pittsburgh, PA | Main Page | Program | CSDL IEEExplore | |
FOCS 2004 | 45th | Rome, Italy | Main Page | Program | CSDL IEEExplore | |
FOCS 2003 | 44th | Cambridge, MA | Call for Papers | Program | CSDL IEEExplore | |
FOCS 2002 | 43rd | Vancouver, BC | Main Page | Program | CSDL IEEExplore | |
FOCS 2001 | 42nd | Las Vegas, NV | Main Page | Program | CSDL IEEExplore | |
FOCS 2000 | 41st | Redondo Beach, CA | Main Page | Conference Info & Program | CSDL IEEExplore | |
FOCS 1999 | 40th | New York, NY | Main Page | Conference Info & Program | CSDL IEEExplore | |
FOCS 1998 | 39th | Palo Alto, CA | Main Page | Conference Info & Program | CSDL IEEExplore | |
FOCS 1997 | 38th | Miami Beach, CA | Main Page | Conference Info & Program | CSDL IEEExplore | |
FOCS 1996 | 37th | Burlington, VT | Main Page | Conference Info & Program | CSDL IEEExplore | |
FOCS 1995 | 36th | Milwaukee, WI | Call for Papers | Conference Info & Program | CSDL IEEExplore | |
FOCS 1994 | 35th | Santa Fe, NM | Call for Papers | Conference Info & Program | CSDL IEEExplore | |
FOCS 1993 | 34th | Palo Alto, CA | Call for Papers | Conference Info & Program | CSDL IEEExplore | |
FOCS 1992 | 33rd | Pittsburgh, PA | Call for Papers | Conference Info & Program | CSDL IEEExplore | |
FOCS 1991 | 32nd | San Juan, PR | Call for Papers | Conference Info & Program | CSDL IEEExplore | |
FOCS 1990 | 31st | St. Louis, MO | Call for Papers | Conference Info & Program | CSDL IEEExplore | |
FOCS 1989 | 30th | Research Triangle Park, NC | Call for Papers | Conference Info & Program | CSDL IEEExplore | |
FOCS 1988 | 29th | White Plains, NY | Conference Info & Program | CSDLIEEExplore | ||
FOCS 1987 | 28th | Los Angeles, CA | Call for Papers | Program | CSDL IEEExplore | |
FOCS 1986 | 27th | Toronto, ON | Call for Papers | Program | CSDL IEEExplore | |
FOCS 1985 | 26th | Portland, OR | Call for Papers | Conference Info & Program | CSDL`IEEExplore | |
FOCS 1984 | 25th | Singer Island, FL | Call for Papers | Conference Info & Program | CSDL IEEExplore | |
FOCS 1983 | 24th | Tucson, AZ | Call for Papers | CSDL IEEExplore | ||
FOCS 1982 | 23rd | Chicago, IL | CSDL IEEExplore | |||
FOCS 1981 | 22nd | Nashville, TN | Call for Papers | CSDL IEEExplore | ||
FOCS 1980 | 21st | Syracuse, NY | CSDL IEEExplore | |||
FOCS 1979 | 20th | San Juan, PR | Call for Papers | Program | CSDL IEEExplore | |
FOCS 1978 | 19th | Ann Arbor, MI | Call for Papers | Conference Info & Program | CSDL IEEExplore | |
FOCS 1977 | 18th | Providence, RI | Call for Papers | Conference Info & Program | CSDL IEEExplore | |
FOCS 1976 | 17th | Houston, TX | Call for Papers | CSDL IEEExplore | ||
FOCS 1975 | 16th | Berkeley, CA | Call for Papers | Conference Info & Program | CSDL IEEExplore | |
SWAT 1974 | 15th | New Orleans, LA | Call for Papers | Conference Info & Program | CSDL IEEExplore | |
SWAT 1973 | 14th | Iowa City, IA | Call for Papers | Conference Info & Program | CSDL IEEExplore | |
SWAT 1972 | 13th | College Park, MD | CSDL IEEExplore | |||
SWAT 1971 | 12th | Lansing, MI | Call for Papers | Report & Program | CSDL IEEExplore | |
SWAT 1970 | 11th | Santa Monica, CA | Report & Program | CSDL IEEExplore |
10th Annual Symposium on Switching and Automata Theory (SWAT 1969), Waterloo, ON | CSDL | IEEExplore |
9th Annual Symposium on Switching and Automata Theory (SWAT 1968), Schenectady, NY | CSDL | IEEExplore |
8th Annual Symposium on Switching and Automata Theory (SWAT 1967), Austin, TX | CSDL | IEEExplore |
7th Annual Symposium on Switching and Automata Theory (SWAT 1966), Berkeley, CA | CSDL | IEEExplore |
Sixth Annual Symposium on Switching Circuit Theory and Logical Design 1965, Ann Arbor, MI | CSDL | IEEExplore |
Fifth Annual Symposium on Switching Circuit Theory and Logical Design 1964, Princeton, NJ | CSDL | IEEExplore |
Fourth Annual Symposium on Switching Circuit Theory and Logical Design 1963, Chicago, IL | CSDL | IEEExplore |
Third Annual Symposium on Switching Circuit Theory and Logical Design 1962, Chicago, IL | CSDL | IEEExplore |
1st and 2nd Annual Symposia on Switching Circuit Theory and Logical Design 1960-1961, Chicago, IL-Detroit, MI | CSDL | IEEExplore |