FOCS 96 Information URL: http://www.umiacs.umd.edu/events/FOCS96/

The Thirty-seventh Annual Symposium on Foundations of Computer Science (FOCS), sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, will be held in Burlington, Vermont on October 14--16, 1996. Papers presenting original research on theoretical aspects of computer science are sought. Typical but not exclusive topics of interest include: algorithms and data structures, complexity theory, computational algebra and geometry, computational biology, cryptography, databases, machine learning, algorithmic graph theory and combinatorics, applications of logic, parallel and distributed computation, probabilistic computations, computer architectures, and robotics.

Abstract submission: Authors should send fifteen (15) copies of an extended abstract (not a full paper) to:

Martin Tompa, FOCS 96 Program Chair
Department of Computer Science and Engineering
University of Washington
Box 352350
Seattle, WA 98195--2350

An abstract should start with the title of the paper, each author's name, affiliation, and electronic address, and a one-paragraph summary of the results. A scholarly exposition of ideas, techniques, and results should follow, including motivation and a clear comparison with related work. The length should not exceed ten (10) letter-sized pages (using 11 point or larger font, with ample spacing and margins all around). More details may be given in an appendix, but any material beyond the 10-page limit may be ignored at the discretion of the Program Committee. Abstracts deviating significantly from these guidelines risk rejection without consideration of their merits. Electronic submission will be possible. Further information will be available through the World Wide Web using the FOCS 96 information URL:


Unprintable PostScript submissions, and PostScript submissions formatted for paper size other than 8 1/2 x 11 inch paper risk rejection without consideration of their merits.

The abstract (whether sent by hard copy or by electronic submission) must be received by 23:59 EST April 8, 1996 (or postmarked by April 2, 1996 and sent via airmail or express mail). This is a firm deadline. Simultaneous submission of the same abstract to FOCS and to another conference with published proceedings is not allowed.

Notification: Authors will be notified of acceptance or rejection by a letter mailed by June 15, 1996.

Important: Electronic mail to the program committee chair should be sent to focs-chair@cs.washington.edu rather than to an individual.

A final copy of each accepted paper is required by August 5, 1996. This is again a firm deadline. The copy may be either on special forms, which will be sent to the authors, or typeset on 8 1/2 by 11 inch pages. An author of each accepted paper must attend the Symposium and present the paper, or make alternative arrangements to have it presented.

Machtey award: This prize will be given to the best paper written solely by one or more students. An abstract is eligible if all authors are full-time students at the time of submission. This should be indicated in the submission letter. The program committee may decline to make the award, or may split it among several papers.

Committee members: The program committee consists of Anne Condon, Russell Impagliazzo, Sandy Irani, David Karger, Dexter Kozen, Rao Kosaraju, Michael Luby, Carsten Lund, Yishay Mansour, Rajeev Motwani, Michael Paterson, Baruch Schieber, Martin Tompa, Tandy Warnow, and Chee Yap.

Local arrangements: Information about local arrangements can be obtained from the Local Arrangements Chair:

Carl H. Smith
Department of Computer Science
University of Maryland
College Park, MD 20742

Back to the FOCS '96 homepage