[Om-announce] First Call for Papers: 26. OpenMath Workshop (at CICM 2014; July 7. July 2014)
26th OpenMath Workshop Coimbra, Portugal July 7. 2014 co-located with CICM 2014 Submission deadline 7 June http://www.cicm-conference.org/2014/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 2014: Submission * 20. June 2014: Notification of acceptance or rejection * 5. July 2014: Final revised papers due * 7. July 2014: Workshop (Coimbra time) 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 * James Davenport (University of Bath, UK) * Michael Kohlhase (Jacobs University Bremen, Germany) PROGRAMME COMMITTEE * James Davenport (University of Bath, UK) * Michael Kohlhase (Jacobs University Bremen, Germany) * Christoph Lange (Rheinische Friedrich-Wilhelms-Universität Bonn, Germany) * Lars Hellström (Umeå Universitet, Sweden) * Jan Willem Knopper (Technische Universiteit Eindhoven, Netherlands) * Paul Libbrecht (PH Weingarten) * Chris Rowley (LaTeX3 Project and Open Math Society) Comments/questions/enquiries: to be sent to the organizers ___ Om-announce mailing list Om-announce@openmath.org http://openmath.org/mailman/listinfo/om-announce
[Om-announce] MathUI'14 Call for Participation (Programme Online)
Dear all (sorry for multiple copies), please consider to attend*MathUI'14*: 9th Mathematical User Interfaces Workshop 2014 in/Coimbra (Portugal)/on the/ 1//0th of July 2014/ Find the*programme* at http://cermat.org/events/MathUI/14/ *Register* at the Conference on Intelligent Computer Mathematics (CICM'14) at http://cicm-conference.org/2014/cicm.php?event=menu=registration (Early registration ends on June 22th ...) Join us in Coimbra: we have lots to talk about! Looking forward to meeting you, Andrea Kohlhase and Paul Libbrecht (Co-Chairs of MathUI'14) ___ Om-announce mailing list Om-announce@openmath.org http://openmath.org/mailman/listinfo/om-announce
[Om-announce] CFP 29th OpenMath Workshop (ABSTRACT DEADLINE 31. March), 24-27 July 2018, ICMS, Notre Dame University, South Bend, USA
[apologies for multiple postings] 29th OpenMath Workshop 24-27 July 2018 Notre Dame University, South Bend, USA NOTE: co-located with ICMS 2018 http://www.icms-conference.org/2018 Details: http://www.icms-conference.org/2018/sessions/session5/ 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; * OpenMath on the Semantic Web; * New OpenMath Content Dictionaries; * Software using or processing OpenMath; 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") 1. Abstract Submission: March 31. 2018 2. Extended Abstract Submission: April 21, 2018. SUBMISSIONS/PROCEEDINGS After the meeting a full paper can appear in ICMS proceedings (LNCS) Submission categories: * Full paper: 5–10 pages * Short paper: 1–4 pages * CD description: 1-6 pages; a link to the CD must be provided. * Standard Enhancement Proposal: 1-10 pages (as appropriate w.r.t. the background knowledge required); a link to any related implementation (e.g. a Relax NG schema) should be provided. ORGANISATION/PROGRAMME COMMITTEE * James Davenport (University of Bath, UK) * Michael Kohlhase (FAU Erlangen-Nürnberg, Germany) Comments/questions/enquiries: to be sent to the organizers -- -- Prof. Dr. Michael Kohlhase, http://kwarc.info/kohlhase, skype: mibein42 Professur für Wissensrepräsentation & -verarbeitung Informatik, FAU Erlangen Nürnberg, Martensstr. 3, D-91058 Erlangen, Room 11.139, tel/fax: (49) 9131-85-64052/55, michael.kohlh...@fau.de -- ___ Kwarc mailing list kw...@lists.informatik.uni-erlangen.de http://lists.informatik.uni-erlangen.de/mailman/listinfo/kwarc ___ Om-announce mailing list Om-announce@openmath.org http://openmath.org/mailman/listinfo/om-announce
[Om-announce] Multiple Positions at FAU Erlangen/Nürnberg
The KWARC group [1] at FAU Erlangen-Nürnberg [2] is looking for Ph.D. candidates and PostDocs in multiple projects. Details and an up-to-date listing can be found at [3]. We are always interested in candiates with strong backgrounds and interests in Logic, Language, and Mathematics. Currently we are seeking applications for the following projects: * ALMANAC: Argumentation Logics Manager & Argument Context Graph (DFG 2018-2020) Doctoral Students and PostDocs with a love for logic, language, and argumentation. * OpenDreamKit: Open Digital Research Environment Toolkit for the Advancement of Mathematics (EU 2016-2019) Doctoral Students and PostDocs with an interest in mathematics, computation, and system integration. The KWARC group engages in research and development in foundations of mathematics, metalogical frameworks, flexiformal knowledge representation for STEM (Science, Technology, Engineering, and Mathematics), semantics extraction from STEM documents, and knowledge management on this basis. Candidates interested in the above positions should introduce themselves and inquire for further information by sending email with the usual documents to <michael.kohlh...@fau.de>. [1] http://kwarc.info [2] http://cs.fau.de [3] http://kwarc.info/hiring -- -- Prof. Dr. Michael Kohlhase, http://kwarc.info/kohlhase, skype: mibein42 Professur für Wissensrepräsentation & -verarbeitung Informatik, FAU Erlangen Nürnberg, Martensstr. 3, D-91058 Erlangen tel/fax: (49) 9131-85-64052/55, michael.kohlh...@fau.de -- ___ Om-announce mailing list Om-announce@openmath.org http://mailman.openmath.org/cgi-bin/mailman/listinfo/om-announce