OpenMath 2019 : 30th OpenMath Workshop

  in Conferences   Posted on March 20, 2019

Conference Information

Submission Deadline Monday 01 Jul 2019
Conference & Submission Link https://cicm-conference.org/2019/cicm.php?event=openmath
Conference Dates Jul 8, 2019 - Jul 8, 2019
Conference Address Prague, Czech Republic
Proceedings indexed by
Conference Organizers : ( Deadline extended ? Click here to edit )

Conference Call for Papers

30th OpenMath Workshop

Prague, Czech Republic

July 8. 2019

co-located with CICM 2019

continuous Submission; final papers due July 1.

http://www.cicm-conference.org/2019/openmath/

OBJECTIVES

OpenMath (http://www.openmath.org) is a language for exchangingvd

mathematical formulae across applications (such as computer algebra

systems). From 2010 its importance has increased in that OpenMath

Content Dictionaries were adospted 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)

* July 1. 2019: Final revised papers due

* July 8. 2019: Workshop

SUBMISSIONS/PROCEEDINGS

Electronic proceedings will be published with CEUR-WS.org.

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 [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 (FAU Erlangen-Nürnberg, Germany)

Comments/questions/enquiries: to be sent to the organizers

Other Conferences in Czech Republic

SSIP : 2019 2nd International Conference on Sensors, Signal and Image Processing

Deadline :
Sun 01 Sep 2019
Oct 8, 2019 - Oct 10, 2019 - Prague
Czech Republic