Home
Papers
Teaching
Misc
Some photos from the
Spring School "Logic in Computer Science"
April 2004, Venice
Click on the images to get a larger version.
Last modified: Sun Mar 22 01:24:08 CET 2009