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

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

MathML article by Peter Krautzberger Dave Barton (Saturday, 17 August)

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