BIB-VERSION:: CS-TR-v2.0
          ID:: STAN//CS-TR-99-1625
       ENTRY:: August 26, 1999
ORGANIZATION:: Stanford University, Department of Computer Science
       TITLE:: Pleiades Project: Collected Work 1998-1999
        TYPE:: Technical Report
      AUTHOR:: Cervesato, Iliano (editor)
      AUTHOR:: Mitchell, John C. (editor)
        DATE:: August 1999
       PAGES:: 144
    ABSTRACT:: This report collects the papers that were written by the
               participants of the Pleiades Project and their collaborators
               from September 1998 to August 1999. Its intent is to give the
               reader an overview of our accomplishments during this central
               phase of the project. Therefore, rather than including
               complete publications, we chose to reproduce only the first
               four pages of each paper. The papers can be integrally
               retrieved from the World-Wide Web through the provided URLs.
               A list of the current publications of the Pleiades Project is
               accessible at the URL
               http://theory.stanford.edu/muri/papers.html". Future articles
               will be posted there as they become available.
       NOTES:: [Adminitrivia V1/Prg/19990826]
         END:: STAN//CS-TR-99-1625