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 is a notable feature of FOCS proceedings today. The stylized FOCS fox logo was created for the 26th FOCS. FOCS celebrated its 50th anniversary in 2009.

Recent and Upcoming Conferences

FOCS 2014 Conference Main Page

FOCS 2013 Program+Papers(focs2013/focs2013)

Videos of FOCS 2013 Talks

FOCS 2013 Conference Call for Papers and Main Page

FOCS 2012 Program+Papers(focs2012/focs2012)

Videos of FOCS 2012 Talks

FOCS 2012 Conference Main Page - (Call for Papers)

FOCS 2011 Program+Papers(focs2011/focs2011)

Videos of FOCS 2011 Talks

FOCS 2011 Conference Main Page

FOCS 2010 Program+Papers(focs2010/focs2010)

Videos of FOCS 2010 Talks

FOCS 2010 Conference Main Page - (Call for Papers)

FOCS 2009 Conference Page

Videos of FOCS 2009 Talks

Links to FOCS Proceedings in CSDL and IEEExplore

CSDL index of FOCS proceedings by year
IEEExplore keywords: focs (1975-present) swat (1966-1974) swct (1960/1-1965)

53rd Annual Symposium on Foundations of Computer Science (FOCS 2012), New BrunswickCSDLIEEExplore
52nd Annual Symposium on Foundations of Computer Science (FOCS 2011), Palm SpringsCSDLIEEExplore
51st Annual Symposium on Foundations of Computer Science (FOCS 2010), Las VegasCSDLIEEExplore
50th Annual Symposium on Foundations of Computer Science (FOCS 2009), AtlantaCSDLIEEExplore
49th Annual Symposium on Foundations of Computer Science (FOCS 2008), PhiladelphiaCSDLIEEExplore
48th Annual Symposium on Foundations of Computer Science (FOCS 2007), ProvidenceCSDLIEEExplore
47th Annual Symposium on Foundations of Computer Science (FOCS 2006), BerkeleyCSDLIEEExplore
46th Annual Symposium on Foundations of Computer Science (FOCS 2005), PittsburghCSDLIEEExplore
45th Annual Symposium on Foundations of Computer Science (FOCS 2004), RomeCSDLIEEExplore
44th Annual Symposium on Foundations of Computer Science (FOCS 2003), CambridgeCSDLIEEExplore
43rd Annual Symposium on Foundations of Computer Science (FOCS 2002), VancouverCSDLIEEExplore
42nd Annual Symposium on Foundations of Computer Science (FOCS 2001), Las VegasCSDLIEEExplore
41st Annual Symposium on Foundations of Computer Science (FOCS 2000), Redondo BeachCSDLIEEExplore
40th Annual Symposium on Foundations of Computer Science (FOCS 1999), New YorkCSDLIEEExplore
39th Annual Symposium on Foundations of Computer Science (FOCS 1998), Palo AltoCSDLIEEExplore
38th Annual Symposium on Foundations of Computer Science (FOCS 1997), Miami BeachCSDLIEEExplore
37th Annual Symposium on Foundations of Computer Science (FOCS 1996), BurlingtonCSDLIEEExplore
36th Annual Symposium on Foundations of Computer Science (FOCS 1995), MilwaukeeCSDLIEEExplore
35th Annual Symposium on Foundations of Computer Science (FOCS 1994), Santa FeCSDLIEEExplore
34th Annual Symposium on Foundations of Computer Science (FOCS 1993), Palo AltoCSDLIEEExplore
33rd Annual Symposium on Foundations of Computer Science (FOCS 1992), PittsburghCSDLIEEExplore
32nd Annual Symposium of Foundations of Computer Science (FOCS 1991), San JuanCSDLIEEExplore
31st Annual Symposium on Foundations of Computer Science (FOCS 1990), St. LouisCSDLIEEExplore
30th Annual Symposium on Foundations of Computer Science (FOCS 1989), Research Triangle ParkCSDLIEEExplore
30th Annual Symposium on Foundations of Computer Science (FOCS 1989), Research Triangle ParkCSDLIEEExplore
29th Annual Symposium on Foundations of Computer Science (FOCS 1988), White PlainsCSDLIEEExplore
28th Annual Symposium on Foundations of Computer Science (FOCS 1987), Los AngelesCSDLIEEExplore
27th Annual Symposium on Foundations of Computer Science (FOCS 1986), TorontoCSDLIEEExplore
26th Annual Symposium on Foundations of Computer Science (FOCS 1985), PortlandCSDLIEEExplore
25th Annual Symposium on Foundations of Computer Science (FOCS 1984), Singer IslandCSDLIEEExplore
24th Annual Symposium on Foundations of Computer Science (FOCS 1983), TucsonCSDLIEEExplore
23rd Annual Symposium on Foundations of Computer Science (FOCS 1982), ChicagoCSDLIEEExplore
22nd Annual Symposium on Foundations of Computer Science (FOCS 1981), NashvilleCSDLIEEExplore
21st Annual Symposium on Foundations of Computer Science (FOCS 1980), SyracuseCSDLIEEExplore
20th Annual Symposium on Foundations of Computer Science (FOCS 1979), San JuanCSDLIEEExplore
19th Annual Symposium on Foundations of Computer Science (FOCS 1978), Ann ArborCSDLIEEExplore
18th Annual Symposium on Foundations of Computer Science (FOCS 1977), ProvidenceCSDLIEEExplore
17th Annual Symposium on Foundations of Computer Science (FOCS 1976), HoustonCSDLIEEExplore
16th Annual Symposium on Foundations of Computer Science (FOCS 1975), BerkeleyCSDLIEEExplore
15th Annual Symposium on Switching and Automata Theory (SWAT 1974), New OrleansCSDLIEEExplore
14th Annual Symposium on Switching and Automata Theory (SWAT 1973), Iowa CityCSDLIEEExplore
13th Annual Symposium on Switching and Automata Theory (SWAT 1972), College ParkCSDLIEEExplore
12th Annual Symposium on Switching and Automata Theory (SWAT 1971), East LansingCSDLIEEExplore
11th Annual Symposium on Switching and Automata Theory (SWAT 1970), Santa MonicaCSDLIEEExplore
10th Annual Symposium on Switching and Automata Theory (SWAT 1969), WaterlooCSDLIEEExplore
9th Annual Symposium on Switching and Automata Theory (SWAT 1968), SchenectadyCSDLIEEExplore
8th Annual Symposium on Switching and Automata Theory (SWAT 1967), AustinCSDLIEEExplore
7th Annual Symposium on Switching and Automata Theory (SWAT 1966), BerkeleyCSDLIEEExplore
Sixth Annual Symposium on Switching Circuit Theory and Logical Design 1965, Ann ArborCSDLIEEExplore
Fifth Annual Symposium on Switching Circuit Theory and Logical Design 1964, PrincetonCSDLIEEExplore
Fourth Annual Symposium on Switching Circuit Theory and Logical Design 1963, ChicagoCSDLIEEExplore
Third Annual Symposium on Switching Circuit Theory and Logical Design 1962, ChicagoCSDLIEEExplore
1st and 2nd Annual Symposia on Switching Circuit Theory and Logical Design 1960-1961, Chicago-DetroitCSDLIEEExplore