Mathematical Models and Mathematical Software as Research Data (M3SRD 2018)
Programme, Monday, August 13
Time 
Title 
Speaker 
14:3015:30 
Mathematical model as research data — why do need precise and wellwritten information about mathematical models and what can we do 
Michael Kohlhase (FAU ErlangenNürnberg) 
15:3016:00 
Coffee Break 
 
16:0016:45 
The publicationbased 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:4517:30 
A graphbased representation of mathematical modeling and models 
Thomas Koprucki (WIAS Berlin) 
17:3018:00 
A concept for the formalization of mathematical models 
Florian Rabe (FAU ErlangenNürnberg and LRI Paris) 
Theme
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
 Graphbased 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
Submission
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 (cochair)
 Florian Rabe, FAU Erlangen, Germany
 Wolfram Sperber, FIZ Karlsruhe, Berlin (cochair)
