Last update: Fri Jan 5 02:09:20 MST 2018
Follow this link for documentation about the automated preparation of this index.
Follow this link for indexes of other journals.
Words that appear more than 100 times have been excluded. Words that appear in more than 25% of the entries have been excluded, provided they appeared more than 100 times.
Filename: focs.bib
Version: 2.06
Date: 14 October 2017
Time: 08:48:19 MDT
Checksum: 16356 1512 6683 65485 [CRC-16 words lines bytes]
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
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.