IMPACT SCORE JOURNAL RANKING CONFERENCE RANKING Conferences Journals Workshops Seminars SYMPOSIUMS MEETINGS BLOG LaTeX 5G Tutorial Free Tools
OpenMath 2019 : 30th OpenMath Workshop
OpenMath 2019 : 30th OpenMath Workshop

OpenMath 2019 : 30th OpenMath Workshop

Prague, Chech Republic
Event Date: July 08, 2019 - July 08, 2019
Submission Deadline: July 01, 2019




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 ([email protected]). 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



Credits and Sources

[1] OpenMath 2019 : 30th OpenMath Workshop


Check other Conferences, Workshops, Seminars, and Events


OTHER MATHEMATICS EVENTS

ICMMAP 2025: 2025 9th International Conference on Mechanics, Mathematics and Applied Physics
Harbin, China.
Dec 12, 2025
ICORES 2026: 15th International Conference on Operations Research and Enterprise Systems
Marbella, Spain
Mar 9, 2026
December Issue 2025: Ganit Charcha Mathematics Magazine
Kolkata
Jul 1, 2025
ICAMMIS 2025: 2025 International Conference on Applied Mathematics, Modeling, and Information Security
Nanjing
Jun 14, 2025
ICAMAP 2025: 2025 International Conference on Applied Mathematics and Applied Physics
Chengdu, China
Jul 18, 2025
SHOW ALL

OTHER XML EVENTS

SLATe 2024: Symposium on Languages, Applications and Technologies
Águeda, Portugal
Jul 4, 2024
ICWI 2022: 21st International Conference WWW/Internet 2022
Lisbon, Portugal
Nov 8, 2022
SLATe 2022: SLATe 2022- 11th Symposium on Languages, Applications and Technologies
Covilhã, Portugal
Jul 14, 2022
ICWI 2020: 19th International Conference WWW/Internet
Lisbon, Portugal
Nov 18, 2020
ICWI 2019: 18th International Conference WWW/Internet 2019 Conference Series : International Conference WWW/Internet  
Cagliari, Italy
Nov 7, 2019
SHOW ALL

OTHER REPRESENTATION EVENTS

CINE BÁRBARAS 2025: I Cine Bárbaras – Conferência Internacional de Cinema e Audiovisual
Porto, PRT
Oct 23, 2025
TIME 2024: The 31st International Symposium on Temporal Representation and Reasoning
Montpellier, France
Oct 28, 2024
AKR3 2024: AKR3: 1st International Workshop on Actionable Knowledge Representation for Robots (at ESWC)
Hersonissos, Crete, Greece
May 28, 2024
ICAIA 2024: International Conference on Artificial Intelligence and Applications
New Delhi, India
Mar 19, 2024
Canadian AI 2024: 37th Canadian Conference on Artificial Intelligence
Guelph, Ontario, Canada
May 27, 2024
SHOW ALL

OTHER OPEN EVENTS

CoopIS 2025: [Deadline July 7] The 31st International Conference on Cooperative Information Systems
Marbella, Spain
Oct 20, 2025
CORA 2025: Conference on Opening Research Assessment
Pisa, Italy
Nov 12, 2025
ICUFN 2024: The 15th International Conference on Ubiquitous and Future Networks
Budapest, Hungary
Jul 2, 2024
OSMSES 2024: 3rd International Workshop on Open Source Modelling and Simulation of Energy Systems
Vienna, Austria
Sep 3, 2024
WISDOMS 2024: Workshop on Integrating the Semantics of Data, Ontologies, Moral and Cultural Values and their Societal impact
Hersonissos, Greece
May 26, 2024
SHOW ALL