This file, Index, contains an index for the files available from
theory.lcs.mit.edu in the directory ~ftp/pub/meyer.  To request one of
these files from the server, send mail to the address
archive-server@theory.lcs.mit.edu with a line of the following form in
the body:

                        send meyer filename

For example, to retrieve the file ic.bib, you would say

                        send meyer ic.bib

For more information on the archive-server, send a message containing
only the word "help" in the body.  If you have any trouble using the
archive server, send mail to archive-manager@theory.lcs.mit.edu.

To retrieve files from the archive via anonymous ftp, connect to
theory.lcs.mit.edu (18.52.0.92) and log in with the username
"anonymous."  When you are asked for a password, type in your email
address.

Index               This file.
trakh70.tex         LaTeX file containing abstracts from talks
                    presented at the International Symposium on
                    Theoretical Computer Science in honor of Boris
                    Trakhtenbrot's 70th birthday.

trakh70.ps          A PostScript version of the Trakhtenbrot abstracts.

iandc.bib           A BibTeX bibliography file for the journal
                    Information and Computation (formerly Information
                    and Control), covering the period from January
                    1982 to the present.  Last updated 17 December 1997.

ic.bib              A BibTeX bibliography file for the journal
                    Information and Control (now called Information
                    and Computation), covering the years from 1957
                    through 1981 (volumes 1-51).  Last updated 9 April
                    1995.

lics.bib            A BibTeX bibliography file for the annual Symposium
                    on Logic in Computer Science. Last updated
                    September 8, 1995.

To broadcast a SCIENTIFIC contribution to the Types, Logic, and/or Concurrency
forums, send email to
			concurrency@cwi.nl
			logic@cs.cornell.edu 
			types@cs.indiana.edu


To SUBSCRIBE or for other ADMINSTRATIVE QUERIES concerning
the Types, Logic, and Concurrency forums, send email to
			concurrency-request@cwi.nl
			logic-request@cs.cornell.edu 
			types-request@cs.indiana.edu

For archives of the Types forum, see

                   http://www.cs.indiana.edu/types/

For archives of the Concurrency forum, see

    http://www.cwi.nl/~fritsv/concurrency/concurrency.html
    http://www-i2.informatik.rwth-aachen.de/Forschung/MCS/mailing_list.html

END