announcing a new joint mechanized reasoning web page

• Subject: announcing a new joint mechanized reasoning web page
• From: Carolyn Talcott <clt@steam.stanford.edu>
• Date: Thu, 23 May 1996 15:52:09 -0700 (PDT)
• Reply-to: clt@steam.stanford.edu

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% New Joint WWW Home-Page for Mechanized Reasoning      %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

[Our sincere Apologies, if you receive this more than once]


Dear Colleagues,

We are pleased to announce the availability of a new WWW home-page for
mechanized reasoning. It consists of the information previously contained
in Carolyn Talcott's "Mechanized Reasoning" page and Michael Kohlhase's
"Deduction Worldwide" pages and will replace these. To conserve existing
links and bandwidth it will be mirrored at both original sites:

Europe: http://jswww.cs.uni-sb.de/ded/mr.html
USA:    http://www-formal.stanford.edu/clt/ARS/ars-db.html

The pages are still quite provisional, we hope that in time they will
evolve to a WWW entry point to and a representation of all mechanized
reasioning activities; so please send us interesting material, links and
suggestions.

   Michael Kohlhase 
   kohlhase@cs.uni-sb.de
   http://jswww.cs.uni-sb.de/~kohlhase/

 and 

   Carolyn Talcott 
   clt@sail.stanford.edu
   http://www-formal.stanford.edu/clt/home.hmtl

• Prev: TAPSOFT'97 CALL FOR PAPER.
• Next: workshop announcement
• Index: AMAST Mail 1996