www-math@w3.org from August 2013 by author

Dave Barton

• MathML article by Peter Krautzberger (Saturday, 17 August)

Roberto Sebastiani

• Postdoc positions in SAT/SMT-based Verification available in Trento (Sunday, 25 August)

Last message date: Sunday, 25 August 2013 20:32:27 UTC