[Om3] The OM3 Process: resources

Michael Kohlhase m.kohlhase at jacobs-university.de
Fri Apr 25 15:19:41 CEST 2014


Dear all,

For the discussion of the OM3 process, it would be good if we

 1. could have a kick-off discussion (please add yourselves to the
    doodle at http://doodle.com/pthngmm4s6dhcg66 until tuesday next week.)
 2. you could have a look at https://trac.mathweb.org/OM3/report/11 for
    the existing OM3 issues
 3. someone could look through the last five OM workshops for standard
    extension proposals.

Michael

-- 
----------------------------------------------------------------------
 Prof. Dr. Michael Kohlhase,        Office: Research 1, Room 168
 Professor of Computer Science  Campus Ring 1, 
 Jacobs University Bremen           D-28759 Bremen, Germany
 tel/fax: +49 421 200-3140/-493140  skype: m.kohlhase   
 m.kohlhase at jacobs-university.de http://kwarc.info/kohlhase 
----------------------------------------------------------------------

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://openmath.org/pipermail/om3/attachments/20140425/e0faf693/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: m_kohlhase.vcf
Type: text/x-vcard
Size: 320 bytes
Desc: not available
URL: <http://openmath.org/pipermail/om3/attachments/20140425/e0faf693/attachment.vcf>


More information about the Om3 mailing list