29th OpenMath Workshop Hagenberg, Austria August 13. 2018 co-located with CICM 2018 continuous Submission; final papers due August 10.
http://www.cicm-conference.org/2018/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) * August 10. : Final revised papers due * 13. August 2017: Workshop SUBMISSIONS/PROCEEDINGS Electronic proceedings will be published with CEUR-WS.org. Submission is continuous by e-mail to <michael.kohlh...@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 -- ---------------------------------------------------------------------- Prof. Dr. Michael Kohlhase, http://kwarc.info/kohlhase, skype: mibein42 Professur für Wissensrepräsentation & -verarbeitung Informatik, FAU Erlangen Nürnberg, Martensstr. 3, D-91058 Erlangen, Room 11.139, tel/fax: (49) 9131-85-64052/55, michael.kohlh...@fau.de ---------------------------------------------------------------------- _______________________________________________ Om mailing list Om@openmath.org http://mailman.openmath.org/cgi-bin/mailman/listinfo/om