Home
Papers
Teaching
Misc
Some photos from the
Types 2007 Conference
in Cividale
Click on the images to get a larger version.
Last modified: Sun Mar 22 01:32:11 CET 2009