Photos

For each photo, a thumbnail appears on this page together with a short description.
The photos are available in two formats:

normal (for viewing on screen, approximately 640x430)
fine (for printing, original camera format, 2200x1700 or larger)

You can also download the whole bunch of photos: normal (ZIP, 931KB) or fine (ZIP, 19MB).

	Papaspyrou, apparently thinking... What was I saying? Why am I here and why are all these people looking at me? normal (480x640, 54KB), fine (1728x2304, 893KB)
	Papaspyrou: And this blue screen? Oh, I should have moved to Linux when there was still time. See this DELL with debian? Alive and kicking... normal (640x480, 50KB), fine (3072x2304, 1088KB)
	Zachos: <greek>Το άλλο με τον Τοτό το ξέρετε;</greek> By the way, I once had a girlfriend called Isabelle. I don't know about theorem proving, but she made great cranberry pies. normal (640x480, 35KB), fine (3072x2304, 1196KB)
	Vytiniotis: I've seen many types of types in my life. GADTs are one of the worst and arguably the most dangerous. normal (640x480, 47KB), fine (3072x2304, 1121KB)
	Vytiniotis: You've got to kill them when they're young. And the best way is to grab a true type function and shoot them right here! normal (640x480, 41KB), fine (3072x2304, 1140KB)
	Sagonas: Come on, it wasn't a penalty! normal (640x480, 47KB), fine (2304x1728, 981KB)
	Tzannes: As you can see here... normal (640x480, 53KB), fine (2304x1728, 976KB)
	Tzannes: ... and here... normal (640x480, 48KB), fine (3072x2304, 1101KB)
	Tzannes: ... and here... normal (640x480, 49KB), fine (3072x2304, 1104KB)
	Tzannes: ... and here... Why are you moving away? Did I say something wrong? normal (640x480, 57KB), fine (3072x2304, 1117KB)
	Koutavas: ... and according to this very interesting bisimilarity, the two cells are equivalent. All cells are equivalent, in fact, unless we're talking about prison cells... normal (640x480, 49KB), fine (2304x1728, 1004KB)
	Kassios: The main results of my work are a little hard to grasp, but I suggest you focus on the basic principles. How am I doing? Is that clear? normal (480x640, 54KB), fine (1728x2304, 909KB)
	Smaragdakis: It's hard to decide between dynamic and static analysis. So we thought, what the heck, let's go back and forth. DSD! Some of my old music CDs are AAD and they play great, so why not this? normal (640x480, 51KB), fine (2304x1728, 985KB)
	Pratikakis: Thus we have proved there are no data races. Car races are allowed, but we advise against them as they are equally dangerous. normal (640x480, 50KB), fine (2304x1728, 994KB)
	Dimoulas: I know I'm the last to talk and there's dinner afterwards. So I'll be brief. 0-CFA is what you get if you start with 1-CFA and subtract 1. normal (480x640, 52KB), fine (1728x2304, 889KB)
	Dimoulas: Future work: -1-CFA, -2-CFA, etc. Any questions? normal (640x480, 35KB), fine (3072x2304, 1122KB)
	Panoramic view of the audience. normal (640x480, 82KB), fine (2304x1728, 984KB)
	Panoramic view of the audience. normal (640x480, 64KB), fine (2304x1728, 949KB)
	Panoramic view of the audience. normal (640x480, 69KB), fine (2304x1728, 989KB)