The Coq mailing list

[mvardi AT cs.rice.edu (Moshe Vardi)]

Please do not reply to this email.



August 12, 2005

The Publisher and Editorial Board of Information and Computation are
pleased to announce that for one year, effective immediately, online
access to all journal issues back to 1995 will be available without
charge.  This includes unrestricted downloading of articles in pdf
format.  Journal articles may be obtained through the journal's web
site http://theory.csail.mit.edu/~iandc or Elsevier's Sciencedirect at
http://www.sciencedirect.com/science/journal/08905401

At the end of the year, the retrieval traffic during the open access
period will be evaluated as future subscription policies are considered.

Albert R. Meyer, Editor-in-Chief, MIT Computer Science & AI Lab
Chris Leonard, Publishing Editor, Elsevier
Moshe Y. vardi, Associate Editor, Rice University