ICMS 2016 Session: SemDML: Towards a Semantic Layer of a World Digital Mathematical Library

ICMS 2016: Home, Sessions


Aim and Scope

The dream of a comprehensive digital mathematical library is almost as old as the practice of distributing documents electronically. Recently, the International Mathematical Union has chartered a working group for establishing World Digital Mathematical Library (WDML) with a semantic layer, i.e. a layer where mathematical knowledge is represented in a way that supports semantic services like computation, proof-checking, or search. But a semantic layer for a WDML needs the solution of some fundamental problems, including: The SemDML Workshop wants to address these - and related - questions from foundational and technical perspectives and create a forum for advancing the scientific and technological basis for a World Digital Mathematical Library with a Semantic Layer.

Topics (including, but not limited to)


Submission Guidelines


FIZ Karlsruhe - Leibniz-Institut für Informationsinfrastruktur GmbH.
Sitz der Gesellschaft: Eggenstein-Leopoldshafen, Amtsgericht Mannheim, HRB 101892.
Geschäftsführerin: Sabine Brünger-Weilandt.
Vorsitzender des Aufsichtsrats: MinDirig Dr. Thomas Greiner.