Dear all, on Wednesday July 8 the 23rd OpenMath Workshop will take place at CICM; see http://cicm2010.cnam.fr/om/. This time, it will be quite informal. We are hereby calling for contributed talks. If you have something to say, e.g., about * the convergence of OpenMath and MathML 3 * reasoning with OpenMath * software using or processing OpenMath * new OpenMath Content Dictionaries Looking forward to seeing many of you, Michael and Christoph -- Christoph Lange, Jacobs Univ. Bremen, http://kwarc.info/clange, Skype duke4701Received on Friday, 25 June 2010 13:45:08 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 25 June 2010 13:45:12 GMT