[Date Prev][Date Next] [Chronological] [Thread] [Top]

Re: [mizar] MoWGLI Meeting 16-17/12/2002

To: mizar-forum@mizar.uwb.edu.pl
Subject: Re: [mizar] MoWGLI Meeting 16-17/12/2002
From: Freek Wiedijk <freek@cs.kun.nl>
Date: Tue, 10 Dec 2002 20:14:05 +0100 (MET)

Claudio wrote:

> Dear mizar users/developers,
>
> I just want to advertise the next MoWGLI Meeting that will
> take place next week in Saarbruken:

Just for the record: from Nijmegen Herman Geuvers and I will
go there.

Freek

References:
- [mizar] MoWGLI Meeting 16-17/12/2002
  - From: Claudio Sacerdoti Coen <sacerdot@CS.UniBO.IT>

Prev by Date: [mizar] MoWGLI Meeting 16-17/12/2002
Next by Date: [mizar] Mizar grammar up to date?
Index(es):
- Chronological
- Thread