Dear all,
the proceedings of the OpenMath workshop are finally in a persistent way
at http://ceur-ws.org/Vol-921.
Cheers,
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)
http://cs.bham.ac.uk/research/projects/formare/events/aisb2013/
_______________________________________________
Om mailing list
Om@openmath.org
http://openmath.org/mailman/listinfo/om
