Home
Papers
Teaching
Misc
Some photos from the workshop
Constructive mathematics, program extraction and verification
March / April 2005, Venice
Click on the images to get a larger version.
Last modified: Sun Mar 22 01:27:15 CET 2009