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

    at CICM 2014, Coimbra, Portugal

    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.

    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;
    • Software using or processing OpenMath;
    • New OpenMath Content Dictionaries;

    though others related to OpenMath are certainly welcomed. For examples of contributions see the previous OpenMath workshops of 2012, 2010 and 2009.

    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")

    • 7. June 2014: Submission
    • 20. June 2014: Notification of acceptance or rejection
    • 5. July 2014: Final revised papers due
    • 7. July: Workshop

    Submissions

    Submission is via EasyChair. Final papers must conform to the EasyChair LaTeX style. Initial submissions in this format are welcome but not mandatory – but they should be in PDF and within the given limit of pages/words.

    Submission categories

    • Full paper: 5–10 EasyChair pages
    • Short paper: 1–4 EasyChair pages
    • CD description: 1-6 EasyChair pages; a .zip or .tgz file of the CDs must be attached, or a link to the CD provided.
    • Standard Enhancement Proposal: 1-10 EasyChair 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.
    If not in EasyChair format, 500 words count as one page.

    Proceedings

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

    Organizers

    • James Davenport, Bath, UK
    • Michael Kohlhase, Jacobs University, Bremen, Germany

    Programme Committee

    • James Davenport, Bath, UK (co-chair)
    • Lars Hellström, Mälardalen University, Sweden
    • Jan Willem Knopper, Technische Universiteit Eindhoven, Netherlands
    • Michael Kohlhase, Jacobs University Bremen, Germany (co-chair)
    • Christoph Lange, Rheinische Friedrich-Wilhelms-Universität Bonn, Germany
    • Paul Libbrecht, PH Weingarten
    • Chris Rowley, LaTeX3 Project and Open Math Society

  • News



    cicm2014 logo
    coimbra logo
Last modified: December 19 2016 18:02:45 CET