[net.announce.arpa-internet] Call for Papers - 2nd Conf. on Structure in Complexity Theory

vardi@NAVAJO.STANFORD.EDU (Moshe Vardi) (09/24/86)

                            CALL for PAPERS

                    Structure in Complexity Theory
                      Second Annual Conference

                         16-19 June 1987
                   Cornell University, Ithaca, NY

            The Structure in Complexity Theory Conference focuses on
structural properties of complexity classes and complexity-bounded
reducibilities.  Topics of interest include, but are not limited to,
the following issues in complexity theory:


Structure of complexity classes           Properties of complete sets
Resource-bounded reducibilities           Theory of relativizations
Applications of recursion theory          Random and interactive proof systems
Kolmogorov complexity                     Cryptographic complexity
Applications of finite model theory       Independence results

Original research papers and technical expository talks are sought.
Authors can anticipate 40 minutes for presenting research papers and 60
minutes for expository talks.  Send 10 copies of an extended abstract
or full draft paper by November 28, 1986 to:

                  Stephen R. Mahaney
                  Room 2C-454
                  AT&T Bell Laboratories
                  600 Mountain Ave.
                  Murray Hill, NJ  07974, U.S.A.

Conference Proceedings will be published by Springer-Verlag as an issue
in the Lecture Notes in Computer Science series.  Authors will be
notified of acceptance or rejection by January 30, 1987.  Final papers
typed on special forms are due March 20, 1987.  The Program Committee
consists of: Shafi Goldwasser, Juris Hartmanis, Neil Immerman, Deborah
Joseph, Steve Mahaney, Uwe Schoning, Alan Selman, Mike Sipser, Larry
Stockmeyer, and Peter van Emde Boas.  Some members of the program
committee will present research talks or technical expository talks
providing perspective on their current research programs.

     The conference is sponsored by the IEEE Computer Society Technical
Committee for Mathematical Foundations of Computing and Cornell
University, in cooperation with ACM SIGACT.  It will be held at Cornell
University in conjunction with the Logic in Computer Science
Conference.

Conference Chairman           Program Chairman          Local Arrangements

Alan L. Selman                Stephen R. Mahaney        Dexter C. Kozen
College of Computer Science   Room 2C-454               Computer Science Dept.
Northeastern University       AT&T Bell Laboratories    Cornell University
360 Huntington Ave.           600 Mountain Ave.         Upson Hall
Boston, MA  02115             Murray Hill, NJ  07974    Ithaca, NY  14853

------- End Forwarded Mail