[Prev][Next][Index][Thread]
New CONCURRENCY, LOGIC, and TYPES Moderators
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