Hi everyone, I have created a new mailing list for public discussions about the future OpenMath3 spec, as agreed upon earlier today at the OpenMath meeting. You can subscribe here: http://openmath.org/mailman/listinfo/om3 Mark