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