From: meyer@theory.lcs.mit.edu
Newsgroups: fj.mail-lists.types
Subject: New CONCURRENCY, LOGIC, and TYPES Moderators
Date: 30 Sep 92 00:04:05 GMT
Distribution: fj

After seven years as founder and moderator of the three email forums,
CONCURRENCY, LOGIC, and TYPES, I am passing on the responsibility to some
capable successors.  It is a pleasure to announce that

   Frits VAANDRAGER, CWI, Amsterdam, fritsv@cwi.nl, has agreed to take over
   as CONCURRENCY Moderator,

   Bard BLOOM, Cornell Univ., bard@gvax.cs.cornell.edu, has agreed to take
   over as LOGIC Moderator, and

   Philip WADLER, U. Glasgow, wadler@dcs.glasgow.ac.uk, has agreed to take
   over as TYPES Moderator.

I hope Frits, Bard, and Phil find moderating as interesting and satisfying
as I have.

I began these email forums in 1985 as informal bboards for researchers in
the Logic-of-Programs/Logic-in-Computer-Science community. They continue
as a useful medium for research communication, each with about 300
subscriber addresses including two dozen local distribution lists.

We plan the changeover to have minimal impact on subscribers.  SUBMISSIONS
to the respective forums should now be addressed to:
			logic@cs.cornell.edu 
			concurrency@cwi.nl
			types@dcs.glasgow.ac.uk .

To SUBSCRIBE to a forum, or for other ADMINSTRATIVE QUERIES, send mail to
			concurrency-request@cwi.nl
			logic-request@cs.cornell.edu 
			types-request@dcs.glasgow.ac.uk .

The current addresses, types@theory.lcs.mit.edu,
types-request@theory.lcs.mit.edu, etc., will also forward appropriately
for a transition period.

The aims and policies of the forums are summarized in the statements
below.  FTP'able archives of types correspondence (and related others
goodies) will continue to be available at MIT; instructions for obtaining
these are also appended below.
				    
				    Yours truly,
				    Albert R. Meyer
				    Hitachi America Professor of Engineering
				    MIT Lab. for Computer Science 
				    Cambridge, MA, USA

		  --------------------------------------
				THE TYPES FORUM

   TYPES is a moderated email forum focusing on Type Theory in Computer
   Science, with a broad view of the subject encompassing semantical,
   categorical, operational, and proof theoretical topics.  Typical
   topics include:

   Typed, untyped, polymorphic lambda calculus; type checking, inference,
   and reconstruction; dependent types, calculus of constructions, linear
   logic; adequate and fully abstract models; Curry-Howard
   correspondence; recursive types; domain theory; category and topos
   theory; term reduction: strong normalization, confluence; abstract
   data types.

   Comments and criticisms of results in the literature, open problems,
   and research queries, are encouraged.  Announcements of meetings and
   publications, and abstracts of papers, are also welcome.
		   -----------------------------------

			  THE CONCURRENCY FORUM

   CONCURRENCY is a moderated email forum focusing on concurrent process
   theory, especially operational and abstract semantics, specification,
   and verification of: concurrent, distributed, reactive and real-time
   processes.  Typical topics include:

   CSP, CCS, Petri Nets, ACP, Dataflow, Trace theory, Pomset processes,
   Event structures, Pi-calculus, concurrent proof nets and Linear Logic,
   resumption semantics, I/O automata, linear and branching Temporal
   Logic, Fairness, Liveness, Safety, concurrent Logic- and
   Constraint-Logic Programming, Real-Time and Probabilistic concurrent
   processes

   Comments and criticisms of results in the literature, open problems,
   and research queries, are encouraged.  Announcements of meetings and
   publications, and abstracts of papers, are also welcome.
		   -----------------------------------

			     THE LOGIC FORUM

   Logic IN COMPUTER SCIENCE, of course, but aside from that, I never wrote a
   policy statement; perhaps the new moderator will.
		     --------------------------------



				FTP INDEX

This is 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 logic.babyl, you would say

                        send meyer logic.babyl

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.

concurrency-1-5-91  UNIX mail archive of the Concurrency mailing list
                    from March 1988 to January 1991.

concurrency.babyl   GNU emacs BABYL archive of the Concurrency mailing
                    list from January 1991 to the present.

jategoankar-meyer-action-refinement.ps
		    Postscript file of "Testing Equivalence
		    for Petri Nets with Action Refinement
		    (Extended Abstract)" by Jategaonkar and Meyer

logic-jun-21-91     UNIX mail archive of the Logic mailing list from
                    1988 to June 1991.

logic.babyl         GNU emacs BABYL archive of the Logic mailing list
                    from June 1991 to the present.

mac25.bib           A BibTeX bibliography for the book "Research
                    Directions in Computer Science: An MIT
                    Perspective," Albert R. Meyer, John V. Guttag,
                    Ronald L. Rivest, Peter Szolovits, editors.
                    Includes abstracts for all papers.

mac25.tex           A LaTeX version of mac25.bib.

mac25.ps            A PostScript version of mac25.bib.

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.

types-oct-3-88      UNIX mail archive of the Types mailing list from
                    November 1987 to October 1988.

types-jun-30-89     UNIX mail archive of the Types mailing list from
                    October 1988 to June 1989.

types-dec-12-90     UNIX mail archive of the Types mailing list from
                    June 1989 to December 1990.

types-nov-27-91     UNIX mail archive of the Types mailing list from
                    December 1990 to November 27, 1991.

types-jun-30-89     UNIX mail archive of the Types mailing list from
                    November 27, 1991, to June 30, 1992.

types.babyl         GNU emacs BABYL archive of the Types mailing list
                    from July 1, 1992, to the present.

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 July 15, 1992.

tacs91.bib          A BibTeX bibliography file for the proceedings of
                    the International Conference on Theoretical Aspects 
                    of Computer Science, held at Tohoku University in
                    Sendai, Japan, September 24-27, 1991.  Last updated
                    August 14, 1991.

tacs91.tex          A LaTeX file version of tacs91.bib.  Last updated
                    August 14, 1991.

tacs91.ps           A PostScript version of tacs91.bib.  Last updated
                    August 14, 1991. 

lics.bib            A BibTeX bibliography file for the annual Symposium
                    on Logic in Computer Science.  Abstracts are
                    available for approximately 35% of the papers.
                    Last updated July 14, 1992.

types-policy        Statement of purpose and policy for the Types
                    mailing list

concurrency-policy   Statement of purpose and policy for the Concurrency
                    mailing list

END