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

Friday, 26 February 2010

PhD position in ICT on Formal Verification via SMT available in Trento Roberto Sebastiani

Wednesday, 24 February 2010

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

Tuesday, 23 February 2010

Monday, 22 February 2010

Re: How to translate \cases{...}. Online repository of examples Neil Soiffer
Re: How to translate \cases{...}. Online repository of examples David Carlisle
How to translate \cases{...}. Online repository of examples J.Fine

Friday, 19 February 2010

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

Tuesday, 9 February 2010

AISC'10: 2nd Call for Papers Serge Autexier

Friday, 5 February 2010

MathPlayer 2.2 released Neil Soiffer

Thursday, 4 February 2010

Re: Possible bug in the operator dictionary and mmlalias.ent? Bobby Thomale
Re: Possible bug in the operator dictionary and mmlalias.ent? David Carlisle
Re: Possible bug in the operator dictionary and mmlalias.ent? Bobby Thomale
Re: Possible bug in the operator dictionary and mmlalias.ent? David Carlisle
Re: Possible bug in the operator dictionary and mmlalias.ent? David Carlisle
Re: Possible bug in the operator dictionary and mmlalias.ent? Urs Holzer

Wednesday, 3 February 2010

Possible bug in the operator dictionary and mmlalias.ent? Bobby Thomale

Tuesday, 2 February 2010

Re: Machine readable information about elements and attributes Paul Libbrecht
Re: Machine readable information about elements and attributes Christoph LANGE
Re: Machine readable information about elements and attributes David Carlisle
Machine readable information about elements and attributes Urs Holzer

Monday, 1 February 2010

Replace Content MathML by RDFa inside Presentation MathML? Christoph LANGE

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