The Coq mailing list

[Hugo Herbelin <Hugo.Herbelin AT inria.fr>]

  Dear member of the Coq Club,

  We are pleased to inform you about the following talks to be hold
at INRIA Rocquencourt.

  On Monday, June 5, 2000: a talk on an hypertextual formal library 
experiment.
  On Tuesday, June 6, 2000: a thematic seminar on modules and record types.

                        Temptative program
                        ------------------

Monday, June 5:

  14h: Claudio Sacerdoti (University of Bologna, Italy)
  Towards an Hypertextual Electronic Library of Formal Mathematical knowledge

  (+ possibly another talk)

Tuesday, June 6 : "On modules and record types"

  10h: Coffee

  10h30-12h: Randy Pollack (University of Durham, UK)
  Dependently Types Records for Representing Mathematical Structure

  14h-15h: Jacek Chrzaszcz (University of Orsay - COQ)
  Rewriting in Modular Setting

  15h-16h: Daniel Hirschkoff (ENS Lyon - COQ)
  Enriching Coq with Primitive Records


  Updated program and abstracts can be found at the following addresses:

  http://coq.inria.fr/seminaires/index-eng.html
  http://coq.inria.fr/seminaires/index-fra.html