ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] 2nd CfP: OpenMath workshop at CICM (10 July, Bath, U

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Ray Martin <marsaviator@xxxxxxxxx>
Date: Mon, 20 May 2013 08:24:44 -0400
Message-id: <B30E14EF-B856-46EB-8782-FB9530481F51@xxxxxxxxx>
I belong to Ontolog.
This note showed up on the forum.
Thought you might be interested.    (01)

On May 20, 2013, at 7:13 AM, Christoph LANGE <math.semantic.web@xxxxxxxxx> 
wrote:    (02)

> 25th OpenMath Workshop
> Bath, UK
> 10 July 2013
> co-located with CICM 2013
> Submission deadline 7 June
> 
> http://www.cicm-conference.org/2013/openmath/
> 
> 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;
>   * Software using or processing OpenMath;
>   * OpenMath on the Semantic Web;
>   * New OpenMath Content Dictionaries;
> 
> 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")
> 
>   * 7 June: Submission
>   * 20 June: Notification of acceptance or rejection
>   * 5 July: Final revised papers due
>   * 10 July: Workshop
> 
> SUBMISSIONS
> 
> Submission is via EasyChair
> (http://www.easychair.org/conferences?conf=om20131).  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.
> 
> Submission categories:
> 
>   * 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.
> 
> If not in EasyChair format, 500 words count as one page.
> 
> PROCEEDINGS
> 
> Electronic proceedings will be published with CEUR-WS.org.
> 
> ORGANISATION COMMITTEE
> 
>   * Christoph Lange (University of Birmingham, UK)
>   * James Davenport (University of Bath, UK)
>   * Michael Kohlhase (Jacobs University Bremen, Germany)
> 
> PROGRAMME COMMITTEE
> 
>   * Lars Hellström (Umeå Universitet, Sweden)
>   * Jan Willem Knopper (Technische Universiteit Eindhoven, Netherlands)
>   * Paul Libbrecht (Center for Educational Research in Mathematics
>     and Technology, Martin-Luther-University Halle-Wittenberg)
>   (to be completed)
> 
> Comments/questions/enquiries: to be sent to
> openmath-workshop@xxxxxxxxxxxxxxxx
> 
> -- 
> Christoph Lange, School of Computer Science, University of Birmingham
> http://cs.bham.ac.uk/~langec/, Skype duke4701
> 
> → Intelligent Computer Mathematics, 8–12 July, Bath, UK.
>  Work-in-progress deadline 7 June; http://cicm-conference.org/2013/
> → OpenMath Workshop, 10 July, Bath, UK.
>  Submission deadline 7 June; http://cicm-conference.org/2013/openmath/
> 
> _________________________________________________________________
> 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    (03)

_________________________________________________________________
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    (04)

<Prev in Thread] Current Thread [Next in Thread>