[Om-announce] First Call for Papers: 26. OpenMath Workshop (at CICM 2014; July 7. July 2014)

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

[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/

[Om-announce] CFP 29th OpenMath Workshop (ABSTRACT DEADLINE 31. March), 24-27 July 2018, ICMS, Notre Dame University, South Bend, USA

ation (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

[Om-announce] Multiple Positions at FAU Erlangen/Nürnberg

l.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 I