PROGRAM FOR MONDAY, SEPTEMBER 4TH
Days:
next day
all days
View: session overviewtalk overview
14:00-16:00 Session 1: Workshop TetraPod
| 14:00 | Aspects of Mathematical Knowledge ABSTRACT. This talk will give a brief introduction to the Tetrapod model and then transition into free discussion. |
| 15:00 | Modularity in Mathematical Knowledge ABSTRACT. This talk will update on the 2018 presentation aiming at inducing lively discussion. |
16:30-18:00 Session 2: Workshop TetraPod
| 16:30 | Isomorphisms and Interoperability ABSTRACT. This talk will present technical results on proving isomorphisms and discuss their use for interoperability of provers. |
| 17:15 | Panel discussion on the Mathematical Software of the Future ABSTRACT. Based on the issues raised in the previous talks, we speculate on how we should design the cross-aspect, modular, interoperable mathematical software systems of the future.
Tentative list of attendants:
All above speakers
William Farmer
Lawrence Paulson |