Warfield attended the IEEE conference on Switching Circuit Theory and Logical Design at Ann Arbor, Michigan in October 1965 while working at Wilcox Electric Company in Kansas City during his sabbatical year from his job as Professor of Electrical Engineering at University of Kansas in Lawrence, Kansas where we lived from 1958 -1966.
The proceedings volume in which this paper appears was shipped to Fenwick Library Special Collections, George Mason University, Fairfax, VA on 23 October 2000. Warfield's paper "Synthesis of Switching Circuits to Yield Prescribed Probability Relations" is on pages 303-309 of the Proceedings. In Fenwick Library's electronic finding aid the title of the actual paper is not there. Only the Title of the Proceedings volume is given. I think the entire proceedings volume must have been sent to GMU in 2000 and placed in Folder 8 Box 6. However, IEEEexplore site does list the paper by actual title. Also my home photocopy of pp 303-309 is correctly labelled (r.w. Dec 21, 2017).
Today the paper is available if ordered using the DOI number, from either of two digital libraries, https://ieeexplore.ieee.org/(/document/5397232) or https://dl.acm.org/(citation.cfm?id=1687189). The paper is one of two articles by John Warfield in the STOC/FOCS bibliography, and listed in the ACM and IEEE digital libraries: 1) Synthesis of Switching Circuits to Yield Prescribed Probability Relations, 1965 ( also there is Paper copy in Box 6, Folder 8 Fenwick Library) and 2) Switching circuits as Topological Models in the Discrete Probability Theory, 1958 (also paper copy in Box 6, Folder 15 Fenwck Library)
The IEEE Symposium on Foundations of Computer Science (FOCS) is the flagship conference of the TCMF* and covers a broad range of theoretical computer science. It is held annually in the autumn and is paired with its sister conference, the annual Symposium on Theory of Computing (STOC) held each spring and sponsored by ACM SIGACT. 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 (FOCS) in 1975.
*The Technical Committee on Mathematical Foundations of Computing (TCMF) is the technical committee of the IEEE Computer Society focused on theoretical computer science. Theoretical computer science uses mathematical tools to model and analyze the power, complexity, and design of computing devices, algorithms, and programs. It also uses these mathematical tools to study and model algorithmic questions in natural and social systems.The annual Symposium on Foundations of Computer Science (FOCS), which presents original research on the theory of computation, is the founding conference of the field celebrating a 50th anniversary in 2009. The TC sponsors or cosponsors other conferences and activities in cooperation with ACM SIGACT including the annual Symposium on Logic in Computer Science (LICS) and the Conference on Computational Complexity (CCC) both of which have celebrated their 25th anniversaries. (FromGoogle, at https://www.computer.org/web/tcmf).
r.w. circa 2000; updated circa 2015 and Dec 23, 2017
- end -
