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:
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.
9th Conference on Intelligent Computer Mathematics
July 25-29, 2016