António Porto
dml2009@easychair.org
- Last CFP: DML 2009--Towards a Digital Mathematics Library, Ontario, CA, Jul 8-9th
- 2nd CFP: DML 2009--Towards a Digital Mathematics Library, Ontario, CA, Jul 8-9th
Ilias Kotsireas
Joaquin Alvarez
Paul Libbrecht
Roberto Sebastiani
- PhD positions in ICT on Formal Verification via SMT available in Trento
- FroCoS'09 Final Call for Papers