Dear Editors, thank you for making these joint proceedings possible.
Best regards, Ken > -----Original Message----- > From: om-boun...@openmath.org [mailto:om-boun...@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@openmath.org > http://openmath.org/mailman/listinfo/om _______________________________________________ Om mailing list Om@openmath.org http://openmath.org/mailman/listinfo/om
