[ut.theory] THEORY NET: Structures ...

arvind@utcsri.UUCP (08/06/87)

Date: Wed, 5 Aug 87 11:16:05 EDT
From: selman%corwin.ccs.northeastern.edu@relay.cs.net
Subject: Structures 88 Call for Papers

                               Call for Papers
     
                        Structure in Complexity Theory
                           Third Annual Conference
     
                               14-17 June 1988
                   Georgetown University, Washington, DC
     
   The Structure in Complexity Theory Conference focuses on structural proper-
ties  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         Theory of relativizations
   Relations between complexity classes    Independence results
   Properties of complete sets             Kolmogorov complexity
   Resource-bounded reducibilities         Cryptographic complexity
   Applications of recursion theory        Random and interactive proof systems
   Applications of finite model theory
     
   Original research papers and technical expository talks  are  sought.   Au-
thors  can anticipate 40 minutes for presenting research papers and 60 minutes
for expository talks. Send 7 copies of an extended abstract or full draft  pa-
per by November 20, 1987 to
     
                    Juris Hartmanis
                    Computer Science Department
                    Cornell University
                    Upson Hall
                    Ithaca, NY 14853, U.S.A.
     
Authors of accepted papers will be expected  to  present  their  work  at  the
Conference.   Authors  will  be notified of acceptance or rejection by January
29, 1988. Final papers typed on special forms for inclusion in the  Conference
Proceedings are due March 18, 1988.
     
   The Program Committee consists of Ronald  Book,  Juris  Hartmanis,  Richard
Ladner,  Tim Long, James Royer, Uwe Schoening, and Klaus Wagner.  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  Commit-
tee  for  Mathematical  Foundations of Computing and Georgetown University, in
cooperation with ACM SIGACT.
     
     
Conference Chairman             Program Chairman        Local Arrangements
Alan L. Selman                  Juris Hartmanis         John C. Cherniavsky
College of Computer Science     Computer Science Dept.  Computer Science Dept.
Northeastern University         Cornell University      Georgetown University
360 Huntington Ave.             Upson Hall              Washington, D.C. 20057
Boston, MA  02115               Ithaca, NY  14853