[Om] CfP: 27. OpenMath Workshop, July 25. 2016 in Bialystok, Poladn (with CICM 2016)

[Michael Kohlhase]

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
<m.kohlhase at jacobs-university.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 (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
 m.kohlhase at jacobs-university.de http://kwarc.info/kohlhase 
----------------------------------------------------------------------

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://openmath.org/pipermail/om/attachments/20160526/fe1035c2/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: m_kohlhase.vcf
Type: text/x-vcard
Size: 141 bytes
Desc: not available
URL: <http://openmath.org/pipermail/om/attachments/20160526/fe1035c2/attachment.vcf>