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.

History

FOCS 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.

Upcoming Conferences


FOCS 2024 Chicago, IL, USA, October 27-30, 2024


Past FOCS Conferences

YearFOCS #LocationWeb PageProgram & Papers (user/password)VideosOfficial 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 Denver, Colorado
Online
Main Page Program & Papers (focs2021/focs2021) Videos Conference Site (focs2021/focs2021)
CSDL IEEExplore
FOCS 2020 61st Durham, North Carolina
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

Proceedings from Older Conferences

10th Annual Symposium on Switching and Automata Theory (SWAT 1969), Waterloo, ONCSDLIEEExplore
9th Annual Symposium on Switching and Automata Theory (SWAT 1968), Schenectady, NYCSDLIEEExplore
8th Annual Symposium on Switching and Automata Theory (SWAT 1967), Austin, TXCSDLIEEExplore
7th Annual Symposium on Switching and Automata Theory (SWAT 1966), Berkeley, CACSDLIEEExplore
Sixth Annual Symposium on Switching Circuit Theory and Logical Design 1965, Ann Arbor, MICSDLIEEExplore
Fifth Annual Symposium on Switching Circuit Theory and Logical Design 1964, Princeton, NJCSDLIEEExplore
Fourth Annual Symposium on Switching Circuit Theory and Logical Design 1963, Chicago, ILCSDLIEEExplore
Third Annual Symposium on Switching Circuit Theory and Logical Design 1962, Chicago, ILCSDLIEEExplore
1st and 2nd Annual Symposia on Switching Circuit Theory and Logical Design 1960-1961, Chicago, IL-Detroit, MICSDLIEEExplore