Public FTP archive at Imperial College, London The Theory and Formal Methods section of the Department of Computing in Imperial College, London, now has a public FTP archive for its papers. You can access this by the fairly memorable ftp theory.doc.ic.ac.uk and then log in using the name "anonymous" or "ftp" and your email address as password. The IP address is currently 129.31.81.37 but is going to change shortly, so please note the name (which cost a three month fight within the department!), not the number. Papers, in various formats (DVI, LaTeX source, PostScript, RTF, ASCII), are in the directory /theory/papers/... where the next subdirectory is the surname of the author. For example, /theory/papers/Abramsky/cill.dvi.Z is the compressed DVI of Samson Abramsky's "Computational Interpretation of Linear Logic". There isn't a great deal of stuff there at the moment, but hopefully it will expand. It is intended to include papers from the CLiCS (Categorical Logic in Computer Science: European Community Basic Research Action 3003) project as well as local ones. If you believe one of us has written a paper but you cannot find it in the archive, please send email to the author (not me); in most cases the email address consists of the initials with @doc.ic.ac.uk. There is also a directory /theory/software, which contains some tex bits (including my commutative diagrams) and wp (Mark Dawson's omega Prolog). Finally, you can write to /theory/tmp (within reason!). ============================================================================= Since I'm here: Perhaps other sites who have FTP archives of theoretical computer science and category theory papers would declare themselves for future reference. On-line bibliographies and address lists, too. Also: My commutative diagrams package (/theory/software/tex/diagrams.tex) hasn't changed much since July 1990, but when I have time (one day) I intend to overhaul it, fix some bugs and incorporate some features people have suggested. Please would those who have acquired the package indirectly, or passed it on to others, advise me so as to ensure that you get the new version when it becomes available (NOT YET!). Bugs and suggestions are also welcome. Paul Taylor <pt@doc.ic.ac.uk> Dept of Computing, Imperial College, London SW7 2BZ, UK +44 71 589 5111 x 5057 ===================================