2018
- Wednesday January 10, 2018, 8:00 a.m.-10:50 a.m. Session
- 8:00 a.m. Formal Abstracts in Mathematics. Thomas Hales*, hales@pitt.edu Abstract
- 9:00 a.m. Mathematical Language from a Design Perspective. Jeremy Avigad*, avigad@cmu.edu Abstract
- Thursday January 11, 2018, 1:00 p.m.-3:50 p.m Session II
- 1:00 p.m. Let’s make a DEAL: Open Access, Business Models, and Transformation Dynamics. Günter Ziegler*, ziegler@math.fu-berlin.de 15-sep-2017 Abstract
- 2:00 p.m. Trends and Topics in Mathematics Publishing. Jan J. Blom*, harry.blom@springer.com Abstract
- Friday January 12, 2018, 8:00 a.m.-10:50 a.m Session III
- 8:00 a.m. Virtual research environments for computational mathematics: The OpenDreamKit project and the Math-in-the-Middle Approach to System Interoperability. [CANCELLED instead a discussion group] Michael Kohlhase*, michael.kohlhase@fau.de Abstract
- 8:30 a.m. Cataloging of DLMF’s Special Functions. Bruce Miller*, bruce.miller@nist.gov Abstract
2017
- Friday, July 21, 2017, 9:30a.m.-10:00a.m.
- I. Daubechies, P. Ion and S. M. Watt, The International Mathematical Knowledge Trust
10th Conference on Intelligent Computer Mathematics in Edinburgh, Scotland
- Friday, July 21, 2017, 10:30 a.m.-11 a.m.
- Patrick D. F. Ion and Stephen M. Watt, The Global Digital Mathematics Library and the International Mathematical Knowledge Trust, pages 56-69 of Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings. Lecture Notes in Computer Science, vol. 10383
2016
- Wednesday January 6, 2016, 8:00 a.m.-10:50 a.m.
- Wednesday January 6, 2016, 2:15 p.m.-6:05 p.m.
- Thursday January 7, 2016, 8:00 a.m.-11:50 a.m.
Semantic Representation of Mathematical Knowledge workshop at Fields Institute