\documentstyle[11pt]{article}
%
% Page dimmensions
%
\setlength{\oddsidemargin}{-.15in}
\setlength{\evensidemargin}{0pt}
\setlength{\headsep}{0pt}
\setlength{\topmargin}{-30pt}
\setlength{\textheight}{9.5in}
\setlength{\textwidth}{6.85in}
\pagestyle{empty}
%
\newcommand{\Comment}[1]{\relax}
\newcommand{\SmallSpace}{\edef\baselinestretch{0.9}\Large\normalsize}
\newcommand{\SingleSpace}{\edef\baselinestretch{1.00}\Large\normalsize}
\newcommand{\HalfSpace}{\edef\baselinestretch{1.05}\Large\normalsize}
\newcommand{\DoubleSpace}{\edef\baselinestretch{1.4}\Large\normalsize}
\newcommand{\nwl}{\hfil\break}
\begin{document}
\HalfSpace
\vspace*{-.5in}
\begin{center}
{\LARGE\bf
Call For Papers \\[5pt]
1996 ACM Symposium on Theory of Computing (STOC'96)
}
\vspace*{.05in}
Participating in the 1996 Federated Computing Research Conference (FCRC'96)\\
Philadelphia, PA, USA\\
May 22--24, 1996
\end{center}
\samepage
\bigskip
The Twenty-Eighth ACM Symposium on Theory of Computing (STOC),
sponsored by the ACM Special Interest Group on Algorithms and
Computation Theory, will be held in Philadelphia, May 22--24, 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,
applications of logic,
parallel and distributed computation,
probabilistic computations,
computer architectures
and robotics.
\noindent
{\bf Abstract format:}
An abstract should start with the title of the paper, each author's
name, affiliation, and e-mail address, followed by a one-paragraph
summary of the results to be presented. This should then be followed
by a technical exposition of the main ideas and techniques used to
achieve these results.
The abstract should be no longer than 4,500 words (roughly 10
pages on letter-size paper using at least 11-point font and reasonable
margins). If the authors believe that more details are essential to
substantiate the main claims of the paper, they may include a clearly
marked appendix that will be read at the discretion of the program
committee. Abstracts deviating significantly from these
guidelines risk rejection without consideration of their merits.
\noindent
{\bf Abstract submission:}
Authors are encouraged to submit their extended abstracts and brief
announcements electronically. A detailed description of the electronic
submission process will be available by Sept.\ 1, 1995 on the Internet URL
{\tt http://www.cs.rpi.edu/stoc96}.
You may also obtain instructions as an automatic reply to electronic mail
to {\tt stoc96@cs.rpi.edu} with the subject heading {\tt HELP}.
Unprintable Postscript and late submissions will be rejected. For
those unsure of the print-ability of their Postscript, a test printing
service will be made available (with details available at the sources
listed above).
Authors unable to
submit electronically are invited to send 20 copies (printed
double-sided if possible) of an extended abstract and a cover letter
to the program chair (list below).
Authors from locations where access to reproduction facilities is
severely limited may submit a single copy.
The abstract (whether sent by hard copy or by electronic submission)
{\bf must} be received by {\bf 18:59 EST November 8, 1995} (or
postmarked by Nov.~3 and sent via airmail). This is a {\bf firm}
deadline.
\noindent
{\bf Simultaneous submissions} of the same abstract to at most one
other conference with an overlapping deadline is allowed with the
following understanding: If the paper is accepted to STOC then the authors
agree to submit a camera-ready copy with a copyright (The final
submission to the other conference may have to be modified to generate
a clear copyright for that conference.) and at least one
author will attend STOC and present the paper. If the paper
has or will be multiply submitted the first page of the paper should
clearly indicate the other conference.
\noindent
{\bf Notification:}
Authors will be notified of acceptance or rejection by January 12, 1996.
A camera-ready copy of each accepted paper is required by February 16,
1996, which is also a {\bf firm} deadline.
\noindent
{\bf Best Student Paper Award:}
A prize of \$500 will be given to the author(s) of the best student-authored
paper (or split between more than one paper if there is a tie).
A paper is eligible if all its authors are
full-time students at the time of submission.
This must be indicated in the submission cover letter.
\noindent
{\bf Committee Members:}
Sanjeev Arora(Princeton),
Jin-Yi Cai(SUNY Buffalo),
Alan Frieze(CMU),
Erich Kaltofen(RPI),
Joe Kilian(NECI),
Michel Goemans(MIT),
Monika R. Henzinger(Cornell),
Maurice Herlihy(Brown),
Thomas Lengauer(GMD),
Gary L. Miller(CMU),
Noam Nisan(Hebrew),
Serge Plotkin(Stanford),
Pavel Pudlak(Prague),
Abhiram Ranade(Berkeley),
Ronitt Rubinfeld(Cornell/MIT),
Alistair Sinclair(Berkeley),
ShangHua Teng(UMN),
Les Valiant(Harvard),
Vijay Vazirani(Georgia),
\noindent
{\bf Program Chair:}
Gary L. Miller,
Department of Computer Science,
Carnegie Mellon University,
Pittsburgh, PA 15213-3891,
glmiller@cs.cmu.edu
\noindent
{\bf Conference Chair:}
David S.~Johnson,
AT\&T Bell Labs,
Murray Hill, NJ 07974,
dsj@research.att.com
\newpage
\noindent
{\bf THE 1996 FEDERATED COMPUTING RESEARCH CONFERENCE:}\enspace
This year STOC will
be a part of the Federated Computing Research Conference (FCRC'96).
FCRC'96 is an effort to bring together a spectrum of individual
computing research conferences and workshops at a common site and
time. Registrants at one conference will be able to freely attend
sessions of concurrent conferences. In addition, mornings of FCRC
week will begin with joint plenary talks on topics of broad appeal to
the computing research community.
Meetings confirmed as participating in FCRC'96 include:
\begin{center}
\begin{tabular}{l}
ACM Conference on Measurement and Modeling of Computer Systems\\
ACM International Conference on Functional Programming\\
ACM International Conference on Supercomputing\\
ACM Symposium on Computational Geometry\\
ACM Symposium on Parallel Tools\\
ACM Symposium on Principles of Distributed Computing\\
ACM Symposium on Theory of Computing\\
ACM Workshop on Parallel Algorithms\\
ACM Workshop on Parallel and Distributed Simulation\\
ACM/IEEE International Symposium on Computer Architecture\\
CRA Workshop on Academic Careers for Women\\
IEEE Conference on Structure in Complexity Theory\\
SIAM Symposium on Networks and Information Management\\
SIGPLAN Conference on Programming Design and Implementation\\
\end{tabular}
\end{center}
The FCRC's sponsors include ACM (SIGACT, SIGARCH, SIGART, SIGGRAPH,
SIGOPS, SIGPLAN, SIGSIM), the Computing Research Association (CRA),
the IEEE Computer Society (TCCA, TCMFC, TCS), SIAM, and NSF.
Look for further information on FCRC'96 at ACM's homepage {\tt http://acm.org}.
\end{document}