www-math@w3.org from February 2010 by thread

PhD position in ICT on Formal Verification via SMT available in Trento Roberto Sebastiani (Friday, 26 February)

AISC'10: Deadline Extension to March 12, 2010 (Abstracts: March 9, 2010) Serge Autexier (Wednesday, 24 February)

How to translate \cases{...}. Online repository of examples J.Fine (Monday, 22 February)

AISC'10 - CfP - Approaching Deadline (26 February) & Invited Speakers Serge Autexier (Friday, 19 February)

AISC'10: 2nd Call for Papers Serge Autexier (Tuesday, 9 February)

MathPlayer 2.2 released Neil Soiffer (Friday, 5 February)

Possible bug in the operator dictionary and mmlalias.ent? Bobby Thomale (Wednesday, 3 February)

Machine readable information about elements and attributes Urs Holzer (Tuesday, 2 February)

Replace Content MathML by RDFa inside Presentation MathML? Christoph LANGE (Monday, 1 February)

Last message date: Friday, 26 February 2010 23:08:12 UTC