Skip to Content.
Sympa Menu

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

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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


Chronological Thread 
  • From: Michael Kohlhase <michael.kohlhase AT fau.de>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] CFP 29th OpenMath Workshop (ABSTRACT DEADLINE 31. March), 24-27 July 2018, ICMS, Notre Dame University, South Bend, USA
  • Date: Tue, 20 Mar 2018 06:23:06 +0100
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=michael.kohlhase AT fau.de; spf=Pass smtp.mailfrom=michael.kohlhase AT fau.de; spf=Pass smtp.helo=postmaster AT mx-rz-1.rrze.uni-erlangen.de
  • Ironport-phdr: 9a23:KhMfnhyq7J3SI6rXCy+O+j09IxM/srCxBDY+r6Qd2+IWIJqq85mqBkHD//Il1AaPAd2Araocw8Pt8InYEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/94HdbglSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeuBWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbOSxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsDwULs6Wymt771zRRHolikJKjk5/mLZhMN+g61UvB2vqgdjw4PXeoyZKOZyc63fcN4cWGFPXtxRVytEAo6kaIUPDvYOPeZCoIbjo1sFsB6wBQ6sBOPryj9HnGT20rMn2OkmFAHG3RAvH9IUv3vKqNX5LqQSUee1zKnMzTXMdehW1inm5YjGaB8hvOuAUq9ufsfIz0QkCg3LjlKVqYP/PjOV0PwAsmaV4uZ6UuKvkWEnpxlyojmh3MgskJXGipgUylDC+yV5x545JdykR05+et6oCYdftyacN4t4XMwiWX9nuCAmxbIYo5K7ezIKyJs/yx7Yc/yIbY6I4hf5W+aNITd0nnVleKiwhxu07EOuyfX8W9Gp3FtEsyZJiMTAu3MO2hDJ98SLV+Fx8lm91TqX1Q3e7vtILV46mKffMZIt37E9m5kJvUjeHCL7l0P7h7KMeEo+4Oin8eHnb63mppCCM490jRnzMqEhm8CmG+Q5MxECU3WB9eSmzr3i/FP2TK9Xjv0wk6nVqY7VJd4fpqGjBQ9V3Zgs6xClAzi7ztsUhXgHLFRbdxKbl4XlJl/DLO3iAfuigFmhky1ny+3bMrH7HJnBMmDPkLL7crZ8705cxhAzzdda559MD7EBIe78Wk/ru9PGCh81KQ+0w+HnCNV51oMRQ3mPDbGCPaPcq1CI+/gjLPSSa4MNojbyN+Al5+LyjX8+gVISYa6p3YIOZH+kGvRmPl6WbGH3gtYBFGcKphAxQPbriF2ESz5TZmy9U7gy5jEhW8qaCtLIQZnoi7ic1g+6GIdXbyZIEAOiC3DtIqCFUPcFZSbaAchhljwNTrXpH4og3hGnuQu8yL1nKurd4SAwu5v+ktR4sb6A3Sou/CB5WpzOm1qGSHt5yztRFm0GmZtnqEk48W+tlK1xgvhWD9tWt6FHWxp8OZOOlrUmWeC3YRrIe5KycHjjWs+vUWM/R893z9JcOx8gSeXntQjK2m+RO5FQl7GPA8dsoKfMmmLjYp870WzU2e88iVhjT9FLPGupi6g5+wWBXoM=
  • Organization: Informatik, FAU Erlangen-Nürnberg

[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 AT fau.de

----------------------------------------------------------------------



  • [Coq-Club] CFP 29th OpenMath Workshop (ABSTRACT DEADLINE 31. March), 24-27 July 2018, ICMS, Notre Dame University, South Bend, USA, Michael Kohlhase, 03/20/2018

Archive powered by MHonArc 2.6.18.

Top of Page