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

    at CICM 2017, Edinburgh, UK (July 17. July 2017)

    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

    td>
    time authors title
    9:00-10:00 Invited Talk
    Alexander Konovalov and Markus Pfeifer SCSCP and OpenMath in OpenDreamKit
    10:30 - 12:30 Contributed Talks/Papers
    10:30 -11:00 Matthew England, James H. Davenport, Roberto Sebastiani, and Patrick Trentin OpenMath and SMT-LIB
    11:00-11:30 Michael Kohlhase OpenMath in the times of copious Content Dictionary Resources
    11:30-12:00 Lars Hellstrom The tensor2 content dictionary
    12:00-12:30 Moritz Schubotz Content Dictionary Description: Symbols from the Chapters 9 of KLS dataset in the DRMF
    14:00 - 15:30 Panel/Discussion (Florian Rabe, chair)SCSCP 1.3 in OpenMath and beyond
    16:00 - 18:30? OpenMath Society Business Meeting.

    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.

    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.
    • 15. July : Final revised papers due
    • 2?. July 2017: 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)
Privacy policy and legal information
Last modified: April 04 2018 09:42:34 CEST