CINXE.COM

<html><head> <title>IEEE Annual Symposium on Foundations of Computer Science (FOCS) </title> <meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"> <meta charset="utf-8"> <meta name="viewport" content="width=device-width, initial-scale=1.0"> <link rel="stylesheet" href="css/bootstrap.css" type="text/css"/> <link rel="stylesheet" href="css/bootstrap-responsive.css" type="text/css"/> <link rel="stylesheet" href="css/syntax.css" type="text/css"/> </head><body bgcolor="#ffffff"> <table height="86" > <tbody><tr> <td height="158" ><img src="fox-large.gif" align="right" border="0" height="95" width="110"> </td><td height="158" width="64%"> <h2 align="center"><font face="Arial, Helvetica, sans-serif">IEEE Symposium on Foundations of Computer Science (FOCS)</font></h2> <h2 align="center"><font face="Arial, Helvetica, sans-serif"></font></h2> </td><td height="158" width="16%"><img src="IEEE.gif" align="left" border="0" height="95" width="96"> </td></tr> </table> <table cellpadding="8"> <tr><td align="center"> <img src="FOCScover.gif" align="center" border="0" height="300" ><br> <a href="FOCScover.gif">larger cover image</a></td> <td colspan="2"> <font face="Arial, Helvetica, sans-serif"> The IEEE Symposium on Foundations of Computer Science (FOCS) is the flagship conference sponsored by the IEEE Computer Society <a href="https://www.computer.org/portal/web/tcmf">Technical Committee on the Mathematical Foundations of Computing (TCMF)</a> 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. <h3> History</h3> 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 <a href="http://alvyray.com">Alvy Ray Smith</a> produced the distinctive <a href="http://alvyray.com/Art/Synapse.htm">cover art</a> 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. </td><td></td> </tr> </tbody></table> <h2 align="middle"><font face="Arial, Helvetica, sans-serif"> <h2>Upcoming Conferences</h2> <p><br> <h2 align="middle"><a href="https://focs.computer.org/2024/">FOCS 2024 </a> Chicago, IL, USA, October 27-30, 2024</h2> <p><br> <h2 align="middle"> Past FOCS Conferences </h2> <table class="table table-striped table-bordered table-condensed"> <thead> <tr><th>Year</th><th>FOCS #</th><th>Location</th><th>Web Page</th><th>Program & Papers (user/password)</th><th>Videos</th><th>Official Proceedings</th></tr> </thead> <tbody> <tr> <td> FOCS 2024 </td><td align="center"> 64rd </td><td> Santa Cruz, California </td><td align="center"> <a href="https://focs.computer.org/2023/" title="FOCS 2023"> Main Page </a> </td> <td> <a href="">Program & Papers</a> (focs2023/focs2023) </td> <td align="center"> <a href="">Videos</a> </td> <td align="center"> <a href="">Conference Site</a> (focs2023/focs2023)<br> <a href="https://www.computer.org/csdl/proceedings/focs/2023/1T96TPhKEqk">CSDL</a> <a href="https://ieeexplore.ieee.org/xpl/conhome/10353068/proceeding">IEEExplore</a> </td></tr> <tr> <td> FOCS 2022 </td><td align="center"> 63rd </td><td> Denver, Colorado </td><td align="center"> <a href="focs2022" title="FOCS 2022"> Main Page </a> </td> <td> <a href="">Program & Papers</a> (focs2022/focs2022) </td> <td align="center"> <a href="">Videos</a> </td> <td align="center"> <a href="FOCS-2022-Papers">Conference Site</a> (focs2022/focs2022)<br> <a href="https://www.computer.org/csdl/proceedings/focs/2022/1JtvJWOsVXi">CSDL</a> <a href="https://ieeexplore.ieee.org/xpl/conhome/9996589/proceeding">IEEExplore</a> </td></tr> <tr> <td> FOCS 2021 </td><td align="center"> 62nd </td><td> <strike>Denver, Colorado</strike><br> Online </td><td align="center"> <a href="http://focs2021.cs.colorado.edu/" title="FOCS 2021"> Main Page </a> </td> <td> <a href="">Program & Papers</a> (focs2021/focs2021) </td> <td align="center"> <a href="">Videos</a> </td> <td align="center"> <a href="FOCS-2021-Papers">Conference Site</a> (focs2021/focs2021)<br> <a href="https://www.computer.org/csdl/proceedings/focs/2022/1BtfsLBxNug">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/conhome/9719594/proceeding">IEEExplore</a> </td></tr> <tr> <td> FOCS 2020 </td><td align="center"> 61st </td><td> <strike>Durham, North Carolina</strike><br> Online </td><td align="center"> <a href="http://focs2020.cs.duke.edu/" title="FOCS 2020"> Main Page </a> </td> <td> <a href="FOCS-2020-Papers/program.html">Program & Papers</a> (focs2020/focs2020) </td> <td align="center"> <a href="">Videos</a> </td> <td align="center"> <a href="FOCS-2020-Papers">Conference Site</a> (focs2020/focs2020)<br> <a href="http://www.computer.org/csdl/proceedings/focs/2020/1qyxsFaq4YU">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=9317865">IEEExplore</a> </td></tr> <tr> <td> FOCS 2019 </td><td align="center"> 60th </td><td> Baltimore, Maryland </td><td align="center"> <a href="focs2019" title="FOCS 2019"> Main Page </a> </td> <td> <a href="FOCS-2019-Papers/program.html">Program & Papers</a> (focs2019/focs2019) </td> <td align="center"> <a href="http://bit.ly/FOCS19Videos">Videos</a> </td> <td align="center"> <a href="FOCS-2019-Papers">Conference Site</a> (focs2019/focs2019)<br> <a href="http://www.computer.org/csdl/proceedings/focs/2019/4952/00/index.html">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8936052">IEEExplore</a> </td></tr> </td> </tr> <tr> <td> FOCS 2018 </td><td align="center"> 59th </td><td> Paris, France </td><td align="center"> <a href="https://www.irif.fr/~focs2018" title="FOCS 2018"> Main Page </a> </td> <td> <a href="FOCS-2018-Papers/program.html">Program & Papers</a> (focs2018/focs2018) </td> <td align="center"> <a href="https://www.youtube.com/playlist?list=PLWuKzFqi0we4nAd6eg-s9XUSU3jnxnlB9">Videos</a> </td> <td align="center"> <a href="FOCS-2018-Papers">Conference Site</a> (focs2018/focs2018)<br> <a href="http://www.computer.org/csdl/proceedings/focs/2018/4230/00/index.html">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8554191">IEEExplore</a> </td></tr> </td> </tr> <tr> <td> FOCS 2017 </td><td align="center"> 58th </td><td> Berkeley, CA </td><td align="center"> <a href="focs2017" title="FOCS 2017"> Main Page </a> </td> <td> <a href="FOCS-2017-Papers/program.html">Program & Papers</a> (focs2017/focs2017) </td> <td align="center"> <a href="https://vimeo.com/channels/1315001">Videos</a> </td> <td align="center"> <a href="FOCS-2017-Papers">Conference Site</a> (focs2017/focs2017)<br> <a href="http://www.computer.org/csdl/proceedings/focs/2017/3464/00/index.html">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8100284">IEEExplore</a></td></tr> </td> </tr> <tr> <td> FOCS 2016 </td><td align="center"> 57th </td><td> New Brunswick, NJ </td><td align="center"> <a href="focs2016" title="FOCS 2016"> Main Page </a> </td> <td> <a href="FOCS-2016-Papers/program.html">Program & Papers</a> (focs2016/focs2016) </td> <td align="center"> <a href="http://techtalks.tv/focs2016">Videos</a> </td> <td align="center"> <a href="FOCS-2016-Papers">Conference Site</a> (focs2016/focs2016)<br> <a href="http://www.computer.org/csdl/proceedings/focs/2016/3933/00/index.html">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7781469">IEEExplore</a></td></tr> </td> </tr> <tr> <td> FOCS 2015 </td><td align="center"> 56th </td><td> Berkeley, CA </td><td align="center"> <a href="focs2015" title="FOCS 2015"> Main Page </a> </td> <td> <a href="focs2015/program.html">Program & Papers</a> (focs2015/focs2015) </td> <td align="center"> <a href="http://techtalks.tv/focs2015">Videos</a> </td> <td align="center"> <a href="FOCS-2015-Papers">Conference Site</a> (focs2015/focs2015)<br> <a href="http://www.computer.org/csdl/proceedings/focs/2015/8191/00/index.html">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7352273">IEEExplore</a></td></tr> </td> </tr> <tr><td> FOCS 2014 </td><td align="center"> 55th </td><td> Philadelphia, PA </td><td align="center"> <a href="focs2014" title="FOCS 2014"> Main Page </a> </td> <td align="center"> <a href="FOCS-2014-Papers">Program & Papers</a> (focs2014/focs2014) </td> <td align="center"> <a href="http://techtalks.tv/focs2014">Videos</a> </td><td align="center"><a href="http://www.computer.org/csdl/proceedings/focs/2014/6517/00/index.html">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6975722">IEEExplore</a></td></tr> <tr><td> FOCS 2013 </td><td align="center"> 54th </td><td> Berkeley, CA </td><td align="center"> <a href="focs2013" title="FOCS 2013"> Main Page </a> </td> <td align="center"> <a href="FOCS-2013-Papers">Program & Papers</a> (focs2013/focs2013) </td> <td align="center"> <a href="http://techtalks.tv/focs2013">Videos</a> </td><td align="center"><a href="http://www.computer.org/csdl/proceedings/focs/2013/5135/00/index.html">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6685222">IEEExplore</a></td></tr> <tr><td> FOCS 2012 </td><td align="center"> 53rd </td><td> New Brunswick, NJ </td><td align="center"> <a href="focs2012" title="FOCS 2012"> Main Page </a> </td> <td align="center"> <a href="FOCS-2012-Papers">Program & Papers</a> (focs2012/focs2012) </td> <td align="center"> <a href="http://techtalks.tv/focs/2012">Videos</a> </td><td align="center"><a href="http://www.computer.org/csdl/proceedings/focs/2012/4874/00/index.html">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6374356">IEEExplore</a></td></tr> <tr><td> FOCS 2011 </td><td align="center"> 52nd </td><td> Palm Springs, CA </td><td align="center"> <a href="focs2011" title="FOCS 2011"> Main Page </a> </td> <td align="center"> <a href="FOCS-2011-Papers">Program & Papers</a> (focs2011/focs2011) </td> <td align="center"> <a href="http://techtalks.tv/events/74"> Videos</a> </td><td align="center"><a href="http://www.computer.org/csdl/proceedings/focs/2011/4571/00/index.html">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6108120">IEEExplore</a></td></tr> <tr><td> FOCS 2010 </td><td align="center"> 51st </td><td> Las Vegas, NV </td><td align="center"> <a href="focs2010" title="FOCS 2010"> Main Page </a> </td> <td align="center"> <a href="FOCS-2010-Papers">Program & Papers</a> (focs2010/focs2010) </td> <td align="center"> <a href="http://techtalks.tv/events/13"> Videos</a> </td><td align="center"><a href="http://www.computer.org/csdl/proceedings/focs/2010/4244/00/index.html">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5669376">IEEExplore</a></td></tr> <tr><td> FOCS 2009 </td><td align="center"> 50th </td><td> Atlanta, GA </td><td align="center"> <a href="focs2009" title="FOCS 2009"> Main Page </a> </td> <td align="center"> <a href="focs2009/program.htm"">Program</a> </td> <td align="center"> <a href="http://143.215.129.127/focs2009/talks.php"> Videos</a> </td><td align="center"><a href="http://www.computer.org/csdl/proceedings/focs/2009/3850/00/index.html">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5438528">IEEExplore</a></td></tr> <tr><td> FOCS 2008 </td><td align="center"> 49th </td><td> Philadelphia, PA </td><td align="center"> <a href="focs2008" title="FOCS 2008"> Main Page </a> </td> <td align="center"> <a href="focs2008/program.html"">Program</a> </td> <td align="center"> </td><td align="center"><a href="http://www.computer.org/csdl/proceedings/focs/2008/3436/00/index.html">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=4690924&isYear=2008">IEEExplore</a></td></tr> <tr><td> FOCS 2007 </td><td align="center"> 48th </td><td> Providence, RI </td><td align="center"> <a href="focs2007" title="FOCS 2007"> Main Page </a> </td> <td align="center"> <a href="focs2007/Conference_Program.html"">Program</a> </td> <td align="center"> </td><td align="center"><a href="http://www.computer.org/csdl/proceedings/focs/2007/3010/00/index.html">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=4389467&isYear=2007">IEEExplore</a></td></tr> <tr><td> FOCS 2006 </td><td align="center"> 47th </td><td> Berkeley, CA </td><td align="center"> <a href="focs2006" title="FOCS 2006"> Main Page </a> </td> <td align="center"> <a href="focs2006/program.html"">Program</a> </td> <td> </td><td align="center"><a href="http://www.computer.org/csdl/proceedings/focs/2006/2720/00/index.html">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=4031330&isYear=2006">IEEExplore</a></td></tr> <tr><td> FOCS 2005 </td><td align="center"> 46th </td><td> Pittsburgh, PA </td><td align="center"> <a href="focs2005" title="FOCS 2005"> Main Page </a> </td> <td align="center"> <a href="focs2005/program.htm"">Program</a> </td> <td> </td><td align="center"><a href="http://www.computer.org/csdl/proceedings/focs/2005/2468/00/index.html">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=32664&isYear=2005">IEEExplore</a></td></tr> <tr><td> FOCS 2004 </td><td align="center"> 45th </td><td> Rome, Italy </td><td align="center"> <a href="focs2004" title="FOCS 2004"> Main Page </a> </td> <td align="center"> <a href="focs2004/focs04schedule.pdf"">Program</a> </td> <td> </td><td align="center"><a href="http://www.computer.org/csdl/proceedings/focs/2004/2228/00/index.html">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=29918&isYear=2004">IEEExplore</a></td></tr> <tr><td> FOCS 2003 </td><td align="center"> 44th </td><td> Cambridge, MA </td><td align="center"> <a href="focs2003/cfp.html"> Call for Papers </a> </td> <td align="center"> <a href="focs2003/program.html">Program</a> </td> <td> </td><td align="center"><a href="http://www.computer.org/csdl/proceedings/focs/2003/2040/00/index.html">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=27770&isYear=2003">IEEExplore</a></td></tr> <tr><td> FOCS 2002 </td><td align="center"> 43rd </td><td> Vancouver, BC </td><td align="center"> <a href="focs2002" title="FOCS 2002"> Main Page </a> </td> <td align="center"> <a href="focs2002/program.html"">Program</a> </td> <td> </td><td align="center"><a href="http://www.computer.org/csdl/proceedings/focs/2002/1822/00/index.html">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=26517&isYear=2002">IEEExplore</a></td></tr> <tr><td> FOCS 2001 </td><td align="center"> 42nd </td><td> Las Vegas, NV </td><td align="center"> <a href="focs2001" title="FOCS 2001"> Main Page </a> </td> <td align="center"> <a href="focs2001/Prel_Program.html"">Program</a> </td> <td> </td><td align="center"><a href="http://www.computer.org/csdl/proceedings/focs/2001/1390/00/index.html">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=20736&isYear=2001">IEEExplore</a></td></tr> <tr><td> FOCS 2000 </td><td align="center"> 41st </td><td> Redondo Beach, CA </td><td align="center"> <a href="focs2000" title="FOCS 2000"> Main Page </a> </td> <td align="center"> <a href="focs2000/brochure.pdf"">Conference Info & Program</a> </td> <td> </td><td align="center"><a href="http://www.computer.org/csdl/proceedings/focs/2000/0850/00/index.html">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=19278&isYear=2000">IEEExplore</a></td></tr> <tr><td> FOCS 1999 </td><td align="center"> 40th </td><td> New York, NY </td><td align="center"> <a href="focs1999" title="FOCS 1999"> Main Page </a> </td> <td align="center"> <a href="focs1999/brochure.pdf"">Conference Info & Program</a> </td> <td> </td><td align="center"><a href="http://www.computer.org/csdl/proceedings/focs/1999/0409/00/index.html">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=17631&isYear=1999">IEEExplore</a></td></tr> <tr><td> FOCS 1998 </td><td align="center"> 39th </td><td> Palo Alto, CA </td><td align="center"> <a href="focs1998" title="FOCS 1998"> Main Page </a> </td> <td align="center"> <a href="focs1998/program.pdf"">Conference Info & Program</a> </td> <td> </td><td align="center"><a href="http://www.computer.org/csdl/proceedings/focs/1998/9172/00/index.html">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=15971&isYear=1998">IEEExplore</a></td></tr> <tr><td> FOCS 1997 </td><td align="center"> 38th </td><td> Miami Beach, CA </td><td align="center"> <a href="focs1997" title="FOCS 1997"> Main Page </a> </td> <td align="center"> <a href="focs1997/program.pdf"">Conference Info & Program</a> </td> <td> </td><td align="center"><a href="http://www.computer.org/csdl/proceedings/focs/1997/8197/00/index.html">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=14088&isYear=1997">IEEExplore</a></td></tr> <tr><td> FOCS 1996 </td><td align="center"> 37th </td><td> Burlington, VT </td><td align="center"> <a href="focs1996" title="FOCS 1996"> Main Page </a> </td> <td align="center"> <a href="focs1999/program.pdf"">Conference Info & Program</a> </td> <td> </td><td align="center"><a href="http://www.computer.org/csdl/proceedings/focs/1996/7594/00/index.html">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=11790&isYear=1996">IEEExplore</a></td></tr> <tr><td> FOCS 1995 </td><td align="center"> 36th </td><td> Milwaukee, WI </td> <td align="center"> <a href="focs1995/cfp.pdf"> Call for Papers </a> </td><td align="center"> <a href="focs1995/program.pdf"> Conference Info & Program </a> </td> <td> </td><td align="center"><a href="http://www.computer.org/csdl/proceedings/focs/1995/7183/00/index.html">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=10957&isYear=1995">IEEExplore</a></td></tr> <tr><td> FOCS 1994 </td><td align="center"> 35th </td><td> Santa Fe, NM </td> <td align="center"> <a href="focs1994/cfp.pdf"> Call for Papers </a> </td><td align="center"> <a href="focs1994/program.pdf"> Conference Info & Program </a> </td> <td> </td><td align="center"><a href="http://www.computer.org/csdl/proceedings/focs/1994/6580/00/index.html">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=8384&isYear=1994">IEEExplore</a></td></tr> <tr><td> FOCS 1993 </td><td align="center"> 34th </td><td> Palo Alto, CA </td> <td align="center"> <a href="focs1993/cfp.pdf"> Call for Papers </a> </td><td align="center"> <a href="focs1993/brochure.pdf"> Conference Info & Program </a> </td> <td> </td><td align="center"><a href="http://www.computer.org/csdl/proceedings/focs/1993/4370/00/index.html">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=8405&isYear=1993">IEEExplore</a></td></tr> <tr><td> FOCS 1992 </td><td align="center"> 33rd </td><td> Pittsburgh, PA </td> <td align="center"> <a href="focs1992/cfp.txt"> Call for Papers </a> </td><td align="center"> <a href="focs1992/brochure.pdf"> Conference Info & Program </a> </td> <td> </td><td align="center"><a href="http://www.computer.org/csdl/proceedings/focs/1992/2900/00/index.html">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=6693&isYear=1992">IEEExplore</a></td></tr> <tr><td> FOCS 1991 </td><td align="center"> 32nd </td><td> San Juan, PR </td> <td align="center"> <a href="focs1991/cfp.txt"> Call for Papers </a> </td><td align="center"> <a href="focs1991/brochure.pdf"> Conference Info & Program </a> </td> <td> </td><td align="center"><a href="http://www.computer.org/csdl/proceedings/focs/1991/2445/00/index.html">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=4746&isYear=1991">IEEExplore</a></td></tr> <tr><td> FOCS 1990 </td><td align="center"> 31st </td><td> St. Louis, MO </td> <td align="center"> <a href="focs1990/focs90cfp.pdf"> Call for Papers </a> </td><td align="center"> <a href="focs1990/focs90program.pdf"> Conference Info & Program </a> </td> <td> </td><td align="center"><a href="http://www.computer.org/csdl/proceedings/focs/1990/2082/00/index.html">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=2915&isYear=1990">IEEExplore</a></td></tr> <tr><td> FOCS 1989 </td><td align="center"> 30th </td><td> Research Triangle Park, NC </td><td align="center"> <a href="focs1989/focs89cfp.pdf"> Call for Papers </a> </td><td align="center"> <a href="focs1989/program.pdf"> Conference Info & Program </a> </td> <td> </td><td align="center"> <a href="http://www.computer.org/csdl/proceedings/focs/1989/1982/00/index.html">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=2317&isYear=1989">IEEExplore</a></td></tr> <tr><td> FOCS 1988 </td><td align="center"> 29th </td><td> White Plains, NY </td><td align="center"> </td><td align="center"> <a href="focs1989/focs88program.pdf"> Conference Info & Program </a> </td> <td> </td ><td align="center"> <a href="http://www.computer.org/csdl/proceedings/focs/1988/0877/00/index.html">CSDL</a><a href="http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=889&isYear=1988">IEEExplore</a></td></tr> <tr><td> FOCS 1987 </td><td align="center"> 28th </td><td> Los Angeles, CA </td><td align="center"> <a href="focs1987/focs87cfp.pdf"> Call for Papers </a> </td><td align="center"> <a href="focs1987/focs87program.pdf"> Program </a> </td> <td> </td><td align="center"> <a href="http://www.computer.org/csdl/proceedings/focs/1987/5428/00/index.html">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=4568245&isYear=1987">IEEExplore</a></td></tr> <tr><td> FOCS 1986 </td><td align="center"> 27th </td><td> Toronto, ON </td><td align="center"> <a href="focs1986/focs86cfp.pdf"> Call for Papers </a> </td><td align="center"> <a href="focs1986/focs86program.pdf">Program </a> </td> <td> </td><td align="center"> <a href="http://www.computer.org/csdl/proceedings/focs/1986/5428/00/index.html">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=4568184&isYear=1986">IEEExplore</a></td></tr> <tr><td> FOCS 1985 </td><td align="center"> 26th </td><td> Portland, OR </td><td align="center"> <a href="focs1985/focs85cfp.pdf"> Call for Papers </a> </td><td align="center"> <a href="focs1985/focs85program.pdf"> Conference Info & Program </a> </td> <td> </td><td align="center"> <a href="http://www.computer.org/csdl/proceedings/focs/1985/5428/00/index.html">CSDL</a>`<a href="http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=4568116&isYear=1985">IEEExplore</a></td></tr> <tr><td> FOCS 1984 </td><td align="center"> 25th </td><td> Singer Island, FL </td><td align="center"> <a href="focs1984/focs84cfp.pdf"> Call for Papers </a> </td><td align="center"> <a href="focs1984/focs84program.pdf"> Conference Info & Program </a> </td> <td> </td><td align="center"> <a href="http://www.computer.org/csdl/proceedings/focs/1984/0591/00/index.html">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=15500&isYear=1984">IEEExplore</a></td></tr> <tr><td> FOCS 1983 </td><td align="center"> 24th </td><td> Tucson, AZ </td><td align="center"> <a href="focs1983/focs83cfp.pdf"> Call for Papers </a> </td><td align="center"> </td> <td> </td><td align="center"> <a href="http://www.computer.org/csdl/proceedings/focs/1983/5428/00/index.html">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=4568049&isYear=1983">IEEExplore</a></td></tr> <tr><td> FOCS 1982 </td><td align="center"> 23rd </td><td> Chicago, IL </td><td align="center"> </td><td align="center"> </td> <td> </td><td align="center"> <a href="http://www.computer.org/csdl/proceedings/focs/1982/5428/00/index.html">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=4568364&isYear=1982">IEEExplore</a></td></tr> <tr><td> FOCS 1981 </td><td align="center"> 22nd </td><td> Nashville, TN </td><td align="center"> <a href="focs1981/focs81cfp.pdf"> Call for Papers </a> </td><td align="center"> </td> <td> </td><td align="center"> <a href="http://www.computer.org/csdl/proceedings/focs/1981/5428/00/index.html">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=4568307&isYear=1981">IEEExplore</a></td></tr> <tr><td> FOCS 1980 </td><td align="center"> 21st </td><td> Syracuse, NY </td><td align="center"> </td><td align="center"> </td> <td> </td><td align="center"> <a href="http://www.computer.org/csdl/proceedings/focs/1980/5428/00/index.html">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=4567794&isYear=1980">IEEExplore</a></td></tr> <tr><td> FOCS 1979 </td><td align="center"> 20th </td><td> San Juan, PR </td><td align="center"> <a href="focs1979/focs79cfp.pdf"> Call for Papers </a> </td><td align="center"> <a href="focs1979/focs79program.pdf"> Program </a> </td> <td> </td><td align="center"> <a href="http://www.computer.org/csdl/proceedings/focs/1979/5428/00/index.html">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=4567991&isYear=1979">IEEExplore</a></td></tr> <tr><td> FOCS 1978 </td><td align="center"> 19th </td><td> Ann Arbor, MI </td><td align="center"> <a href="focs1978/focs78cfp.pdf"> Call for Papers </a> </td><td align="center"> <a href="focs1978/focs78program.pdf"> Conference Info & Program </a> </td> <td> </td><td align="center"> <a href="http://www.computer.org/csdl/proceedings/focs/1978/5428/00/index.html">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=4567952&isYear=1978">IEEExplore</a></td></tr> <tr><td> FOCS 1977 </td><td align="center"> 18th </td><td> Providence, RI </td><td align="center"> <a href="focs1977/focs77cfp.pdf"> Call for Papers </a> </td><td align="center"> <a href="focs1977/focs77program.pdf"> Conference Info & Program </a> </td> <td> </td><td align="center"> <a href="http://www.computer.org/csdl/proceedings/focs/1977/5428/00/index.html">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=4567915&isYear=1977">IEEExplore</a></td></tr> <tr><td> FOCS 1976 </td><td align="center"> 17th </td><td> Houston, TX </td><td align="center"> <a href="focs1976/focs76cfp.pdf"> Call for Papers </a> </td><td align="center"> </td> <td> </td><td align="center"> <a href="http://www.computer.org/csdl/proceedings/focs/1976/5428/00/index.html">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=4567878&isYear=1976">IEEExplore</a></td></tr> <tr><td> FOCS 1975 </td><td align="center"> 16th </td><td> Berkeley, CA </td><td align="center"> <a href="focs1975/focs75cfp.pdf"> Call for Papers </a> </td><td align="center"> <a href="focs1975/focs75program.pdf"> Conference Info & Program </a> </td> <td> </td><td align="center"> <a href="http://www.computer.org/csdl/proceedings/focs/1975/5428/00/index.html">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=4567845&isYear=1975">IEEExplore</a></td></tr> <tr><td> SWAT 1974 </td><td align="center"> 15th </td><td> New Orleans, LA </td><td align="center"> <a href="focs1974/swat74cfp.pdf"> Call for Papers </a> </td><td align="center"> <a href="focs1974/swat74program.pdf"> Conference Info & Program </a> </td> <td> </td><td align="center"> <a href="http://www.computer.org/csdl/proceedings/focs/1974/5428/00/index.html">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=4569748&isYear=1974">IEEExplore</a></td></tr> <tr><td> SWAT 1973 </td><td align="center"> 14th </td><td> Iowa City, IA </td><td align="center"> <a href="focs1973/swat73cfp.pdf"> Call for Papers </a> </td><td align="center"> <a href="focs1973/swat73program.pdf"> Conference Info & Program </a> </td> <td> </td><td align="center"> <a href="http://www.computer.org/csdl/proceedings/focs/1973/4847/00/index.html">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=4569718&isYear=1973">IEEExplore</a></td></tr> <tr><td> SWAT 1972 </td><td align="center"> 13th </td><td> College Park, MD </td><td align="center"> </td><td align="center"> </td> <td> </td><td align="center"> <a href="http://www.computer.org/csdl/proceedings/focs/1972/4847/00/index.html">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=4569686&isYear=1972">IEEExplore</a></td></tr> <tr><td> SWAT 1971 </td><td align="center"> 12th </td><td> Lansing, MI </td><td align="center"> <a href="focs1971/swat71cfp.pdf"> Call for Papers </a> </td><td align="center"> <a href="focs1971/swat71program.pdf"> Report & Program </a> </td> <td> </td><td align="center"> <a href="http://www.computer.org/csdl/proceedings/focs/1971/4847/00/index.html">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=4569654&isYear=1971">IEEExplore</a></td></tr> <tr><td> SWAT 1970 </td><td align="center"> 11th </td><td> Santa Monica, CA </td><td align="center"> </td><td align="center"> <a href="focs1970/swat70program.pdf"> Report & Program </a> </td> <td> </td><td align="center"> <a href="http://www.computer.org/csdl/proceedings/focs/1970/4847/00/index.html">CSDL</a> <a href="http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=4569624&isYear=1970">IEEExplore</a></td></tr> </tbody> </table> <h2> Proceedings from Older Conferences </h2> <table class="table-striped"><tbody> <tr><td>10th Annual Symposium on Switching and Automata Theory (SWAT 1969), Waterloo, ON</td><td><a href="http://www.computer.org/csdl/proceedings/focs/1969/4847/00/index.html">CSDL</a></td><td><a href="http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=4569593&isYear=1969">IEEExplore</a></td></tr> <tr><td>9th Annual Symposium on Switching and Automata Theory (SWAT 1968), Schenectady, NY</td><td><a href="http://www.computer.org/csdl/proceedings/focs/1968/4847/00/index.html">CSDL</a></td><td><a href="http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=4569547&isYear=1968">IEEExplore</a></td></tr> <tr><td>8th Annual Symposium on Switching and Automata Theory (SWAT 1967), Austin, TX</td><td><a href="http://www.computer.org/csdl/proceedings/focs/1967/4847/00/index.html">CSDL</a></td><td><a href="http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=5397191&isYear=1967">IEEExplore</a></td></tr> <tr><td>7th Annual Symposium on Switching and Automata Theory (SWAT 1966), Berkeley, CA</td><td><a href="http://www.computer.org/csdl/proceedings/focs/1966/4847/00/index.html">CSDL</a></td><td><a href="http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=4569513&isYear=1966">IEEExplore</a></td></tr> <tr><td>Sixth Annual Symposium on Switching Circuit Theory and Logical Design 1965, Ann Arbor, MI</td><td><a href="http://www.computer.org/csdl/proceedings/focs/1965/5428/00/index.html">CSDL</a></td><td><a href="http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=5397231&isYear=1965">IEEExplore</a></td></tr> <tr><td>Fifth Annual Symposium on Switching Circuit Theory and Logical Design 1964, Princeton, NJ</td><td><a href="http://www.computer.org/csdl/proceedings/focs/1964/5428/00/index.html">CSDL</a></td><td><a href="http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=4569797&isYear=1964">IEEExplore</a></td></tr> <tr><td>Fourth Annual Symposium on Switching Circuit Theory and Logical Design 1963, Chicago, IL</td><td><a href="http://www.computer.org/csdl/proceedings/focs/1963/5428/00/index.html">CSDL</a></td><td><a href="http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=4569779&isYear=1963">IEEExplore</a></td></tr> <tr><td>Third Annual Symposium on Switching Circuit Theory and Logical Design 1962, Chicago, IL</td><td><a href="http://www.computer.org/csdl/proceedings/focs/1962/5428/00/index.html">CSDL</a></td><td><a href="http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=5397170&isYear=1962">IEEExplore</a></td></tr> <tr><td>1st and 2nd Annual Symposia on Switching Circuit Theory and Logical Design 1960-1961, Chicago, IL-Detroit, MI</td><td><a href="http://www.computer.org/csdl/proceedings/focs/1961/5428/00/index.html">CSDL</a></td><td><a href="http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=5397267&isYear=1961">IEEExplore</a></td></tr> </table> </body></html>