www-math@w3.org from April 2009 by subject

2nd CFP: DML 2009--Towards a Digital Mathematics Library, Ontario, CA, Jul 8-9th

[Ppdp09] PPDP'09 - last CfP

[www-math] <none>

Call for contributions to MathUI 09

Conferences on Intelligent Computer Mathematics CICM 2009, Call for Participation

FroCoS'09 Final Call for Papers

Last CFP: DML 2009--Towards a Digital Mathematics Library, Ontario, CA, Jul 8-9th

LICS Workshop on Foundations of Computer Security (Call for Papers)

MathML - missing Media Type Registration template

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

PPDP'09 - 2nd CfP

Last message date: Wednesday, 29 April 2009 15:23:52 UTC