Return-Path: Delivery-Date: Received: from antares.mcs.anl.gov (actually antares9.mcs.anl.gov !OR! owner-qed@mcs.anl.gov) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Tue, 13 Dec 1994 09:41:32 +0000 Received: from localhost (listserv@localhost) by antares.mcs.anl.gov (8.6.4/8.6.4) id DAA12794 for qed-out; Tue, 13 Dec 1994 03:31:52 -0600 Received: from relay1.UU.NET (relay1.UU.NET [192.48.96.5]) by antares.mcs.anl.gov (8.6.4/8.6.4) with ESMTP id DAA12789 for ; Tue, 13 Dec 1994 03:31:39 -0600 From: kohlhase@cs.uni-sb.de Received: from uni-sb.de by relay1.UU.NET with SMTP id QQxubu07782; Tue, 13 Dec 1994 04:31:24 -0500 Organization: Universitaet des Saarlandes D-66041 Saarbruecken, Germany Received: from sbsvax with SMTP by uni-sb.de (5.65++/UniSB-2.2/941206) id AA19989; Tue, 13 Dec 94 10:29:03 +0100 Received: from js-sfbsun.cs.uni-sb.de with SMTP by cs.uni-sb.de (5.65/UniSB-2.3/941206) id AA09285; Tue, 13 Dec 94 10:29:00 +0100 Received: from js-ss20.cs.uni-sb.de with SMTP by js-sfbsun.cs.uni-sb.de (5.65b/UniSB-2.2/DFKI-1.0/061991) id AA26647; Tue, 13 Dec 94 10:28:58 +0100 Message-Id: <9412130928.AA28834@js-ss20.cs.uni-sb.de> Received: from js-ss20.cs.uni-sb.de with SMTP by js-ss20.cs.uni-sb.de (5.65b/UniSB-1.0/DFKI-1.0/061991) id AA28834; Tue, 13 Dec 94 10:28:58 +0100 To: qed@mcs.anl.gov, theorem-provers@mc.lcs.mit.edu, rewriting-list@POINCARE.LORIA.FR Reply-To: Michael Kohlhase Subject: Deduction on the WWW (Call for Hyperlinks) Date: Tue, 13 Dec 94 10:28:58 +0100 Sender: owner-qed@mcs.anl.gov Precedence: bulk Dear Colleagues, I would like to announce the availability of a world-wide web home page on Mechanized Deduction in the German-speaking region http://js-sfbsun.cs.uni-sb.de/pub/www/deduktion-eng.html This page carries information on organizations and infrastructure of the German deduction community and links to the major research groups. So far the information on this page is restricted to the German-speaking region, since it also carries the information in German and some groups only provide their home pages in German. However the page also carries a section on international activities, researchers/research groups, and systems, which I have collected from the net. This section could in time evolve into a home-page for the international (mechanized) deduction community. Therefore I am asking you to send me hyperlinks (URLs) concerning - project home-pages - individual home-pages - system home-pages that I could incorporate into the document. Also I would be interested in - important documents that are accessible on the net - corrections and proposals pertaining to the existing document - ... whatever you find important to add to a deduction home-page Thus with your help I hope we will be able to compile a valuable resource for the community. Michael Kohlhase ------------------------------------------------------------------------------- Dr. Michael Kohlhase tel. (49)-681-302-4627 net. FB Informatik, Universit"at des Saarlandes, 66041 Saarbr"ucken, Germany -------------------------------------------------------------------------------