## 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. The stylized FOCS fox logo was created for the 26th FOCS. FOCS celebrated its 50th anniversary in 2009. |

IEEExplore keywords: focs (1975-present) swat (1966-1974) swct (1960/1-1965)

54th Annual Symposium on Foundations of Computer Science (FOCS 2013), Berkeley | CSDL | IEEExplore |

53rd Annual Symposium on Foundations of Computer Science (FOCS 2012), New Brunswick | CSDL | IEEExplore |

52nd Annual Symposium on Foundations of Computer Science (FOCS 2011), Palm Springs | CSDL | IEEExplore |

51st Annual Symposium on Foundations of Computer Science (FOCS 2010), Las Vegas | CSDL | IEEExplore |

50th Annual Symposium on Foundations of Computer Science (FOCS 2009), Atlanta | CSDL | IEEExplore |

49th Annual Symposium on Foundations of Computer Science (FOCS 2008), Philadelphia | CSDL | IEEExplore |

48th Annual Symposium on Foundations of Computer Science (FOCS 2007), Providence | CSDL | IEEExplore |

47th Annual Symposium on Foundations of Computer Science (FOCS 2006), Berkeley | CSDL | IEEExplore |

46th Annual Symposium on Foundations of Computer Science (FOCS 2005), Pittsburgh | CSDL | IEEExplore |

45th Annual Symposium on Foundations of Computer Science (FOCS 2004), Rome | CSDL | IEEExplore |

44th Annual Symposium on Foundations of Computer Science (FOCS 2003), Cambridge | CSDL | IEEExplore |

43rd Annual Symposium on Foundations of Computer Science (FOCS 2002), Vancouver | CSDL | IEEExplore |

42nd Annual Symposium on Foundations of Computer Science (FOCS 2001), Las Vegas | CSDL | IEEExplore |

41st Annual Symposium on Foundations of Computer Science (FOCS 2000), Redondo Beach | CSDL | IEEExplore |

40th Annual Symposium on Foundations of Computer Science (FOCS 1999), New York | CSDL | IEEExplore |

39th Annual Symposium on Foundations of Computer Science (FOCS 1998), Palo Alto | CSDL | IEEExplore |

38th Annual Symposium on Foundations of Computer Science (FOCS 1997), Miami Beach | CSDL | IEEExplore |

37th Annual Symposium on Foundations of Computer Science (FOCS 1996), Burlington | CSDL | IEEExplore |

36th Annual Symposium on Foundations of Computer Science (FOCS 1995), Milwaukee | CSDL | IEEExplore |

35th Annual Symposium on Foundations of Computer Science (FOCS 1994), Santa Fe | CSDL | IEEExplore |

34th Annual Symposium on Foundations of Computer Science (FOCS 1993), Palo Alto | CSDL | IEEExplore |

33rd Annual Symposium on Foundations of Computer Science (FOCS 1992), Pittsburgh | CSDL | IEEExplore |

32nd Annual Symposium of Foundations of Computer Science (FOCS 1991), San Juan | CSDL | IEEExplore |

31st Annual Symposium on Foundations of Computer Science (FOCS 1990), St. Louis | CSDL | IEEExplore |

30th Annual Symposium on Foundations of Computer Science (FOCS 1989), Research Triangle Park | CSDL | IEEExplore |

29th Annual Symposium on Foundations of Computer Science (FOCS 1988), White Plains | CSDL | IEEExplore |

28th Annual Symposium on Foundations of Computer Science (FOCS 1987), Los Angeles | CSDL | IEEExplore |

27th Annual Symposium on Foundations of Computer Science (FOCS 1986), Toronto | CSDL | IEEExplore |

26th Annual Symposium on Foundations of Computer Science (FOCS 1985), Portland | CSDL | IEEExplore |

25th Annual Symposium on Foundations of Computer Science (FOCS 1984), Singer Island | CSDL | IEEExplore |

24th Annual Symposium on Foundations of Computer Science (FOCS 1983), Tucson | CSDL | IEEExplore |

23rd Annual Symposium on Foundations of Computer Science (FOCS 1982), Chicago | CSDL | IEEExplore |

22nd Annual Symposium on Foundations of Computer Science (FOCS 1981), Nashville | CSDL | IEEExplore |

21st Annual Symposium on Foundations of Computer Science (FOCS 1980), Syracuse | CSDL | IEEExplore |

20th Annual Symposium on Foundations of Computer Science (FOCS 1979), San Juan | CSDL | IEEExplore |

19th Annual Symposium on Foundations of Computer Science (FOCS 1978), Ann Arbor | CSDL | IEEExplore |

18th Annual Symposium on Foundations of Computer Science (FOCS 1977), Providence | CSDL | IEEExplore |

17th Annual Symposium on Foundations of Computer Science (FOCS 1976), Houston | CSDL | IEEExplore |

16th Annual Symposium on Foundations of Computer Science (FOCS 1975), Berkeley | CSDL | IEEExplore |

15th Annual Symposium on Switching and Automata Theory (SWAT 1974), New Orleans | CSDL | IEEExplore |

14th Annual Symposium on Switching and Automata Theory (SWAT 1973), Iowa City | CSDL | IEEExplore |

13th Annual Symposium on Switching and Automata Theory (SWAT 1972), College Park | CSDL | IEEExplore |

12th Annual Symposium on Switching and Automata Theory (SWAT 1971), East Lansing | CSDL | IEEExplore |

11th Annual Symposium on Switching and Automata Theory (SWAT 1970), Santa Monica | CSDL | IEEExplore |

10th Annual Symposium on Switching and Automata Theory (SWAT 1969), Waterloo | CSDL | IEEExplore |

9th Annual Symposium on Switching and Automata Theory (SWAT 1968), Schenectady | CSDL | IEEExplore |

8th Annual Symposium on Switching and Automata Theory (SWAT 1967), Austin | CSDL | IEEExplore |

7th Annual Symposium on Switching and Automata Theory (SWAT 1966), Berkeley | CSDL | IEEExplore |

Sixth Annual Symposium on Switching Circuit Theory and Logical Design 1965, Ann Arbor | CSDL | IEEExplore |

Fifth Annual Symposium on Switching Circuit Theory and Logical Design 1964, Princeton | CSDL | IEEExplore |

Fourth Annual Symposium on Switching Circuit Theory and Logical Design 1963, Chicago | CSDL | IEEExplore |

Third Annual Symposium on Switching Circuit Theory and Logical Design 1962, Chicago | CSDL | IEEExplore |

1st and 2nd Annual Symposia on Switching Circuit Theory and Logical Design 1960-1961, Chicago-Detroit | CSDL | IEEExplore |