You must enable JavaScript to use this site
  • Mathematical Models and Mathematical Software as Research Data (M3SRD 2018)

    Programme, Monday, August 13

    Time Title Speaker
    14:30-15:30 Mathematical model as research data — why do need precise and well-written information about mathematical models and what can we do Michael Kohlhase (FAU Erlangen-Nürnberg)
    15:30-16:00 Coffee Break -
    16:00-16:45 The publication-based approach for mathematical models: Identification of mathematical models in the literature and processing of information about mathematical models from publications Wolfram Sperber (FIZ Karlsruhe, Berlin)
    16:45-17:30 A graph-based representation of mathematical modeling and models Thomas Koprucki (WIAS Berlin)
    17:30-18:00 A concept for the formalization of mathematical models Florian Rabe (FAU Erlangen-Nürnberg and LRI Paris)


    Mathematical knowledge management requires specification for different kinds of research objects.

    Mathematical modeling is the first and necessary step for preparing real problems for mathematical treatment. Up to now mathematical models are part of publications and are not handled as independent research objects which prevents citation of models. Moreover different presentations of the same model are not consistent and/or incomplete and depend from the special terminology wich is used in a community.
    Also there exist only proprietary standards for citation and the description of (mathematical) software up to now. Standardization of information about (mathematical) models, software, and further research data, e.g. algorithms, would help to develop a powerful Web infrastructure for mathematical research data which makes reproduction, evaluation, and reuse of mathematical knowledge easier. Components of such an infrastructure could be specialized databases and search engines for models, algorithms, and software combining these objects with their context.
    Each class of mathematical research has it own challenges: So, the dynamic development of software requires special concepts for maintaining, updating and archiving software artifacts, models have a complex structure which requires a general approach for the formalization.
    The aim of the proposed workshop is to present and discuss ideas, concepts, the standardization of information and the development of services for important classes of mathematical research data, especially mathematical models and mathematical software. Therefore both the specification of general MKM approaches, e.g., the MMT concept, as related general activities in the Web, should be considered.

    Topics of Interest

    Topics of interest include (but are not limited to):
      General Topics
    • Mathematical modeling in physics
    • Graph-based presentations of mathematical models
    • Software information on the Web: software citations and software metadata
    • Software repositories and portals
    • Software source code
    • Virtual research environments in computational mathematics


    We welcome submission of extended abstracts and demonstration proposals presenting work related to the workshop's points of interest. Electronic submission is done through EasyChair. Extended abstracts and demonstration proposals should be not more than 4 pages formatted in LaTeX according to requirements of Springer's LNCS series (the corresponding style files can be downloaded from here).

    The submissions will be reviewed.

    At least one author of each accepted paper is expected to attend FVPS and presents her/his paper.

    Important Dates

    • Full Paper Submission: May 21, 2018
    • Notification: June 22, 2018
    • Camera Ready: July 1, 2018
    • Workshop: August 18, 2018

    Programme Committee (TBC)

    • Neil Chue Hong, Software Sustainability Institute, Great Britain
    • Roberto Di Cosmo, Inria, France
    • Thomas Koprucki, WIAS Berlin, Germany (co-chair)
    • Florian Rabe, FAU Erlangen, Germany
    • Wolfram Sperber, FIZ Karlsruhe, Berlin (co-chair)
  • News

    • CICM is over
    • award winners online
    • detailed program online
    • accepted papers online
    • registration open
    • program overview online
    • deadline extended: April 22 (abstract), April 29 (paper)
    • 6 workshops accepted
    • 3 invited speakers
    • CfP and CfW available
    • PC completed
    • initial website online
Privacy policy and legal information
Last modified: August 03 2018 10:10:34 CEST