24th OpenMath Workshop
Bertinoro, Italy
July 20, 2011
co-located with CICM 2011
Continuous submission until July 10 (01)
OBJECTIVES (02)
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 (03)
* 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 (04)
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). (05)
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. (06)
IMPORTANT DATES (all times are GMT) (07)
OpenMath 2011 does not have a submission deadline. Submissions will be
accepted until July 10 and reviewed and notified continuously. (08)
SUBMISSIONS (09)
Submission is by e-mail to omws2011@xxxxxxxxxxxxxxxxx Papers must
conform to the Springer LNCS style, preferably using LaTeX2e and the
Springer llncs class files. (010)
Submission categories: (011)
* 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. (012)
PROCEEDINGS (013)
Electronic proceedings will be published on the OpenMath web site in
time for the conference. (014)
WORKSHOP COMMITTEE (015)
* James Davenport (The University of Bath)
* Michael Kohlhase (Jacobs University Bremen, Germany)
* Christoph Lange (Jacobs University Bremen, Germany) (016)
Comments/questions/inquiries: to be sent to omws2011@xxxxxxxxxxxxxxxx (017)
--
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/ (018)
signature.asc
Description: OpenPGP digital signature
_________________________________________________________________
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 (01)
|