Received: from antares.mcs.anl.gov (mcs.anl.gov [140.221.9.6]) by ra.abo.fi (8.6.10/8.6.10) with ESMTP id WAA29851; Mon, 15 Jan 1996 22:32:39 +0200
Received: (from listserv@localhost) by antares.mcs.anl.gov (8.6.10/8.6.10)
	id NAA26442 for qed-out; Mon, 15 Jan 1996 13:48:13 -0600
Received: from percy.cs.bham.ac.uk (percy.cs.bham.ac.uk [147.188.192.8]) by antares.mcs.anl.gov (8.6.10/8.6.10)  with SMTP
	id LAA22745; Mon, 15 Jan 1996 11:05:44 -0600
Message-Id: <199601151705.LAA22745@antares.mcs.anl.gov>
Received: from wallace by percy.cs.bham.ac.uk with SMTP (PP) 
          id <00302-0@percy.cs.bham.ac.uk>; Mon, 15 Jan 1996 17:05:09 +0000
To: William McCune <mccune@mcs.anl.gov>
cc: qed@mcs.anl.gov
Subject: Re: QED links to QED people
In-reply-to: Your message of "Mon, 18 Dec 1995 11:45:20 CST." <199512181745.LAA08142@lutra>
Date: Mon, 15 Jan 1996 17:05:04 +0000
From: Manfred Kerber <M.Kerber@cs.bham.ac.uk>
Sender: owner-qed@mcs.anl.gov
Precedence: bulk

Dear Bill,

I would be interested in being linked in. My URL is:

http://www.cs.bham.ac.uk/~mmk/

Manfred

+---------------------------------------------------------------+
| Manfred Kerber                 Tel.:   (+44)-121-414-4787     |
| School of Computer Science     Fax.:   (+44)-121-414-4281     |
| The University of Birmingham   e-mail: M.Kerber@cs.bham.ac.uk |
| Birmingham, B15 2TT, England   Office: LG8                    |
| WWW: http://www.cs.bham.ac.uk/~mmk                            |
+---------------------------------------------------------------+