[Om] OpenMath 2012 workshop proceedings online at CEUR-WS

Christoph LANGE c.lange at cs.bham.ac.uk
Wed Oct 17 17:05:20 CEST 2012

Dear all,

the proceedings of the OpenMath workshop are finally in a persistent way 
at http://ceur-ws.org/Vol-921.


Christoph (OpenMath 2012 chair)

Christoph Lange, School of Computer Science, University of Birmingham
http://cs.bham.ac.uk/~langec, Skype duke4701

→ Enabling Domain Experts to use Formalised Reasoning @ AISB 2013
   2–5 April 2013, Exeter, UK.  Deadlines 10 Dec (stage 1), 14 Jan (st. 2)

More information about the Om mailing list