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

[Wenzel, Ken]

Dear Editors,

thank you for making these joint proceedings possible.

Best regards,

Ken

> -----Original Message-----
> From: om-bounces at openmath.org [mailto:om-bounces at openmath.org]
> On Behalf Of Christoph LANGE
> Sent: Wednesday, October 17, 2012 5:05 PM
> To: OpenMath; OpenMath Announcements
> Subject: [Om] OpenMath 2012 workshop proceedings online at CEUR-WS
> 
> 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 at openmath.org
> http://openmath.org/mailman/listinfo/om