OpenMath Workshop July 20, Bertinoro, Italy: Continuous Submission until July 10

24th OpenMath Workshop
Bertinoro, Italy
July 20, 2011
co-located with CICM 2011
Continuous submission until July 10

OBJECTIVES

With the release of the MathML 3 W3C recommendation, OpenMath enters a
new phase of its development. Topics we expect to see at the workshop
include

    * Feature Requests (Standard Enhancement Proposals) and Discussions
for OpenMath3
    * Convergence of OpenMath and MathML 3
    * Reasoning with OpenMath
    * Software using or processing OpenMath
    * New OpenMath Content Dictionaries

though others related to OpenMath are certainly welcomed. For examples
of contributions see the 22nd OpenMath Workshop of 2009
(http://staff.bath.ac.uk/masjhd/OM2009.html#contributions).

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

OpenMath 2011 does not have a submission deadline. Submissions will be
accepted until July 10 and reviewed and notified continuously.

SUBMISSIONS

Submission is by e-mail to omws2011@googlegroups.com. Papers must
conform to the Springer LNCS style, preferably using LaTeX2e and the
Springer llncs class files.

Submission categories:

    * Full paper: 4-12 LNCS pages
    * Short paper: 1-8 LNCS pages
    * CD description: 1-8 LNCS pages; a .zip or .tgz file of the CDs
should be attached.
    * Standard Enhancement Proposal: 1-12 LNCS 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 published on the OpenMath web site in
time for the conference.

WORKSHOP COMMITTEE

    * James Davenport (The University of Bath)
    * Michael Kohlhase (Jacobs University Bremen, Germany)
    * Christoph Lange (Jacobs University Bremen, Germany)

Comments/questions/inquiries: to be sent to omws2011@googlegroups.com

-- 
Christoph Lange, Jacobs Univ. Bremen, http://kwarc.info/clange, Skype
duke4701
Mathematical Wiki workshop at ITP 2011, August 27, Nijmegen, Netherlands
Submission deadline May 30, http://www.cs.ru.nl/mwitp/