Mini-Workshop: Computer Tools for Pure Mathematics, Nov 27-28 2014
—
filed under:
Special Event
Mini-Workshop on Non-Computational Computer Tools for Pure Mathematics
What |
|
---|---|
When |
Nov 27, 2014 01:00 PM
to Nov 28, 2014 05:00 PM |
Where | Freiburg |
Contact Name | Konrad Voelkel |
Add event to calendar |
![]() ![]() |
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.