24th OpenMath Workshop
Bremen, Germany
11 July 2012
co-located with CICM 2012
Submission deadline 25 May (01)
http://www.informatik.uni-bremen.de/cicm2012/cicm.php?event=openmath (02)
OBJECTIVES (03)
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. (04)
Topics we expect to see at the workshop include (05)
* 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;
* New OpenMath Content Dictionaries; (06)
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. (07)
IMPORTANT DATES (all times are "anywhere on earth") (08)
* 25 May: Submission
* 20 June: Notification of acceptance or rejection
* 04 July: Final revised papers due
* 11 July: Workshop (09)
SUBMISSIONS (010)
Submission is via EasyChair
(http://www.easychair.org/conferences?conf=om20120). 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. (011)
Submission categories: (012)
* 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. (013)
If not in EasyChair format, 500 words count as one page. (014)
PROCEEDINGS (015)
Electronic proceedings will be published with CEUR-WS.org in time for
the conference. (016)
ORGANISATION COMMITTEE (017)
* Christoph Lange (University of Bremen and Jacobs University
Bremen, Germany)
* James Davenport (University of Bath, UK) (018)
Comments/questions/enquiries: to be sent to om2012-0@xxxxxxxxxxxxx (019)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J (020)
|