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 |
vCal
iCal
|
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.