[Om] CFP OpenMath 2017 (co-located with CICM 2017 in Edinburgh)
Michael Kohlhase
michael.kohlhase at fau.de
Thu May 11 18:16:00 CEST 2017
28th OpenMath Workshop
Edinburgh, UK
July 17-21. 2017 (one day, tbd)
co-located with CICM 2017
continuous Submission; final papers due July 15.
http://www.cicm-conference.org/2017/openmath/
OBJECTIVES
OpenMath (http://www.openmath.org) 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 (http://www.w3.org/TR/MathML), the standard for
mathematical formulae on the Web.
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;
Contributions can be either full research papers, Standard Enhancement
Proposals, or a description of new Content Dictionaries, particularly
ones that are suggested for formal adoption by the OpenMath Society.
IMPORTANT DATES (all times are "anywhere on earth")
* Submission is continuous (early submit -> early notify)
* 15. July : Final revised papers due
* ??. July 2017: Workshop (one day, tbd)
SUBMISSIONS/PROCEEDINGS
Electronic proceedings will be published with CEUR-WS.org.
Submission is continuous by e-mail to <michael.kohlhase at fau.de>.
Submissions
will be refereed by the Organizers within one week.
Authors should prepare their papers in one column style of CEUR-WS [1]
for the final version and without page numbers. See [2] for an example.
[1] http://ceur-ws.org/Vol-XXX/samplestyles/onecolceurws.sty
[2] http://ceur-ws.org/Vol-XXX/samplestyles/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.
ORGANISATION/PROGRAMME COMMITTEE
* James Davenport (University of Bath, UK)
* Michael Kohlhase (Jacobs University Bremen, Germany)
Comments/questions/enquiries: to be sent to the organizers
--
----------------------------------------------------------------------
Prof. Dr. Michael Kohlhase, http://kwarc.info/kohlhase, skype: mibein42
Professur für Wissensrepräsentation & -verarbeitung
Informaitk, FAU Erlangen Nürnberg, Martensstr. 3, D-91058 Erlangen, Room 11.139,
tel/fax: (49) 9131-85-64052/55, michael.kohlhase at fau.de
----------------------------------------------------------------------
More information about the Om
mailing list