You must enable JavaScript to use this site
  • 29th OpenMath Workshop

    at CICM 2018, Hagenberg, Austria (August 13. 2018)

    OpenMath 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, the standard for mathematical formulae on the Web.

    Program

    time authors title links
    9:00-11:00 Contributed Talks
    9:00-9:30 Moritz Schubotz Representing Mathematical Formulae in Content MathML using Wikidata slides
    9:30-10:00 Tom Wiesing & Michael Kohlhase OpenMath in JSON slides
    10:00-10:30 Coffee Break
    10:30-11:00 Bruce Miller A new SpecFun Content Dictionary slides
    11:00 - 12:30 OpenMath Society Business Meeting. slides

    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;

    though others related to OpenMath are certainly welcomed. For examples of contributions see the previous OpenMath workshops of 2009, 2010, 2012, 2013, 2014, 2015, 2016. 2017,

    Contributions can be either research papers, description of new Content Dictionaries, particularly ones that are suggested for formal review and adoption by the OpenMath Society, or standard enhancement proposals.

    Important Dates (all times are "anywhere on earth")

    • Submission is continuous (early submit -> early notify.
    • August 10. : Final revised papers due
    • August 13. 2018: Workshop

    Submission

    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 for the final version and without page numbers. See http://ceur-ws.org/Vol-XXX/samplestyles/ for an example: paper1.tex and 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.

    Proceedings

    Electronic proceedings will be most probably published CEUR-WS.org

    Organizers & Programme Committee

    • James Davenport, Bath, UK (co-chair)
    • Michael Kohlhase, FAU Erlangen-Nürnberg, Germany (co-chair)
  • News

    • CICM is over
    • award winners online
    • detailed program online
    • accepted papers online
    • registration open
    • program overview online
    • deadline extended: April 22 (abstract), April 29 (paper)
    • 6 workshops accepted
    • 3 invited speakers
    • CfP and CfW available
    • PC completed
    • initial website online
Privacy policy and legal information
Last modified: August 14 2018 09:15:08 CEST