posted by organizer: kohlhase || 887 views || tracked by 2 users: [display]

OpenMath 2019 : 30th OpenMath Workshop

FacebookTwitterLinkedInGoogle

Link: https://cicm-conference.org/2019/cicm.php?event=openmath
 
When Jul 8, 2019 - Jul 8, 2019
Where Prague, Chech Republic
Submission Deadline Jul 1, 2019
Categories    mathematics   XML   representation   open
 

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

Related Resources

CFMAI 2021   2021 3rd International Conference on Frontiers of Mathematics and Artificial Intelligence (CFMAI 2021)
ISCAI 2021   2021 3rd International Symposium on Computing and Artificial Intelligence (ISCAI 2021)
CTCM 2021   7th International Conference of Control Theory and Computer Modelling
PBIJ 2021   Pharmaceutical and Biomedical sciences: An International Journal
6th ICSTR London September 2021   6th ICSTR London – International Conference on Science & Technology Research, 09-10 September 2021
2nd ICSTR Amsterdam, August 2021   2nd ICSTR Amsterdam – International Conference on Science & Technology Research, 05-06 August 2021
AMA 2021   5th International Conference on Applied Mathematics and Sciences
STRA - Eurasia Research 2021   8th ICSTR Dubai – International Conference on Science & Technology Research, 25-26 October 2021
3rd ICSTR Athens September 2021   3rd ICSTR Athens – International Conference on Science & Technology Research, 17-18 September 2021
ECTIJ 2021   Economics, Commerce and Trade Management: An International Journal