Semantic Representation of Mathematical Knowledge Workshop
Overview
This workshop is designed to pool the knowledge and experience of a small and select group of experts to produce agreement on a design that will lead the way to implementation of a semantic capture language applicable to all of mathematics.
The Workshop is co-organized by the Wolfram Foundation, the Fields Institute, and the IMU/CEIC working group for the creation of a World Digital Mathematics Library. A grant in support of the workshop has been provided by the Alfred P. Sloan Foundation and logistical support is by the Fields Institute.
With support from:
Schedule
| 09:00 to 09:30 |
Ian Hambleton, The Fields Institute, Ingrid Daubechies, International Mathematical Union, Daniel Goroff, Alfred P. Sloan Foundation, Patrick Ion, Global Digital Mathematical Library Working Group, Michael Trott, Wolfram Research |
| 09:30 to 10:00 |
Michael Trott, Wolfram Research |
| 10:45 |
Stephen Wolfram, Wolfram Research |
| 13:15 to 14:45 |
Jeremy Avigad, Carnegie Mellon University |
| 15:00 to 15:45 |
Dana Scott, Carnegie Mellon University |
| 15:45 to 16:30 |
Fairouz Kamareddine, Heriot-Watt University |
| 16:30 to 17:15 |
Harvey Friedman, The Ohio State University |
| 17:15 to 18:15 |
Michael Kohlhase, Jacobs University Bremen |
| 18:15 to 19:00 |
Freek Wiedijk, Radboud Universiteit |
| 19:00 to 19:45 |
Jose Martin-Garcia, Wolfram Research |
| 09:00 to 10:30 |
Edgardo Cheb-Terrab, Maplesoft, Adri Olde Daalhuis, University of Edinburgh, James Mulnix, Wolfram Research |
| 10:45 to 11:30 |
Georges Gonthier, Microsoft Research |
| 11:30 to 12:15 |
Lessons from the formalization of the Kepler Conjecture
Thomas Hales, University of Pittsburgh |
| 13:15 to 14:45 |
James Davenport, University of Bath, Masahiko Sato, Kyoto University, Dongming Wang, Beihang University |
| 15:00 to 15:45 |
Wieb Bosma, Radboud Universiteit |
| 15:45 to 16:30 |
Roger Germundsson, Wolfram Research |
| 16:30 to 17:15 |
John Harrison, Intel Corporation |
| 17:15 to 18:00 |
Bruno Buchberger, Johannes Kepler University |
| 09:00 to 09:45 |
Josef Urban, Radboud Universiteit |
| 09:45 to 10:30 |
Jasmin Christian Blanchette, Inria Nancy - Grand Est |
| 10:45 to 12:15 |
Vaughan Pratt, Stanford University, Nikita Zhiltsov, Kazan Federal University, Stephen M. Watt, University of Waterloo |
