Workshop of the Tetrapod Project (organizers: Jacques Carette, Bill Farmer, Michael Kolhase, Florian Rabe)

This workshop centers around the themes of the Tetrapod project. These are:

• mathematical knowledge (formal and informal)
• specification-based computation
• logic
• algorithms & data structures

The workshop will consist of talks (by invitation of the organizers), and mostly consist of discussions between the participants; each discussion will have a theme, and a moderator. A certain set of participants will be there by invitation, but the workshop itself will be open to all.