28^th OpenMath Workshop

at CICM 2017, Edinburgh, UK (July 17. July 2017)

OpenMath is a language for exchanging mathematical formulae across applications (such as computer algebra systems). From 2010 its importance has increased in that OpenMath Content Dictionaries were adopted as a foundation of the MathML 3 W3C recommendation, the standard for mathematical formulae on the Web.

Program

td>

time	authors	title
9:00-10:00		Invited Talk
	Alexander Konovalov and Markus Pfeifer	SCSCP and OpenMath in OpenDreamKit
10:30 - 12:30		Contributed Talks/Papers
10:30 -11:00	Matthew England, James H. Davenport, Roberto Sebastiani, and Patrick Trentin	OpenMath and SMT-LIB
11:00-11:30	Michael Kohlhase	OpenMath in the times of copious Content Dictionary Resources
11:30-12:00	Lars Hellstrom	The tensor2 content dictionary
12:00-12:30	Moritz Schubotz	Content Dictionary Description: Symbols from the Chapters 9 of KLS dataset in the DRMF
14:00 - 15:30	Panel/Discussion (Florian Rabe, chair)	SCSCP 1.3 in OpenMath and beyond
16:00 - 18:30?		OpenMath Society Business Meeting.

Topics we expect to see at the workshop include

Feature Requests (Standard Enhancement Proposals) and Discussions for going beyond OpenMath 2;
Further convergence of OpenMath and MathML 3;
Reasoning with OpenMath;
OpenMath on the Semantic Web;
New OpenMath Content Dictionaries;
Software using or processing OpenMath;

though others related to OpenMath are certainly welcomed. For examples of contributions see the previous OpenMath workshops of 2009, 2010, 2012, 2013, 2014, 2015, 2016.

Contributions can be either research papers, description of new Content Dictionaries, particularly ones that are suggested for formal review and adoption by the OpenMath Society, or standard enhancement proposals.

Important Dates (all times are "anywhere on earth")

Submission is continuous (early submit -> early notify.
15. July : Final revised papers due
2?. July 2017: Workshop

Submission

Submission is continuous by e-mail to michael.kohlhase@fau.de. Submissions will be refereed by the Organizers within one week.

Authors should prepare their papers in one column style of CEUR-WS for the final version and without page numbers. See http://ceur-ws.org/Vol-XXX/samplestyles/ for an example: paper1.tex and paper1.pdf.

Submission categories

Full paper: 5-10 pages
Short paper: 1-4 pages
CD description: 1-6 pages; a .zip or .tgz file of the CDs must be attached, or a link to the CD provided.
Standard Enhancement Proposal: 1-10 pages (as appropriate w.r.t. the background knowledge required); a .zip or .tgz file of any related implementation (e.g. a Relax NG schema) should be attached.