Mini-Workshop: Computer Tools for Pure Mathematics, Nov 27-28 2014

— filed under:

Mini-Workshop on Non-Computational Computer Tools for Pure Mathematics

  • Special Event
When Nov 27, 2014 01:00 PM to
Nov 28, 2014 05:00 PM
Where Freiburg
Contact Name Konrad Voelkel
Add event to calendar vCal

We will take a look at Mathematical Knowledge Management (MKM) and Proof Assistants. There will be a special focus on Homotopy Type Theory. We'll investigate the state of the art and where we can go from that. Included is a brief introduction to type theory and a session to try out proof assistants on your own device.

More information about this event…

Personal tools