You must enable JavaScript to use this site
  • 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
    where they are meant to be deeply intertwined, and not as living separately.

    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.

  • News

Last modified: December 19 2016 18:02:55 CET