Re: [mizar] mkm mail list? (fwd)

[Czeslaw Bylinski <bylinski@math.uwb.edu.pl>]

---------- Forwarded message ----------
Date: Thu, 11 Dec 2003 02:53:41 +0100
From: Michael Kohlhase <m.kohlhase@iu-bremen.de>
To: mizar-forum@mizar.uwb.edu.pl
Subject: Re: [mizar] mkm mail list?

There is the MKM EU project list mkm@lists.bath.ac.uk, which is pretty
comprehensive  and the north american MKM mailing list namkm@mathweb.org

I hope this helps.

Michael

-------------------------------------------------------------------------
    Prof. Dr. Michael Kohlhase,         Office: Research 1, Room 62
    Professor for Computer Science      Campus Ring 12,
    School of Engineering & Sciences    D-28758 Bremen, Germany
    International University Bremen     tel/fax: +49 421 200 3140/3103
    http://www.cs.cmu.edu/~kohlhase     e-mail:
<m.kohlhase@iu-bremen.de>
--------------------------------------------------------------------------


Josef Urban wrote:
> Hi,
>
> is there a public mailing list for MKM?
> I have only found www-math@w3.org, which seems to be a bit too technically
> oriented on MathML.
>
> Thanks,
> Josef