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

[Ppdp09] PPDP'09 - last CfP António Porto (Wednesday, 29 April)

Conferences on Intelligent Computer Mathematics CICM 2009, Call for Participation Ilias Kotsireas (Tuesday, 28 April)

Last CFP: DML 2009--Towards a Digital Mathematics Library, Ontario, CA, Jul 8-9th dml2009@easychair.org (Monday, 27 April)

PhD positions in ICT on Formal Verification via SMT available in Trento Roberto Sebastiani (Friday, 24 April)

FroCoS'09 Final Call for Papers Roberto Sebastiani (Wednesday, 22 April)

2nd CFP: DML 2009--Towards a Digital Mathematics Library, Ontario, CA, Jul 8-9th dml2009@easychair.org (Wednesday, 15 April)

PPDP'09 - 2nd CfP António Porto (Tuesday, 14 April)

[www-math] <none> Joaquin Alvarez (Monday, 13 April)

Call for contributions to MathUI 09 Paul Libbrecht (Thursday, 9 April)

LICS Workshop on Foundations of Computer Security (Call for Papers) Vitaly Shmatikov (Wednesday, 8 April)

Re: MathML - missing Media Type Registration template Paul Libbrecht (Thursday, 2 April)

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