[TYPES] TYPES workshop: "Types for Mathematics / Libraries of Formal Mathematics"

[herman geuvers]

                    -- ANNOUNCEMENT --

                 Small TYPES workshop
            "Types for Mathematics / Libraries of Formal Mathematics"
                    November 1-2 2004
                       Nijmegen NL
            http://www.cs.kun.nl/fnds/typesworkshop/

                     -- ANNOUNCEMENT --

Invited Speakers:
  Bob Constable (Cornell, Ithaca NY))
  Bruno Buchberger (RISC Linz Austria)

The workshop will be held at the campus of the "Radboud University 
Nijmegen" (Formerly known as University of Nijmegen or Catholic 
University of Nijmegen)

If you want to give a talk or a demo, please send a mail (with title and
abstract) to typesworkshop at cs.kun.nl. (In case there are many people 
that want to talk, the organizers will make a selection.)

If you want to come, please send a mail to typesworkshop at cs.kun.nl BEFORE
OCTOBER 1. In your mail please mention
- Name, affiliation and e-mail address
- When you plan to arrive/depart
- Whether you want to give a talk


Topics include, but are not limited to:

  * Formalising mathematics using type theory
  * Type theory as a foundational basis for mathematics
  * Repositories of formalized mathematics
  * Interaction with / presentation of (esp. large) bodies of
    formalized maths


The organisers are

Herman Geuvers
Bas Spitters
Freek Wiedijk
Nicole Messink