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

[Claudio Sacerdoti Coen <sacerdot@CS.UniBO.IT>]

 Dear mizar users/developers,

 I just want to advertise the next MoWGLI Meeting that will take place
 next week in Saarbruken:

 http://www.ags.uni-sb.de/~george/mowgli/meetingSB

 The topics of the meeting are:

  1. metadata for Mathematical Knowledge Management
  2. query and query languages for Mathematical Knowledget Management
  3. proof-representation

 The first day is open to non MoWGLI members. Since your recent results in
 developing queries on the Mizar library, someone of the Mizar group
 could be interested in participating or presenting something (even
 a demo would be well-accepted). (The already expired deadline for
 the talk announcements should be flexible enough to accomodate a few
 new talks).

 Excuse me for the very tight deadline.

 					Regards,
					C.S.C.

-- 
----------------------------------------------------------------
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: sacerdot@cs.unibo.it
http://caristudenti.cs.unibo.it/~sacerdot
----------------------------------------------------------------