27th OpenMath Workshop Bialystok, Poland July 25. 2016 co-located with CICM 2016 continuous Submission; final papers due July 20.
http://www.cicm-conference.org/2016/openmath/ OBJECTIVES OpenMath (http://www.openmath.org) is a language for exchanging mathematical formulae across applications (such as computer algebra systems). From 2010 its importance has increased in that OpenMath Content Dictionaries were adopted 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; * Software using or processing OpenMath; * OpenMath on the Semantic Web; * New OpenMath Content Dictionaries; 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) * 20. July : Final revised papers due * 25. July 2016: 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 (Jacobs University Bremen, Germany) * Jan Willem Knopper (Technische Universiteit Eindhoven, Netherlands) Comments/questions/enquiries: to be sent to the organizers -- ---------------------------------------------------------------------- Prof. Dr. Michael Kohlhase, Office: Research 1, Room 168 Professor of Computer Science Campus Ring 1, Jacobs University Bremen D-28759 Bremen, Germany tel/fax: +49 421 200-3140/-493140 skype: mibein42 [email protected] http://kwarc.info/kohlhase ----------------------------------------------------------------------
<<attachment: m_kohlhase.vcf>>
_______________________________________________ Om mailing list [email protected] http://openmath.org/mailman/listinfo/om
