posted by organizer: kohlhase || 133 views || tracked by 1 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

AMMS--EI Compendex and Scopus 2019   2019 International Applied Mathematics, Modelling and Simulation Conference (AMMS 2019)--EI Compendex and Scopus
CFMAI 2019   2019 International Conference on Frontiers of Mathematics and Artificial Intelligence (CFMAI 2019)
ICEMP--MATEC, Scopus, Ei Compendex 2019   MATEC--2019 8th International Conference on Engineering Mathematics and Physics (ICEMP 2019)--Scopus, Ei Compendex
ICPAM--Ei and Scopus 2019   2019 The 8th International Conference on Pure and Applied Mathematics (ICPAM 2019)--Ei Compendex, Scopus
Call for Chapter Proposals 2019   Biometric Systems: Algorithms, Tools and Applications
ALC 2019   The Sixteenth Asian Logic Conference
ACM--ICMSTTL--EI and Scopus 2019   ACM--2019 International Conference on Mathematics, Science and Technology Teaching and Learning (ICMSTTL 2019)--EI and Scopus
ICAEM 2019   2nd International Conference on Applied and Engineering Mathematics
ACM--ICoMS--Ei Compendex and SCOPUS 2019   ACM--2019 2nd International Conference on Mathematics and Statistics (ICoMS 2019)--Ei Compendex and SCOPUS
DISEGNARECON - SCOPUS 2019   DISEGNARECON (1828-5961) Journal of Architecture and Cultural Heritage CALL FOR PAPERS ISSUE Vol 12 No 22 (2019)