%%% -*-BibTeX-*-
%%% ====================================================================
%%%  BibTeX-file{
%%%     author          = "Nelson H. F. Beebe",
%%%     version         = "2.06",
%%%     date            = "14 October 2017",
%%%     time            = "08:48:19 MDT",
%%%     filename        = "focs.bib",
%%%     address         = "University of Utah
%%%                        Department of Mathematics, 110 LCB
%%%                        155 S 1400 E RM 233
%%%                        Salt Lake City, UT 84112-0090
%%%                        USA",
%%%     telephone       = "+1 801 581 5254",
%%%     FAX             = "+1 801 581 4148",
%%%     URL             = "http://www.math.utah.edu/~beebe",
%%%     checksum        = "16356 1512 6683 65485",
%%%     email           = "beebe at math.utah.edu, beebe at acm.org,
%%%                        beebe at computer.org (Internet)",
%%%     codetable       = "ISO/ASCII",
%%%     keywords        = "bibliography; BibTeX; IEEE Foundations of
%%%                        Computer Science (FOCS); IEEE Symposia on
%%%                        Switching and Automata Theory",
%%%     license         = "public domain",
%%%     supported       = "yes",
%%%     docstring       = "This is a bibliography of the proceedings
%%%                        volumes of the annual IEEE symposia on the
%%%                        Foundations of Computer Science (CODEN
%%%                        ASFPDV, ISSN 0272-5428) (1975--date).
%%%                        It does NOT include individual papers in
%%%                        these proceedings; they are covered in
%%%                        separate companion bibliographies,
%%%                        focs19xx.bib and focs20xx.bib.
%%%
%%%                        These symposia began with number 16 in 1975,
%%%                        as a continuation of the earlier IEEE Annual
%%%                        Symposia on Switching and Automata Theory
%%%                        (1965--1974).  Those in turn continued the
%%%                        IEEE Annual Symposia on Switching Circuit
%%%                        Theory and Logical Design (1960--1964).
%%%                        There are rudimentary entries provided for
%%%                        all of these early conferences, but the
%%%                        titles need improvement.
%%%
%%%                        The publisher's own IEEE Xplore database has
%%%                        data only for 1984, and 1988--date, and the
%%%                        IEEE INSPEC database has book entries (but
%%%                        not papers) only for 1969--1973.
%%%
%%%                        The publisher's World-Wide Web site
%%%                        (accessible by subscription only) for
%%%                        these conferences is
%%%
%%%                            http://ieee-focs.org
%%%
%%%                        At version 2.06, the year coverage looked
%%%                        like this:
%%%
%%%                             1960 (   1)    1978 (   1)    1996 (   1)
%%%                             1961 (   1)    1979 (   1)    1997 (   1)
%%%                             1962 (   1)    1980 (   1)    1998 (   1)
%%%                             1963 (   1)    1981 (   1)    1999 (   1)
%%%                             1964 (   1)    1982 (   1)    2000 (   1)
%%%                             1965 (   1)    1983 (   1)    2001 (   1)
%%%                             1966 (   1)    1984 (   1)    2002 (   1)
%%%                             1967 (   1)    1985 (   1)    2003 (   1)
%%%                             1968 (   1)    1986 (   1)    2004 (   1)
%%%                             1969 (   1)    1987 (   1)    2005 (   1)
%%%                             1970 (   1)    1988 (   1)    2006 (   1)
%%%                             1971 (   1)    1989 (   1)    2007 (   1)
%%%                             1972 (   1)    1990 (   1)    2008 (   1)
%%%                             1973 (   1)    1991 (   1)    2009 (   1)
%%%                             1974 (   1)    1992 (   1)    2010 (   1)
%%%                             1975 (   1)    1993 (   1)    2011 (   1)
%%%                             1976 (   1)    1994 (   1)    2012 (   1)
%%%                             1977 (   1)    1995 (   1)    2013 (   1)
%%%
%%%                             Proceedings:     54
%%%
%%%                             Total entries:   54
%%%
%%%                        Data for this bibliography has been collected
%%%                        primarily from the University of California
%%%                        MELVYL catalog, with small amounts of missing
%%%                        information supplied from the OCLC WorldCat
%%%                        catalog.
%%%
%%%                        Numerous errors in the sources noted above
%%%                        have been corrected.  Spelling has been
%%%                        verified with the UNIX spell and GNU ispell
%%%                        programs using the exception dictionary
%%%                        stored in the companion file with extension
%%%                        .sok.
%%%
%%%                        BibTeX citation tags are uniformly chosen as
%%%                        name:year:abbrev, where name is the family
%%%                        name of the first author or editor, year is a
%%%                        4-digit number, and abbrev is a 3-letter
%%%                        condensation of important title words.
%%%                        Citation tags were automatically generated by
%%%                        software developed for the BibNet Project.
%%%
%%%                        In this bibliography, entries are sorted
%%%                        by ascending year using the bibsort -byyear
%%%                        utility.  Year order has been chosen to
%%%                        make it easier to identify the most recent
%%%                        work.
%%%
%%%                        The checksum field above contains a CRC-16
%%%                        checksum as the first value, followed by the
%%%                        equivalent of the standard UNIX wc (word
%%%                        count) utility output of lines, words, and
%%%                        characters.  This is produced by Robert
%%%                        Solovay's checksum utility.",
%%%  }
%%% ====================================================================

%%% ====================================================================
%%% Acknowledgement abbreviations:

@String{ack-nhfb = "Nelson H. F. Beebe,
                    University of Utah,
                    Department of Mathematics, 110 LCB,
                    155 S 1400 E RM 233,
                    Salt Lake City, UT 84112-0090, USA,
                    Tel: +1 801 581 5254,
                    FAX: +1 801 581 4148,
                    e-mail: \path|beebe@math.utah.edu|,
                            \path|beebe@acm.org|,
                            \path|beebe@computer.org| (Internet),
                    URL: \path|http://www.math.utah.edu/~beebe/|"}

%%% ====================================================================
%%% Publisher abbreviations:

@String{pub-IEEE                = "IEEE Computer Society Press"}

@String{pub-IEEE:adr            = "1109 Spring Street, Suite 300, Silver
                                  Spring, MD 20910, USA"}

%%% ====================================================================
%%% Bibliography entries:

@Proceedings{IEEE:1960:SCT,
  editor =       "{IEEE}",
  booktitle =    "Switching Circuit Theory and Logical Design. 1st
                 Annual Symposium. Selected papers and program. October
                 9--14, 1960",
  title =        "Switching Circuit Theory and Logical Design. 1st
                 Annual Symposium. Selected papers and program. October
                 9--14, 1960",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "????",
  year =         "1960",
  CODEN =        "ASFPDV",
  ISSN =         "0272-5428",
  LCCN =         "????",
  bibdate =      "Fri Feb 22 07:41:20 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib",
  acknowledgement = ack-nhfb,
  annote =       "These proceedings may have included only in the 1961
                 proceedings, according to one library catalog record.",
  keywords =     "switching theory -- congresses",
}

@Proceedings{IEEE:1961:SCT,
  editor =       "{IEEE}",
  booktitle =    "Switching Circuit Theory and Logical Design. October
                 17--20, 1961, Detroit, MI",
  title =        "Switching Circuit Theory and Logical Design. October
                 17--20, 1961, Detroit, {MI}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "????",
  year =         "1961",
  CODEN =        "ASFPDV",
  ISSN =         "0272-5428",
  LCCN =         "????",
  bibdate =      "Fri Feb 22 07:41:20 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib",
  acknowledgement = ack-nhfb,
  keywords =     "switching theory -- congresses",
}

@Proceedings{IEEE:1962:PTA,
  editor =       "{IEEE}",
  booktitle =    "Proceedings of the Third Annual Symposium on Switching
                 Circuit Theory and Logical Design: Chicago, October
                 7--12, 1962",
  title =        "Proceedings of the Third Annual Symposium on Switching
                 Circuit Theory and Logical Design: Chicago, October
                 7--12, 1962",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "199",
  year =         "1962",
  CODEN =        "ASFPDV",
  ISSN =         "0272-5428",
  LCCN =         "????",
  bibdate =      "Fri Feb 22 07:41:20 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib",
  acknowledgement = ack-nhfb,
  keywords =     "switching theory -- congresses",
}

@Proceedings{IEEE:1963:SCT,
  editor =       "{IEEE}",
  booktitle =    "Switching circuit theory and logical design:
                 proceedings of the fourth annual symposium: Chicago,
                 Ill., October 28--30, 1963",
  title =        "Switching circuit theory and logical design:
                 proceedings of the fourth annual symposium: Chicago,
                 Ill., October 28--30, 1963",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "152",
  year =         "1963",
  CODEN =        "ASFPDV",
  ISSN =         "0272-5428",
  LCCN =         "TK7885.A1 S92 1963-64",
  bibdate =      "Fri Feb 22 07:41:20 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib",
  acknowledgement = ack-nhfb,
  keywords =     "switching theory -- congresses",
}

@Proceedings{IEEE:1964:SCT,
  editor =       "{IEEE}",
  booktitle =    "Switching circuit theory and logical design:
                 proceedings of the fifth annual symposium: Princeton,
                 {N.J.}, November 11--13, 1964",
  title =        "Switching circuit theory and logical design:
                 proceedings of the fifth annual symposium: Princeton,
                 {N.J.}, November 11--13, 1964",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "248",
  year =         "1964",
  CODEN =        "ASFPDV",
  ISSN =         "0272-5428",
  LCCN =         "TK7885.A1 S92 1963-64",
  bibdate =      "Fri Feb 22 07:41:20 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib",
  acknowledgement = ack-nhfb,
  keywords =     "switching theory -- congresses",
}

@Proceedings{IEEE:1965:ICR,
  editor =       "{IEEE}",
  booktitle =    "1965 {IEEE} conference record on switching circuit
                 theory and logical design; papers presented at the
                 sixth annual symposium, University of Michigan, Ann
                 Arbor, Mich., October 6--8, 1965",
  title =        "1965 {IEEE} conference record on switching circuit
                 theory and logical design; papers presented at the
                 sixth annual symposium, University of Michigan, Ann
                 Arbor, Mich., October 6--8, 1965",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "326",
  year =         "1965",
  CODEN =        "ASFPDV",
  ISSN =         "0272-5428",
  LCCN =         "QA267 .S95 1965",
  bibdate =      "Fri Feb 22 07:41:20 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib",
  acknowledgement = ack-nhfb,
  keywords =     "machine theory -- congresses; switching theory --
                 congresses",
}

@Proceedings{IEEE:1966:ICR,
  editor =       "{IEEE}",
  booktitle =    "{IEEE} conference record of 1966 seventh annual
                 symposium on switching and automata theory : papers
                 presented at the seventh annual symposium : University
                 of California, Berkeley, Calif., October 26-28, 1966",
  title =        "{IEEE} conference record of 1966 seventh annual
                 symposium on switching and automata theory : papers
                 presented at the seventh annual symposium : University
                 of California, Berkeley, Calif., October 26-28, 1966",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "304",
  year =         "1966",
  CODEN =        "ASFPDV",
  ISSN =         "0272-5428",
  LCCN =         "TK7885.A1 S92 1966",
  bibdate =      "Fri Feb 22 07:16:19 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib",
  acknowledgement = ack-nhfb,
  keywords =     "switching theory -- congresses",
}

@Proceedings{IEEE:1967:ICR,
  editor =       "{IEEE}",
  booktitle =    "{IEEE} conference record of 1967 Eighth Annual
                 Symposium on Switching and Automata Theory : papers
                 presented at the Eighth Annual Symposium, University of
                 Texas, October 18--20, 1967",
  title =        "{IEEE} conference record of 1967 Eighth Annual
                 Symposium on Switching and Automata Theory : papers
                 presented at the Eighth Annual Symposium, University of
                 Texas, October 18--20, 1967",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "335",
  year =         "1967",
  CODEN =        "ASFPDV",
  ISSN =         "0272-5428",
  LCCN =         "????",
  bibdate =      "Fri Feb 22 07:16:19 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib",
  acknowledgement = ack-nhfb,
  keywords =     "robots -- congresses; sequential machine theory --
                 congresses; switching theory -- congresses",
}

@Proceedings{IEEE:1968:ICR,
  editor =       "{IEEE}",
  booktitle =    "{IEEE} conference record of 1968 ninth annual
                 Symposium on Switching and Automata Theory : papers
                 presented at the ninth annual Symposium, Schenectady,
                 New York, October 15--18, 1968",
  title =        "{IEEE} conference record of 1968 ninth annual
                 Symposium on Switching and Automata Theory : papers
                 presented at the ninth annual Symposium, Schenectady,
                 New York, October 15--18, 1968",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "448",
  year =         "1968",
  CODEN =        "ASFPDV",
  ISSN =         "0272-5428",
  LCCN =         "TK7885.A1 S92 1968",
  bibdate =      "Fri Feb 22 07:16:19 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib",
  acknowledgement = ack-nhfb,
  keywords =     "automata -- congresses; sequential machine theory --
                 congresses; switching theory -- congresses",
}

@Proceedings{IEEE:1969:ICR,
  editor =       "{IEEE}",
  booktitle =    "{IEEE} conference record of 1969 tenth annual
                 Symposium on Switching and Automata Theory : papers
                 presented at the tenth annual Symposium, Waterloo,
                 Ontario, Canada, October 15--17, 1969",
  title =        "{IEEE} conference record of 1969 tenth annual
                 Symposium on Switching and Automata Theory : papers
                 presented at the tenth annual Symposium, Waterloo,
                 Ontario, Canada, October 15--17, 1969",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "276",
  year =         "1969",
  CODEN =        "ASFPDV",
  ISSN =         "0272-5428",
  LCCN =         "TK7885.A1 S92 1969",
  bibdate =      "Fri Feb 22 07:16:19 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib",
  acknowledgement = ack-nhfb,
  keywords =     "automata -- congresses; sequential machine theory --
                 congresses; switching theory -- congresses",
}

@Proceedings{IEEE:1970:ICR,
  editor =       "{IEEE}",
  booktitle =    "{IEEE} conference record of 1970 Eleventh Annual
                 Symposium on Switching and Automata Theory : papers
                 presented at the Eleventh Annual Symposium, Santa
                 Monica, Calif., October 28--30, 1970",
  title =        "{IEEE} conference record of 1970 Eleventh Annual
                 Symposium on Switching and Automata Theory : papers
                 presented at the Eleventh Annual Symposium, Santa
                 Monica, Calif., October 28--30, 1970",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "239",
  year =         "1970",
  CODEN =        "ASFPDV",
  ISSN =         "0272-5428",
  LCCN =         "TK7885.A1 S92 1970",
  bibdate =      "Fri Feb 22 07:16:19 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib",
  acknowledgement = ack-nhfb,
  keywords =     "computers -- circuits -- congresses; switching theory
                 -- congresses",
}

@Proceedings{IEEE:1971:CRT,
  editor =       "{IEEE}",
  booktitle =    "Conference record, 1971 twelfth annual Symposium on
                 Switching and Automata Theory : papers presented at the
                 twelfth annual symposium, East Lansing, Mich., October
                 13--15, 1971",
  title =        "Conference record, 1971 twelfth annual Symposium on
                 Switching and Automata Theory : papers presented at the
                 twelfth annual symposium, East Lansing, Mich., October
                 13--15, 1971",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "v + 218",
  year =         "1971",
  CODEN =        "ASFPDV",
  ISSN =         "0272-5428",
  LCCN =         "TK7885.A1 S92 1971",
  bibdate =      "Fri Feb 22 07:16:19 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib",
  acknowledgement = ack-nhfb,
  keywords =     "automata -- congresses; sequential machine theory --
                 congresses; switching theory -- congresses",
}

@Proceedings{IEEE:1972:ASS,
  editor =       "{IEEE}",
  booktitle =    "13th Annual Symposium on Switching and Automata
                 Theory, October 25--27, 1972",
  title =        "13th Annual Symposium on Switching and Automata
                 Theory, October 25--27, 1972",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "230",
  year =         "1972",
  CODEN =        "ASFPDV",
  ISSN =         "0272-5428",
  LCCN =         "TK7885.A1 S92 1972",
  bibdate =      "Fri Feb 22 07:16:19 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib",
  acknowledgement = ack-nhfb,
  keywords =     "automata -- congresses; sequential machine theory --
                 congresses; switching theory -- congresses",
}

@Proceedings{IEEE:1973:ASS,
  editor =       "{IEEE}",
  booktitle =    "14th Annual Symposium on Switching and Automata
                 Theory: Computer Science Department of the University
                 of Iowa, October 15--17, 1973",
  title =        "14th Annual Symposium on Switching and Automata
                 Theory: Computer Science Department of the University
                 of Iowa, October 15--17, 1973",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "v + 213",
  year =         "1973",
  CODEN =        "ASFPDV",
  ISSN =         "0272-5428",
  LCCN =         "QA268.5 .S9 1973",
  bibdate =      "Fri Feb 22 07:16:19 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib",
  acknowledgement = ack-nhfb,
  keywords =     "machine theory -- congresses; robots -- congresses;
                 sequential machine theory -- congresses; switching
                 theory -- congresses; symposium on switching and
                 automata theory (14th : 1973 : University of Iowa)",
}

@Proceedings{IEEE:1974:ASS,
  editor =       "{IEEE}",
  booktitle =    "15th Annual Symposium on Switching and Automata
                 Theory: University of New Orleans",
  title =        "15th Annual Symposium on Switching and Automata
                 Theory: University of New Orleans",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "v + 211",
  year =         "1974",
  CODEN =        "ASFPDV",
  ISSN =         "0272-5428",
  LCCN =         "TK7885.A1 S92 1974",
  bibdate =      "Fri Feb 22 07:16:19 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib",
  acknowledgement = ack-nhfb,
  keywords =     "automata -- congresses; sequential machine theory --
                 congresses; switching theory -- congresses",
}

@Proceedings{IEEE:1975:ASF,
  editor =       "IEEE",
  booktitle =    "16th Annual Symposium on Foundations of Computer
                 Science, October 13--15, 1975, Berkeley, California",
  title =        "16th Annual Symposium on Foundations of Computer
                 Science, October 13--15, 1975, Berkeley, California",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "v + 193",
  year =         "1975",
  CODEN =        "ASFPDV",
  ISBN =         "????",
  ISBN-13 =      "????",
  ISSN =         "0272-5428",
  LCCN =         "QA 267 S95 1975",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib",
  acknowledgement = ack-nhfb,
  keywords =     "computational complexity --- congresses; formal
                 languages --- congresses; machine theory ---
                 congresses",
}

@Proceedings{IEEE:1976:ASF,
  editor =       "IEEE",
  booktitle =    "17th annual Symposium on Foundations of Computer
                 Science, October 25--27, 1976, Houston, Texas",
  title =        "17th annual Symposium on Foundations of Computer
                 Science, October 25--27, 1976, Houston, Texas",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "v + 276",
  year =         "1976",
  CODEN =        "ASFPDV",
  ISBN =         "????",
  ISBN-13 =      "????",
  ISSN =         "0272-5428",
  LCCN =         "QA75.5 .S97 1976",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib",
  acknowledgement = ack-nhfb,
  keywords =     "electronic data processing --- congresses; electronic
                 digital computers --- programming --- congresses;
                 machine theory --- congresses",
}

@Proceedings{IEEE:1977:ASF,
  editor =       "IEEE",
  booktitle =    "18th annual Symposium on Foundations of Computer
                 Science, October 31--November 2, 1977, Providence,
                 Rhode Island",
  title =        "18th annual Symposium on Foundations of Computer
                 Science, October 31--November 2, 1977, Providence,
                 Rhode Island",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "v + 269",
  year =         "1977",
  CODEN =        "ASFPDV",
  ISBN =         "????",
  ISBN-13 =      "????",
  ISSN =         "0272-5428",
  LCCN =         "TK7885.A1 S92 1977",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib",
  acknowledgement = ack-nhfb,
  keywords =     "electronic data processing --- congresses; electronic
                 digital computers --- programming --- congresses;
                 machine theory --- congresses",
}

@Proceedings{IEEE:1978:ASF,
  editor =       "IEEE",
  booktitle =    "19th annual Symposium on Foundations of Computer
                 Science (formerly called the Annual Symposium on
                 Switching and Automata Theory) Oct. 16--18, 1978, Ann
                 Arbor, Michigan",
  title =        "19th annual Symposium on Foundations of Computer
                 Science (formerly called the Annual Symposium on
                 Switching and Automata Theory) Oct. 16--18, 1978, Ann
                 Arbor, Michigan",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "v + 290",
  year =         "1978",
  CODEN =        "ASFPDV",
  ISBN =         "????",
  ISBN-13 =      "????",
  ISSN =         "0272-5428",
  LCCN =         "TK7885.A1 S92 1978",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib",
  note =         "IEEE order number 78 CH1397-9C.",
  acknowledgement = ack-nhfb,
  keywords =     "electronic data processing --- congresses; electronic
                 digital computers --- programming --- congresses;
                 machine theory --- congresses",
}

@Proceedings{IEEE:1979:ASF,
  editor =       "{IEEE}",
  booktitle =    "20th Annual Symposium on Foundations of Computer
                 Science: Oct. 29--31, 1979, San Juan, Puerto Rico",
  title =        "20th Annual Symposium on Foundations of Computer
                 Science: Oct. 29--31, 1979, San Juan, Puerto Rico",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "vii + 431",
  year =         "1979",
  CODEN =        "ASFPDV",
  ISBN =         "????",
  ISBN-13 =      "????",
  ISSN =         "0272-5428",
  LCCN =         "QA267 .S95 1979; TK7885.A1 S92 1979",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib",
  acknowledgement = ack-nhfb,
  keywords =     "algorithms --- congresses; computational complexity
                 --- congresses; electronic data processing ---
                 congresses; electronic digital computers ---
                 programming --- congresses; machine theory ---
                 congresses",
}

@Proceedings{IEEE:1980:ASF,
  editor =       "{IEEE}",
  booktitle =    "21st annual Symposium on Foundations of Computer
                 Science: October 13--15, 1980, Syracuse, New York",
  title =        "21st annual Symposium on Foundations of Computer
                 Science: October 13--15, 1980, Syracuse, New York",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "vi + 421",
  year =         "1980",
  CODEN =        "ASFPDV",
  ISBN =         "????",
  ISBN-13 =      "????",
  ISSN =         "0272-5428",
  LCCN =         "QA76.6 .S95 1980; TK7885.A1 S92 1980",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib",
  note =         "Formerly called the Annual Symposium on Switching and
                 Automata Theory. IEEE catalog no. 80CH1498-5.",
  acknowledgement = ack-nhfb,
  keywords =     "algorithms --- congresses; automata --- congresses;
                 electronic data processing --- congresses; electronic
                 digital computers --- programming --- congresses;
                 machine theory --- congresses; switching theory ---
                 congresses",
}

@Proceedings{IEEE:1981:ASF,
  editor =       "{IEEE}",
  booktitle =    "22nd Annual Symposium on Foundations of Computer
                 Science: October 28--30, 1981, [Nashville, Tennessee:
                 papers]",
  title =        "22nd Annual Symposium on Foundations of Computer
                 Science: October 28--30, 1981, [Nashville, Tennessee:
                 papers]",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "ix + 429",
  year =         "1981",
  CODEN =        "ASFPDV",
  ISBN =         "????",
  ISBN-13 =      "????",
  ISSN =         "0272-5428",
  LCCN =         "TK7885.A1 S92 1981; QA76.6 .S95 1981",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib",
  note =         "Formerly called the Annual Symposium on Switching and
                 Automata Theory. IEEE catalog no. 81CH1695-6.",
  acknowledgement = ack-nhfb,
  keywords =     "automata --- congresses; electronic data processing
                 --- congresses; electronic digital computers ---
                 programming --- congresses; machine theory ---
                 congresses; switching theory --- congresses",
}

@Proceedings{IEEE:1982:ASF,
  editor =       "{IEEE}",
  booktitle =    "23rd annual Symposium on Foundations of Computer
                 Science, November 3--5, 1982, Chicago, Illinois",
  title =        "23rd annual Symposium on Foundations of Computer
                 Science, November 3--5, 1982, Chicago, Illinois",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "vii + 387",
  year =         "1982",
  CODEN =        "ASFPDV",
  ISBN =         "????",
  ISBN-13 =      "????",
  ISSN =         "0272-5428",
  LCCN =         "QA76.6 .S95 1982",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib",
  note =         "IEEE catalog no. 82CH1806-9. IEEE Computer Society
                 order no. 440.",
  acknowledgement = ack-nhfb,
  keywords =     "electronic data processing --- congresses; electronic
                 digital computers --- programming --- congresses;
                 machine theory --- congresses",
}

@Proceedings{IEEE:1983:ASF,
  editor =       "{IEEE}",
  booktitle =    "24rd Annual Symposium on Foundations of Computer
                 Science: November 7--9, 1983, Tucson, Arizona",
  title =        "24rd Annual Symposium on Foundations of Computer
                 Science: November 7--9, 1983, Tucson, Arizona",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xii + 477",
  year =         "1983",
  CODEN =        "ASFPDV",
  ISBN =         "0-8186-0508-1",
  ISBN-13 =      "978-0-8186-0508-6",
  ISSN =         "0272-5428",
  LCCN =         "QA76.6 .S95 1983",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib",
  note =         "IEEE catalog no. 83CH1938-0.",
  acknowledgement = ack-nhfb,
  keywords =     "algorithms --- congresses; computational complexity
                 --- congresses; electronic data processing ---
                 congresses; electronic digital computers ---
                 programming --- congresses",
}

@Proceedings{IEEE:1984:ASF,
  editor =       "{IEEE}",
  booktitle =    "25th annual Symposium on Foundations of Computer
                 Science, October 24--26, 1984, Singer Island, Florida",
  title =        "25th annual Symposium on Foundations of Computer
                 Science, October 24--26, 1984, Singer Island, Florida",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xii + 518",
  year =         "1984",
  CODEN =        "ASFPDV",
  ISBN =         "0-8186-8591-3, 0-8186-0591-X (paperback),
                 0-8186-4591-1 (microfiche)",
  ISBN-13 =      "978-0-8186-8591-0, 978-0-8186-0591-8 (paperback),
                 978-0-8186-4591-4 (microfiche)",
  ISSN =         "0272-5428",
  LCCN =         "QA 76 S979 1984",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib",
  note =         "IEEE catalog no. 84CH2085-9.",
  acknowledgement = ack-nhfb,
  keywords =     "electronic data processing --- congresses; electronic
                 digital computers --- programming --- congresses;
                 machine theory --- congresses",
}

@Proceedings{IEEE:1985:ASF,
  editor =       "{IEEE}",
  booktitle =    "26th annual Symposium on Foundations of Computer
                 Science, October 21--23, 1985, Portland, Oregon",
  title =        "26th annual Symposium on Foundations of Computer
                 Science, October 21--23, 1985, Portland, Oregon",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xii + 552",
  year =         "1985",
  CODEN =        "ASFPDV",
  ISBN =         "0-8186-4644-6 (microfiche), 0-8186-8644-8 (casebound),
                 0-8186-0644-4 (paperback)",
  ISBN-13 =      "978-0-8186-4644-7 (microfiche), 978-0-8186-8644-3
                 (casebound), 978-0-8186-0644-1 (paperback)",
  ISSN =         "0272-5428",
  LCCN =         "QA 76 S979 1985",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib",
  note =         "IEEE catalog no. 85CH2224-4. IEEE Computer Society
                 order no. 644.",
  acknowledgement = ack-nhfb,
  keywords =     "electronic data processing --- congresses; electronic
                 digital computers --- programming --- congresses;
                 machine theory --- congresses",
}

@Proceedings{IEEE:1986:ASF,
  editor =       "{IEEE}",
  booktitle =    "27th annual Symposium on Foundations of Computer
                 Science, October 27--29, 1986, Toronto, ON, Canada",
  title =        "27th annual Symposium on Foundations of Computer
                 Science, October 27--29, 1986, Toronto, {ON}, Canada",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xiv + 517",
  year =         "1986",
  CODEN =        "ASFPDV",
  ISBN =         "0-8186-0740-8 (paperback), 0-8186-4740-X (microfiche),
                 0-8186-8740-1 (casebound)",
  ISBN-13 =      "978-0-8186-0740-0 (paperback), 978-0-8186-4740-6
                 (microfiche), 978-0-8186-8740-2 (casebound)",
  ISSN =         "0272-5428",
  LCCN =         "QA 76 S979 1986",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib",
  note =         "IEEE catalog no. 86CH2354-9. IEEE Computer Society
                 order no. 740.",
  acknowledgement = ack-nhfb,
  keywords =     "electronic data processing --- congresses; electronic
                 digital computers --- programming --- congresses;
                 machine theory --- congresses",
}

@Proceedings{IEEE:1987:ASF,
  editor =       "{IEEE}",
  booktitle =    "28th annual Symposium on Foundations of Computer
                 Science, October 12--14, 1987, Los Angeles,
                 California",
  title =        "28th annual Symposium on Foundations of Computer
                 Science, October 12--14, 1987, Los Angeles,
                 California",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xiv + 498",
  year =         "1987",
  CODEN =        "ASFPDV",
  ISBN =         "0-8186-0807-2, 0-8186-4807-4 (microfiche),
                 0-8186-8807-6 (casebound)",
  ISBN-13 =      "978-0-8186-0807-0, 978-0-8186-4807-6 (microfiche),
                 978-0-8186-8807-2 (casebound)",
  ISSN =         "0272-5428",
  LCCN =         "QA 76 S979 1987",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib",
  note =         "IEEE Catalog no. 87CH2471-1. Computer Society order
                 number 807.",
  acknowledgement = ack-nhfb,
  keywords =     "electronic data processing --- congresses",
}

@Proceedings{IEEE:1988:ASF,
  editor =       "{IEEE}",
  booktitle =    "29th annual Symposium on Foundations of Computer
                 Science, October 24--26, 1988, White Plains, New York",
  title =        "29th annual Symposium on Foundations of Computer
                 Science, October 24--26, 1988, White Plains, New York",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "x + 614",
  year =         "1988",
  CODEN =        "ASFPDV",
  ISBN =         "0-8186-0877-3 (paperback), 0-8186-4877-5 (microfiche),
                 0-8186-8877-7 (hard)",
  ISBN-13 =      "978-0-8186-0877-3 (paperback), 978-0-8186-4877-9
                 (microfiche), 978-0-8186-8877-5 (hard)",
  ISSN =         "0272-5428",
  LCCN =         "QA 76 S979 1988",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib",
  note =         "IEEE catalog no. 88CH2652-6. Computer Society order
                 no. 877.",
  acknowledgement = ack-nhfb,
  keywords =     "electronic data processing --- congresses",
}

@Proceedings{IEEE:1989:ASF,
  editor =       "{IEEE}",
  booktitle =    "30th annual Symposium on Foundations of Computer
                 Science, October 30--November 1, 1989, Research
                 Triangle Park, North Carolina",
  title =        "30th annual Symposium on Foundations of Computer
                 Science, October 30--November 1, 1989, Research
                 Triangle Park, North Carolina",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xvii + 632",
  year =         "1989",
  CODEN =        "ASFPDV",
  ISBN =         "0-8186-1982-1 (casebound), 0-8186-5982-3
                 (microfiche)",
  ISBN-13 =      "978-0-8186-1982-3 (casebound), 978-0-8186-5982-9
                 (microfiche)",
  ISSN =         "0272-5428",
  LCCN =         "QA 76 S979 1989; TK7885.A1 S92 1989",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib",
  note =         "Formerly called the Annual Symposium on Switching and
                 Automata Theory. IEEE catalog no. 89CH2808-4. Computer
                 Society order no. 1982.",
  acknowledgement = ack-nhfb,
  keywords =     "computational complexity --- congresses; electronic
                 data processing --- congresses; machine theory ---
                 congresses",
}

@Proceedings{IEEE:1990:PAS,
  editor =       "{IEEE}",
  booktitle =    "Proceedings: 31st Annual Symposium on Foundations of
                 Computer Science: October 22--24, 1990, St. Louis,
                 Missouri",
  title =        "Proceedings: 31st Annual Symposium on Foundations of
                 Computer Science: October 22--24, 1990, St. Louis,
                 Missouri",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "??",
  year =         "1990",
  CODEN =        "ASFPDV",
  ISBN =         "0-8186-2082-X (paperback), 0-8186-6082-1
                 (microfiche)",
  ISBN-13 =      "978-0-8186-2082-9 (paperback), 978-0-8186-6082-5
                 (microfiche)",
  ISSN =         "0272-5428",
  LCCN =         "TK7885.A1 S92 1990",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib",
  note =         "Formerly called the Annual Symposium on Switching and
                 Automata Theory. IEEE catalog number 90CH29256.
                 Computer Society order no. 2082.",
  acknowledgement = ack-nhfb,
  keywords =     "computational complexity --- congresses; electronic
                 data processing --- congresses; machine theory ---
                 congresses",
}

@Proceedings{IEEE:1991:PAS,
  editor =       "{IEEE}",
  booktitle =    "Proceedings: 32nd annual Symposium on Foundations of
                 Computer Science, San Juan, Puerto Rico, October 1--4,
                 1991",
  title =        "Proceedings: 32nd annual Symposium on Foundations of
                 Computer Science, San Juan, Puerto Rico, October 1--4,
                 1991",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xi + 824",
  year =         "1991",
  CODEN =        "ASFPDV",
  ISBN =         "0-8186-2445-0",
  ISBN-13 =      "978-0-8186-2445-2",
  ISSN =         "0272-5428",
  LCCN =         "TK7885.A1 S92 1991",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib",
  note =         "IEEE Catalog no. 91CH3062-7. Computer Society order
                 no. 2445.",
  acknowledgement = ack-nhfb,
  keywords =     "electronic data processing --- congresses; machine
                 theory --- congresses; switching theory ---
                 congresses",
}

@Proceedings{IEEE:1992:ASF,
  editor =       "{IEEE}",
  booktitle =    "33rd Annual Symposium on Foundations of Computer
                 Science: October 24--27, 1992, Pittsburgh,
                 Pennsylvania: proceedings [papers]",
  title =        "33rd Annual Symposium on Foundations of Computer
                 Science: October 24--27, 1992, Pittsburgh,
                 Pennsylvania: proceedings [papers]",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xi + 734",
  year =         "1992",
  CODEN =        "ASFPDV",
  ISBN =         "0-8186-2901-0 (microfiche), 0-8186-2900-2
                 (paperback)",
  ISBN-13 =      "978-0-8186-2901-3 (microfiche), 978-0-8186-2900-6
                 (paperback)",
  ISSN =         "0272-5428",
  LCCN =         "QA 76 S979 1992",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib",
  note =         "IEEE Catalog Number 92CH3188-0. IEEE Computer Society
                 Press Order Number 2900.",
  acknowledgement = ack-nhfb,
  keywords =     "electronic data processing --- congresses",
}

@Proceedings{IEEE:1993:ASF,
  editor =       "{IEEE}",
  booktitle =    "34th Annual Symposium on Foundations of Computer
                 Science: November 3--5, 1993, Palo Alto, California:
                 proceedings [papers]",
  title =        "34th Annual Symposium on Foundations of Computer
                 Science: November 3--5, 1993, Palo Alto, California:
                 proceedings [papers]",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xiii + 745",
  year =         "1993",
  CODEN =        "ASFPDV",
  ISBN =         "0-8186-4370-6 (paperback), 0-8186-4371-4
                 (microfiche)",
  ISBN-13 =      "978-0-8186-4370-5 (paperback), 978-0-8186-4371-2
                 (microfiche)",
  ISSN =         "0272-5428",
  LCCN =         "TK7885.A1 S92 1993",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib",
  note =         "IEEE Catalog Number 93CH3368-8. IEEE Computer Society
                 Press Order Number 4372-02.",
  acknowledgement = ack-nhfb,
  keywords =     "electronic data processing --- congresses; machine
                 theory --- congresses",
}

@Proceedings{Goldwasser:1994:P,
  editor =       "Shafi Goldwasser",
  booktitle =    "Proceedings: 35th Annual Symposium on Foundations of
                 Computer Science, November 20--22, 1994, Santa Fe, New
                 Mexico",
  title =        "Proceedings: 35th Annual Symposium on Foundations of
                 Computer Science, November 20--22, 1994, Santa Fe, New
                 Mexico",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xiii + 837",
  year =         "1994",
  CODEN =        "ASFPDV",
  ISBN =         "0-8186-6582-3",
  ISBN-13 =      "978-0-8186-6582-0",
  ISSN =         "0272-5428",
  LCCN =         "QA 76 S979 1994",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib",
  note =         "IEEE catalog number 94CH35717. IEEE Computer Society
                 Press Order Number 6580-02.",
  acknowledgement = ack-nhfb,
  keywords =     "electronic data processing --- congresses",
}

@Proceedings{IEEE:1995:ASF,
  editor =       "{IEEE}",
  booktitle =    "36th Annual Symposium on Foundations of Computer
                 Science: October 23--25, 1995, Milwaukee, Wisconsin",
  title =        "36th Annual Symposium on Foundations of Computer
                 Science: October 23--25, 1995, Milwaukee, Wisconsin",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xiii + 735",
  year =         "1995",
  CODEN =        "ASFPDV",
  ISBN =         "0-7803-3121-4 (casebound), 0-8186-7183-1 (softbound),
                 0-8186-7184-X (microfiche)",
  ISBN-13 =      "978-0-7803-3121-1 (casebound), 978-0-8186-7183-8
                 (softbound), 978-0-8186-7184-5 (microfiche)",
  ISSN =         "0272-5428",
  LCCN =         "TK7885.A1 S92 1995",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib",
  note =         "IEEE catalog number 95CB35834.",
  acknowledgement = ack-nhfb,
  keywords =     "electronic data processing --- congresses; machine
                 theory --- congresses",
}

@Proceedings{IEEE:1996:ASF,
  editor =       "{IEEE}",
  booktitle =    "37th Annual Symposium on Foundations of Computer
                 Science: October 14--16, 1996, Burlington, Vermont",
  title =        "37th Annual Symposium on Foundations of Computer
                 Science: October 14--16, 1996, Burlington, Vermont",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xii + 638",
  year =         "1996",
  CODEN =        "ASFPDV",
  ISBN =         "0-7803-3762-X (casebound), 0-8186-7594-2 (softbound),
                 0-8186-7596-9 (microfiche)",
  ISBN-13 =      "978-0-7803-3762-6 (casebound), 978-0-8186-7594-2
                 (softbound), 978-0-8186-7596-6 (microfiche)",
  ISSN =         "0272-5428",
  LCCN =         "TK7885.A1 S92 1996",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib",
  note =         "IEEE catalog number 96CH35973. IEEE Computer Society
                 Press order number PR07594.",
  acknowledgement = ack-nhfb,
  keywords =     "electronic data processing --- congresses; machine
                 theory --- congresses",
}

@Proceedings{IEEE:1997:ASF,
  editor =       "{IEEE}",
  booktitle =    "38th Annual Symposium on Foundations of Computer
                 Science: October 20--22, 1997, Miami Beach, Florida",
  title =        "38th Annual Symposium on Foundations of Computer
                 Science: October 20--22, 1997, Miami Beach, Florida",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xiii + 606",
  year =         "1997",
  CODEN =        "ASFPDV",
  ISBN =         "0-8186-8197-7, 0-8186-8198-5 (casebound),
                 0-8186-8199-3 (microfiche)",
  ISBN-13 =      "978-0-8186-8197-4, 978-0-8186-8198-1 (casebound),
                 978-0-8186-8199-8 (microfiche)",
  ISSN =         "0272-5428",
  LCCN =         "TK7885.A1 .S92 1997",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib",
  note =         "IEEE catalog number 97CB36150. IEEE Computer Society
                 Press order number PR08197.",
  acknowledgement = ack-nhfb,
  keywords =     "electronic data processing --- congresses; machine
                 theory --- congresses",
}

@Proceedings{IEEE:1998:ASF,
  editor =       "{IEEE}",
  booktitle =    "39th Annual Symposium on Foundations of Computer
                 Science: proceedings: November 8--11, 1998, Palo Alto,
                 California",
  title =        "39th Annual Symposium on Foundations of Computer
                 Science: proceedings: November 8--11, 1998, Palo Alto,
                 California",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xiv + 745",
  year =         "1998",
  CODEN =        "ASFPDV",
  ISBN =         "0-8186-9172-7 (softbound), 0-7803-5229-7 (casebound),
                 0-8186-9174-3 (microfiche)",
  ISBN-13 =      "978-0-8186-9172-0 (softbound), 978-0-7803-5229-2
                 (casebound), 978-0-8186-9174-4 (microfiche)",
  ISSN =         "0272-5428",
  LCCN =         "QA267 .S95 1998 Sci-Eng",
  bibdate =      "Sat Oct 28 16:10:32 MDT 2000",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib",
  note =         "IEEE Catalog Number 98CB36280. IEEE Computer Society
                 Press order number PR9172.",
  acknowledgement = ack-nhfb,
  keywords =     "electronic data processing -- congresses; machine
                 theory -- congresses",
}

@Proceedings{IEEE:1999:ASF,
  editor =       "{IEEE}",
  booktitle =    "40th Annual Symposium on Foundations of Computer
                 Science: October 17--19, 1999, New York City, New
                 York",
  title =        "40th Annual Symposium on Foundations of Computer
                 Science: October 17--19, 1999, New York City, New
                 York",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xiv + 668",
  year =         "1999",
  CODEN =        "ASFPDV",
  ISBN =         "0-7695-0409-4 (softbound), 0-7803-5955-0 (casebound),
                 0-7695-0411-6 (microfiche)",
  ISBN-13 =      "978-0-7695-0409-4 (softbound), 978-0-7803-5955-0
                 (casebound), 978-0-7695-0411-7 (microfiche)",
  ISSN =         "0272-5428",
  LCCN =         "TK7885.A1 S92 1999",
  bibdate =      "Sat Oct 28 16:10:32 MDT 2000",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib",
  note =         "IEEE Catalog Number 99CB37039.",
  acknowledgement = ack-nhfb,
  keywords =     "electronic data processing -- congresses; machine
                 theory -- congresses",
}

@Proceedings{IEEE:2000:ASF,
  editor =       "{IEEE}",
  booktitle =    "41st Annual Symposium on Foundations of Computer
                 Science: proceedings: 12--14 November, 2000, Redondo
                 Beach, California",
  title =        "41st Annual Symposium on Foundations of Computer
                 Science: proceedings: 12--14 November, 2000, Redondo
                 Beach, California",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xiv + 688",
  year =         "2000",
  CODEN =        "ASFPDV",
  ISBN =         "0-7695-0850-2, 0-7695-0851-0 (case), 0-7695-0852-9
                 (microfiche)",
  ISBN-13 =      "978-0-7695-0850-4, 978-0-7695-0851-1 (case),
                 978-0-7695-0852-8 (microfiche)",
  ISSN =         "0272-5428",
  LCCN =         "TK7885.A1 S92 2000",
  bibdate =      "Thu Apr 05 06:27:02 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib",
  note =         "IEEE Computer Society order number PR00850.",
  acknowledgement = ack-nhfb,
}

@Proceedings{IEEE:2001:ISF,
  editor =       "{IEEE}",
  booktitle =    "42nd IEEE Symposium on Foundations of Computer
                 Science: proceedings: October 14--17, 2001, Las Vegas,
                 Nevada, USA",
  title =        "42nd {IEEE} Symposium on Foundations of Computer
                 Science: proceedings: October 14--17, 2001, Las Vegas,
                 Nevada, {USA}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xiii + 670",
  year =         "2001",
  CODEN =        "ASFPDV",
  ISBN =         "0-7695-1390-5, 0-7695-1391-3 (case), 0-7695-1392-1
                 (microfiche)",
  ISBN-13 =      "978-0-7695-1390-4, 978-0-7695-1391-1 (case),
                 978-0-7695-1392-8 (microfiche)",
  ISSN =         "0272-5428",
  LCCN =         "????",
  bibdate =      "Thu Feb 21 19:19:40 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib",
  acknowledgement = ack-nhfb,
}

@Proceedings{IEEE:2002:PAI,
  editor =       "{IEEE}",
  booktitle =    "{Proceedings of the 43rd Annual IEEE Symposium on
                 Foundations of Computer Science, FOCS 2002, Vancouver,
                 BC, Canada, 16--19 November 2002}",
  title =        "{Proceedings of the 43rd Annual IEEE Symposium on
                 Foundations of Computer Science, FOCS 2002, Vancouver,
                 BC, Canada, 16--19 November 2002}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xvi + 813",
  year =         "2002",
  CODEN =        "ASFPDV",
  DOI =          "https://doi.org/10.1109/SFCS.2002.1181875",
  ISBN =         "0-7695-1822-2",
  ISBN-13 =      "978-0-7695-1822-0",
  ISSN =         "0272-5428",
  LCCN =         "QA267",
  bibdate =      "Fri Jul 15 14:24:23 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib",
  note =         "IEEE Computer Society order number PR01822",
  URL =          "http://ieeexplore.ieee.org/iel5/8411/26517/01181875.pdf",
  acknowledgement = ack-nhfb,
}

@Proceedings{IEEE:2003:PAI,
  editor =       "{IEEE}",
  booktitle =    "{Proceedings: 44th Annual IEEE Symposium on
                 Foundations of Computer Science, FOCS 2003, 11--14
                 October 2003, Cambridge, Massachusetts}",
  title =        "{Proceedings: 44th Annual IEEE Symposium on
                 Foundations of Computer Science, FOCS 2003, 11--14
                 October 2003, Cambridge, Massachusetts}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xiii + 661",
  year =         "2003",
  CODEN =        "ASFPDV",
  ISBN =         "0-7695-2040-5",
  ISBN-13 =      "978-0-7695-2040-7",
  ISSN =         "0272-5428",
  LCCN =         "QA76 .S979 2003",
  bibdate =      "Fri Jul 15 14:29:27 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib",
  note =         "IEEE Computer Society order number PR02040.",
  URL =          "http://ieeexplore.ieee.org/iel5/8767/27770/01238173.pdf;
                 http://ieeexplore.ieee.org/xpl/RecentCon.jsp?punumber=8767&conhome=1000292",
  acknowledgement = ack-nhfb,
}

@Proceedings{IEEE:2004:PAI,
  editor =       "{IEEE}",
  booktitle =    "{Proceedings: 45th Annual IEEE Symposium on
                 Foundations of Computer Science: FOCS 2004, 17--19
                 October, 2004, Rome, Italy}",
  title =        "{Proceedings: 45th Annual IEEE Symposium on
                 Foundations of Computer Science: FOCS 2004, 17--19
                 October, 2004, Rome, Italy}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xiv + 632",
  year =         "2004",
  CODEN =        "ASFPDV",
  ISBN =         "0-7695-2228-9",
  ISBN-13 =      "978-0-7695-2228-9",
  ISSN =         "0272-5428",
  LCCN =         "QA276",
  bibdate =      "Fri Jul 15 14:47:05 MDT 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib;
                 melvyl.cdlib.org:210/CDL90",
  note =         "IEEE Computer Society Order Number P2228.",
  URL =          "http://ieeexplore.ieee.org/iel5/9430/29918/01366212.pdf;
                 http://ieeexplore.ieee.org/servlet/opac?punumber=9430",
  acknowledgement = ack-nhfb,
  subject =      "Electronic data processing; Congresses; Machine
                 theory; Congresses",
}

@Proceedings{IEEE:2005:AIS,
  editor =       "{IEEE}",
  booktitle =    "{46th Annual IEEE Symposium on Foundations of Computer
                 Science: FOCS 2005: 23--25 October, 2005, Pittsburgh,
                 Pennsylvania, USA}",
  title =        "{46th Annual IEEE Symposium on Foundations of Computer
                 Science: FOCS 2005: 23--25 October, 2005, Pittsburgh,
                 Pennsylvania, USA}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xiii + 668",
  year =         "2005",
  ISBN =         "0-7695-2468-0, 0-7695-2362-5",
  ISBN-13 =      "978-0-7695-2468-9, 978-0-7695-2362-0",
  ISSN =         "0272-5428",
  LCCN =         "QA76 .S979 2005",
  bibdate =      "Thu May 6 08:31:47 MDT 2010",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib;
                 melvyl.cdlib.org:210/CDL90",
  note =         "IEEE Computer Society order number P2468.",
  acknowledgement = ack-nhfb,
  meetingname =  "Symposium on Foundations of Computer Science (46th:
                 2005: Pittsburgh, PA)",
  subject =      "electronic data processing; congresses; machine
                 theory",
}

@Proceedings{IEEE:2006:AIS,
  editor =       "{IEEE}",
  booktitle =    "{47th Annual IEEE Symposium on Foundations of Computer
                 Science: FOCS 2006: 21--24 October, 2006, Berkeley,
                 California}",
  title =        "{47th Annual IEEE Symposium on Foundations of Computer
                 Science: FOCS 2006: 21--24 October, 2006, Berkeley,
                 California}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xiv + 750",
  year =         "2006",
  ISBN =         "0-7695-2720-5, 0-7695-2362-5",
  ISBN-13 =      "978-0-7695-2720-8, 978-0-7695-2362-0",
  ISSN =         "0272-5428",
  LCCN =         "QA76 .S974 2006",
  bibdate =      "Thu May 6 08:30:22 MDT 2010",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib;
                 melvyl.cdlib.org:210/CDL90",
  note =         "IEEE Computer Society Order Number P2720.",
  URL =          "http://ieeexplore.ieee.org/servlet/opac?punumber=4031329",
  acknowledgement = ack-nhfb,
  meetingname =  "Symposium on Foundations of Computer Science (47th:
                 2006: Berkeley, California)",
  subject =      "electronic data processing; congresses; machine
                 theory",
}

@Proceedings{IEEE:2007:PAI,
  editor =       "{IEEE}",
  booktitle =    "{Proceedings of the 48th Annual IEEE Symposium on
                 Foundations of Computer Science: [FOCS 2007]: October
                 20--23, 2007, Providence, Rhode Island}",
  title =        "{Proceedings of the 48th Annual IEEE Symposium on
                 Foundations of Computer Science: [FOCS 2007]: October
                 20--23, 2007, Providence, Rhode Island}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xiv + 736",
  year =         "2007",
  ISBN =         "0-7695-3010-9",
  ISBN-13 =      "978-0-7695-3010-9",
  ISSN =         "0272-5428",
  LCCN =         "QA76 .S974 2007",
  bibdate =      "Thu May 6 08:33:34 MDT 2010",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib;
                 melvyl.cdlib.org:210/CDL90",
  note =         "IEEE Computer Society order number P3010.",
  URL =          "http://ieeexplore.ieee.org/servlet/opac?punumber=4389466",
  acknowledgement = ack-nhfb,
  meetingname =  "Symposium on Foundations of Computer Science (48th:
                 2007: Providence, RI)",
  subject =      "Electronic data processing; Congresses; Machine
                 theory",
}

@Proceedings{IEEE:2008:PAI,
  editor =       "{IEEE}",
  booktitle =    "{Proceedings of the 49th Annual IEEE Symposium on
                 Foundations of Computer Science: October 25--23, 2008,
                 Philadelphia, Pennsylvania, USA}",
  title =        "{Proceedings of the 49th Annual IEEE Symposium on
                 Foundations of Computer Science: October 25--23, 2008,
                 Philadelphia, Pennsylvania, USA}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xvi + 835",
  year =         "2008",
  ISBN =         "0-7695-3436-8",
  ISBN-13 =      "978-0-7695-3436-7",
  ISSN =         "0272-5428",
  LCCN =         "QA76 .S95 2008",
  bibdate =      "Thu May 6 08:34:02 MDT 2010",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib;
                 melvyl.cdlib.org:210/CDL90",
  note =         "IEEE Computer Society order number P3436.",
  URL =          "http://ieeexplore.ieee.org/servlet/opac?punumber=4690923",
  acknowledgement = ack-nhfb,
  meetingname =  "Symposium on Foundations of Computer Science (49th:
                 2008: Philadelphia, Pa.)",
  subject =      "electronic data processing; congresses; machine
                 theory",
}

@Proceedings{IEEE:2009:PAI,
  editor =       "{IEEE}",
  booktitle =    "{Proceedings of the 50th Annual IEEE Symposium on
                 Foundations of Computer Science: October 25--27, 2009,
                 Atlanta, Georgia, USA}",
  title =        "{Proceedings of the 50th Annual IEEE Symposium on
                 Foundations of Computer Science: October 25--27, 2009,
                 Atlanta, Georgia, USA}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xvi + 835",
  year =         "2009",
  ISBN =         "0-7695-3850-9",
  ISBN-13 =      "978-0-7695-3850-1",
  ISSN =         "0272-5428",
  LCCN =         "QA76 .S95 2009",
  bibdate =      "Thu May 6 08:34:02 MDT 2010",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/focs.bib;
                 melvyl.cdlib.org:210/CDL90",
  note =         "IEEE Computer Society order number P3850.",
  acknowledgement = ack-nhfb,
  subject =      "electronic data processing; congresses; machine
                 theory",
}

@Proceedings{IEEE:2010:PIA,
  editor =       "{IEEE}",
  booktitle =    "{Proceedings of the 2010 IEEE 51st Annual Symposium on
                 Foundations of Computer Science: 23--26 October 2010,
                 Las Vegas, Nevada, USA}",
  title =        "{Proceedings of the 2010 IEEE 51st Annual Symposium on
                 Foundations of Computer Science: 23--26 October 2010,
                 Las Vegas, Nevada, USA}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xvi + 826",
  year =         "2010",
  ISBN =         "0-7695-4244-1, 1-4244-8525-8",
  ISBN-13 =      "978-0-7695-4244-7, 978-1-4244-8525-3",
  ISSN =         "0272-5428",
  LCCN =         "QA76 .S95 2010",
  bibdate =      "Tue Nov 06 06:59:58 2012",
  bibsource =    "fsz3950.oclc.org:210/WorldCat;
                 http://www.math.utah.edu/pub/tex/bib/focs.bib;
                 http://www.math.utah.edu/pub/tex/bib/focs2010.bib",
  note =         "IEEE Computer Society order number P4244.",
  URL =          "http://opac.ieeecomputersociety.org/opac?year=2010&volume=00&catalog=4244&acronym=focs",
  acknowledgement = ack-nhfb,
  subject =      "electronic data processing; congresses; machine
                 theory",
}

@Proceedings{IEEE:2011:PIA,
  editor =       "{IEEE}",
  booktitle =    "{Proceedings of the 2011 IEEE 52nd Annual Symposium on
                 Foundations of Computer Science: 22--25 October 2011,
                 Palm Springs, California, USA}",
  title =        "{Proceedings of the 2011 IEEE 52nd Annual Symposium on
                 Foundations of Computer Science: 22--25 October 2011,
                 Palm Springs, California, USA}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "????",
  year =         "2011",
  ISBN =         "0-7695-4571-8, 1-4577-1843-X",
  ISBN-13 =      "978-0-7695-4571-4, 978-1-4577-1843-4",
  ISSN =         "0272-5428",
  LCCN =         "QA76 .S95 2011",
  bibdate =      "Tue Nov 06 07:01:39 2012",
  bibsource =    "fsz3950.oclc.org:210/WorldCat;
                 http://www.math.utah.edu/pub/tex/bib/focs.bib;
                 http://www.math.utah.edu/pub/tex/bib/focs2010.bib",
  note =         "IEEE Computer Society order number P4571.",
  URL =          "http://opac.ieeecomputersociety.org/opac?year=2011&volume=00&catalog=4571&acronym=focs",
  acknowledgement = ack-nhfb,
  subject =      "electronic data processing; congresses; machine
                 theory",
}

@Proceedings{IEEE:2012:PIA,
  editor =       "{IEEE}",
  booktitle =    "{Proceedings of the 2012 IEEE 53rd Annual Symposium on
                 Foundations of Computer Science: 20--23 October 2012,
                 Hyatt Regency, New Brunswick, New Jersey, USA}",
  title =        "{Proceedings of the 2012 IEEE 53rd Annual Symposium on
                 Foundations of Computer Science: 20--23 October 2012,
                 Hyatt Regency, New Brunswick, New Jersey, USA}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xix + 772",
  year =         "2012",
  ISBN =         "1-4673-4383-8",
  ISBN-13 =      "978-1-4673-4383-1",
  ISSN =         "0272-5428",
  ISSN-L =       "0272-5428",
  LCCN =         "QA76 .S95 2012",
  bibdate =      "Tue Nov 06 07:01:39 2012",
  bibsource =    "fsz3950.oclc.org:210/WorldCat;
                 http://www.math.utah.edu/pub/tex/bib/focs.bib;
                 http://www.math.utah.edu/pub/tex/bib/focs2010.bib;
                 http://www.math.utah.edu/pub/tex/bib/prng.bib",
  note =         "IEEE Computer Society order number P????.",
  URL =          "http://dimacs.rutgers.edu/FOCS12/;
                 http://theory.stanford.edu/~tim/focs12/",
  acknowledgement = ack-nhfb,
  subject =      "electronic data processing; congresses; machine
                 theory",
}

@Proceedings{IEEE:2013:PIA,
  editor =       "{IEEE}",
  booktitle =    "{Proceedings of the 2013 IEEE 54th Annual Symposium on
                 Foundations of Computer Science: 26--29 October 2013,
                 Berkeley, CA, USA}",
  title =        "{Proceedings of the 2012 IEEE 54th Annual Symposium on
                 Foundations of Computer Science: 26--29 October 2013,
                 Berkeley, CA, USA}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  ISBN =         "0-7695-5135-1",
  ISBN-13 =      "978-0-7695-5135-7",
  pages =        "????",
  year =         "2013",
  ISSN =         "0272-5428",
  ISSN-L =       "0272-5428",
  LCCN =         "QA76 .S95 2012",
  bibdate =      "Tue Nov 06 07:01:39 2012",
  bibsource =    "fsz3950.oclc.org:210/WorldCat;
                 http://www.math.utah.edu/pub/tex/bib/focs.bib;
                 http://www.math.utah.edu/pub/tex/bib/focs2010.bib",
  note =         "IEEE Computer Society order number P????.",
  acknowledgement = ack-nhfb,
  subject =      "electronic data processing; congresses; machine
                 theory",
}