Events

2020

Joint Mathematics Meetings 2020 @ Denver, CO

Special Session 78 - Mathematical Information in the Digital Age of Science

Session I Saturday, January 18, 2020 8:00 am - 10:30 am
Session I Saturday, January 18, 2020 8:00 am - 10:30 am PRESENTERS
8:00 amTowards a Global Digital Mathematics Library.
8:30 amResearch data in mathematics: taking the high road.
  • Katja Berčič
  • Michael Kohlhase
  • Florian Rabe
  • Tom Wiesing
9:00 amThe Neverending Story of a Holistic Research Infrastructure for Mathematics.
  • Mila Rünnwerth
9:30 amWriting Mathematics in the Digital Age. [CANCELLED]
  • Bruce R. Miller
9:30 amMathematical Recognition Analysis
  • Steve Damelin
10:00 amThe Mathematics Genealogy Project as a Dataset.
  • Mitchel T. Keller
Session II Sunday, January 19, 2020 8:00 am - 12:00 pm
Session II Sunday, January 19, 2020 8:00 am - 12:00 pm PRESENTERS
8:00 amAutomated Reasoning: retrospective and current progress.
  • John Harrison
9:00 amThe Formalization of Mathematics and Controlled Natural Language.
  • Thomas Hales
9:30 amLogipedia: towards a Wikipedia of formal proofs.
  • Gilles Dowek
10:00 amMath-Aware Search: A Progress Report from the MathSeer Project.
  • Richard Zanibbi
  • Anurag Agarwal
10:30 amProgress in Mathematical Information and Knowledge Bases.
  • Stephen M Watt
11:00 amPanel on "Digital Mathematics Libraries for the modern real world"
  • Ingrid Daubechies
  • Jean-Pierre Bourguignon
  • Nalini Joshi
  • John Harrison
2018

Joint Mathematics Meetings 2018 @ San Diego, CA

Special Session 83 - Mathematical Information in the Digital Age of Science

Session I Wednesday, January 10, 2018 8:00 am - 10:50 am
Session I Wednesday, January 10, 2018 8:00 am - 10:50 am PRESENTERS
8:00 amFormal Abstracts in Mathematics
9:00 amMathematical Language from a Design Perspective
10:30 amA Web-Based Toolkit for Mathematical Word Processing Applications with Semantics.
10:00 amContinuing toward a Global Digital Mathematics Library.
Session II Thursday, January 11, 2018 1:00 pm - 3:50 pm
Session II Thursday, January 11, 2018 1:00 pm - 3:50 pm PRESENTERS
1:00 pmLet’s make a DEAL: Open Access, Business Models, and Transformation Dynamics
2:00 pmTrends and Topics in Mathematics Publishing
2:30 pmSupporting the move to diamond open access: The launch of Centre Mersenne
3:00 pmOpen Access and the Journal of Algebraic Combinatorics
3:30 pmPreserving information on mathematical software via web archives
Session III Friday, January 12, 2018 8:00 am - 10:50 am
Session III Friday, January 12, 2018 8:00 am - 10:50 am PRESENTERS
8:00 amVirtual research environments for computational mathematics: The OpenDreamKit project and the Math-in-the-Middle Approach to System Interoperability. [CANCELLED instead a discussion group]
8:30 amCataloging of DLMF’s Special Functions
9:00 amSemantic Preserving Bijective Mappings of Mathematical Expressions between LaTeX and Computer Algebra Systems
9:30 amThe social machine of mathematics
10:00 amThe arXiv: current status and future plans
10:30 amSeizure Prediction using Spectral Density Analysis on Pediatric EEGs
Organizing the mathematical literature: On the road to MSC 2020
2017

23rd Conference on Applications of Computer Algebra @ Jerusalem, Israel

Commemorating the heritage of Jonathan Michael Borwein

The International Mathematical Knowledge Trust Friday, July 21, 2017 9:30 am - 10:00 am
The International Mathematical Knowledge Trust Friday, July 21, 2017 9:30 am - 10:00 am PRESENTERS
9:30 amThe International Mathematical Knowledge Trust
  • I. Daubechies
  • Patrick Ion
  • S. M. Watt

10th Conference on Intelligent Computer Mathematics @ Edinburgh, Scotland

17-21 July, 2017

Friday, July 21, 2017 10:30 am - 11:00 am
Friday, July 21, 2017 10:30 am - 11:00 am PRESENTERS
10:30 amThe 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
  • Patrick D. F. Ion
  • Stephen M. Watt
2016

Special Session 73 – Joint Mathematics Meetings @ Seattle, WA

Mathematical Information in the Digital Age of Science

AMS Special Session on Mathematical Information in the Digital Age of Science I Wednesday, January 6, 2016 8:00 am - 10:50 am
AMS Special Session on Mathematical Information in the Digital Age of Science I Wednesday, January 6, 2016 8:00 am - 10:50 am PRESENTERS
8:00 amHow should mathematical knowledge be organized?
  • W Timothy Gowers
9:00 amThe User's Guide Project: giving experiential context to research papers.
  • Luke Wolcott
9:30 amEnhanced Guides to the Mathematical Literature
  • Edward Dunne
10:00 amQuantity and quality of mathematical information drawn from the literature: experiences from building and connecting EuDML and zbMATH
  • Olaf Teschke
10:30 amEvolving Math Web Standards from a Usability Perspective.
  • Peter Krautzberger
  • Davide Cervone
  • Volker Sorge
AMS Special Session on Mathematical Information in the Digital Age of Science II Wednesday, January 6, 2016 2:15 pm - 6:05 pm
AMS Special Session on Mathematical Information in the Digital Age of Science II Wednesday, January 6, 2016 2:15 pm - 6:05 pm PRESENTERS
2:15 pmEmbracing the dislocations as well as the gifts of the internet
  • David Mumford
3:15 pmEnsuring access and reproducibility: where do we go from here?
  • Henry Cohn
3:45 pmA publishers view on various aspects of handling digital scientific information
  • Mario Aigner
4:15 pmLinked Data, Annotations and the Future of Mathematics Libraries
  • Timothy W. Cole
4:45 pmMathematics publishing in an academic library context
  • David Ruddy
5:15 pmThe Search for Convex Pentagons that Tile the Plane: Challenges in Computation and Dissemination
  • Casey Mann
  • Jennifer McLoud-Mann
  • David Von Derau
5:45 pmNon-textual information infrastructure for mathematics at the German National Library of Science and Technology
  • Elena Demidova
  • Peter Löwe
  • Margret Plank
  • Mila Runnwerth
AMS Special Session on Mathematical Information in the Digital Age of Science III Thursday, January 7, 2016 8:00 am - 11:50 am
AMS Special Session on Mathematical Information in the Digital Age of Science III Thursday, January 7, 2016 8:00 am - 11:50 am PRESENTERS
8:00 amFormal Proof.
  • Thomas C Hales
9:00 amTheorema: A Tool for Formalizing Mathematics.
  • Wolfgang Windsteiger
  • Bruno Buchberger
9:30 amFrom the nLab to the HoTT Book
  • Michael Shulman
10:00 am30 Years of Digitizing Mathematical Knowledge with Maple.
  • Edgardo Cheb-Terrab
  • Laurent Bernardin
10:30 amOrthogonal Polynomial Seeding for the Digital Repository of Mathematical Formulae
  • Howard S. Cohl
  • Moritz Schubotz
  • Marjorie A. McClain
  • Bonita V. Saunders
  • Cherry Y. Zou
  • Azeem S. Mohammed
11:00 amRecent developments in computable mathematical data: Special functions, function spaces, and the semantic representation of mathematics using Mathematica and Wolfram | Alpha.
  • Eric W Weisstein
  • Michael Trott
11:30 amAssembling the World's Mathematical Knowledge.
  • Stephen M. Watt