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

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)

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

• Deyan Ginev (Tuesday, 23 February)
• J.Fine (Tuesday, 23 February)
• Neil Soiffer (Monday, 22 February)
• David Carlisle (Monday, 22 February)
• J.Fine (Monday, 22 February)

Machine readable information about elements and attributes

• Paul Libbrecht (Tuesday, 2 February)
• Christoph LANGE (Tuesday, 2 February)
• David Carlisle (Tuesday, 2 February)
• Urs Holzer (Tuesday, 2 February)

MathPlayer 2.2 released

• Neil Soiffer (Friday, 5 February)

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

• Roberto Sebastiani (Friday, 26 February)

Possible bug in the operator dictionary and mmlalias.ent?

• Bobby Thomale (Thursday, 4 February)
• David Carlisle (Thursday, 4 February)
• Bobby Thomale (Thursday, 4 February)
• David Carlisle (Thursday, 4 February)
• David Carlisle (Thursday, 4 February)
• Urs Holzer (Thursday, 4 February)
• Bobby Thomale (Wednesday, 3 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