[mizar] CFP 29th OpenMath Workshop (ABSTRACT DEADLINE 31. March), 24-27 July 2018, ICMS, Notre Dame University, South Bend, USA

[Michael Kohlhase <michael.kohlhase@fau.de>]

[apologies for multiple postings]

???????????????????????????????????????? 29th OpenMath Workshop
?? ?? ?? ?? ?? ?????????????????????????????? 24-27 July 2018
?????????????????????? Notre Dame University, South Bend, USA

NOTE: co-located with ICMS 2018 http://www.icms-conference.org/2018
Details: http://www.icms-conference.org/2018/sessions/session5/

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;
???? * OpenMath on the Semantic Web;
???? * New OpenMath Content Dictionaries;
???? * Software using or processing OpenMath;

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

1. Abstract Submission: March 31. 2018
2. Extended Abstract Submission: April 21, 2018.

SUBMISSIONS/PROCEEDINGS

After the meeting a full paper can appear in ICMS proceedings (LNCS)

Submission categories:

???? * Full paper: 5???10 pages
???? * Short paper: 1???4 pages
???? * CD description: 1-6 pages; a link to the CD must be provided.
???? * Standard Enhancement Proposal: 1-10 pages (as
???????? appropriate w.r.t. the background knowledge required); a link to
???????? any related implementation (e.g. a Relax NG schema) should be provided.

ORGANISATION/PROGRAMME COMMITTEE

???? * James Davenport (University of Bath, UK)
???? * Michael Kohlhase (FAU Erlangen-N??rnberg, Germany)

Comments/questions/enquiries: to be sent to the organizers

-- 
----------------------------------------------------------------------
Prof. Dr. Michael Kohlhase,  http://kwarc.info/kohlhase, skype: mibein42

Professur f??r Wissensrepr??sentation & -verarbeitung
   Informatik, FAU Erlangen N??rnberg, Martensstr. 3, D-91058 Erlangen, Room 11.139,
   tel/fax: (49) 9131-85-64052/55, michael.kohlhase@fau.de
----------------------------------------------------------------------