ontolog-forum
[Top] [All Lists]

[ontolog-forum] Deadline Extended to 1 June: OpenMath workshop at CICM (

To: users@xxxxxxxxxxxxxx, ontolog-forum@xxxxxxxxxxxxxxxx, asr-forum@xxxxxxxx, conferences@xxxxxxxxxxxx, math-wikis@xxxxxxxxxxxxxxxx, Planetary <planetary-dev@xxxxxxxxxxxxxxxx>
From: Christoph LANGE <ch.lange@xxxxxxxxxxxxxxxxxxxx>
Date: Thu, 24 May 2012 20:31:51 +0100
Message-id: <4FBE8CA7.3010902@xxxxxxxxxxxxxxxxxxxx>
24th OpenMath Workshop
Bremen, Germany
11 July 2012
co-located with CICM 2012
Submission deadline (EXTENDED) 1 June    (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)

    * 1 June: Submission (EXTENDED)
    * 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)

<Prev in Thread] Current Thread [Next in Thread>
  • [ontolog-forum] Deadline Extended to 1 June: OpenMath workshop at CICM (11 July, Bremen, Germany), Christoph LANGE <=