Some photos from the
LFMTP Workshop and Isabelle Workshop at CADE 2007 in Bremen


Click on the images to get a larger version.


Last modified: Sun Mar 22 00:39:50 CET 2009