What's New on the Language Research Pages?

What's New (September 1994):

Sept 27

Added the Tulane archive of research papers in theoretical computer science.

Added the proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and its Applications to the conferences page.

Added Susan Horwitz's, James Larus', and Thomas Reps' home pages.

Sept 22

Added the MPC '95 (Mathematics of Program Construction) call for papers to the conferences page.

Sept 20

Added the extensive collection of Computer Science Bibliographies at the University of Karlsruhe to the bibliographies page.

Added Susan Eggers' and David Keppel's home pages.

Added the Synthetix Project at OGI.

Sept 18

Updated the link to Chris Fraser's home page.

Sept 17

Added the SPIN project at the University of Washington.

Sept 16

Added Vaughan Pratt's concurrency group at Stanford and his home page.

Updated the link to the Cecil home page and added Jeff Dean's and Dave Grove's home pages.

Sept 15

Added the SIPL '95 (State in Programming Languages) web page.

Added the OPAL Project at Technische Universität Berlin

Updated the pointer to Martin Weichert's conference listing and added Dale Miller's list.

Pruned some old CFPs from the conferences page and added the proceedings of the 1993 Workshop on Concurrent, Distributed & Parallel Implementations of Logic Programming Systems.

Sept 13

Added the IWMM '95 (International Workshop on Memory Management) call for papers and the JMLC (Joint Modular Languages Conference) web page.

Sept 12

Added the PAP '95 (Practical Applications of Prolog) call for papers to the conferences page.

Sept 9

Added the MFPS '95 web page (Mathematical Foundations of Programming Semantics) to the conferences page.

Sept 8

Added the FCT '95 (Fundamentals of Computation Theory) call for papers to the conferences page.

Sept 7

Added the Programming Systems Group at the Swedish Institute of Computer Science and the Programming Systems Lab at DFKI (the German Research Center for AI).

Added Dirk Craeynest's home page.

Sept 6

Added the new hypertext Standard ML FAQ to the language overviews page.

Updated the links to the Microsoft Program Analysis Group and its members' home pages.

Sept 2

Added Lars Birkedal's home page.

What's new: August 1994

Back to the language research page