Registration desk, T minus 10 minutes
Andrzej Tarlecki, Furio Honsell, Don Sannella
Peter O'Hearn
Lenore Zuck, Amir Pnueli
Vladimiro Sassone, Marta Kwiatkowska
Bernhard Steffen, Jakob Rehof
Andreas Zeller
Andreas Zeller, Ras Bodik
Martin Wirsing, Don Sannella, Andrzej Tarlecki
Jennifer Tenzer, Dyane Goodchild, Beth Murphy, Monika Lekuse
Ugo Montanari
Benjamin Pierce, Randy Pollack
Gerard Berry, Ken McMillan
Jens Knoop, Andrzej Tarlecki, Ugo Montanari, Maura Cerioli, Jose Fiadeiro
Vladimiro Sassone, Marcelo Fiore
Guess who?
Amir Pnueli, Fernando Orejas, David Aspinall, Jens Knoop, Andrzej Tarlecki, Maura Cerioli, Jose Fiadeiro
Lenore Zuck, Ken McMillan
Vladimiro Sassone
Nicolas Halbwachs, Vladimiro Sassone
Gerard Berry, Jose Fiadeiro, Gordon Plotkin
Banquet
Banquet
Monika Lekuse, Perdita Stevens
Silke Wagner,Bernhard Steffen,Matthias Radestock
Patrick Lam,Joe Kiniry
Jens Knoop,Gerald Luettgen
Lenore Zuck
Marcelo Fiore
Appleton Tower during lunch
coffee break
coffee break
coffee break
coffee break
coffee break
sitting
coffee break
coffee break
Perdita Stevens
Don Sannella
Ras Bodik
Andreas Zeller
Andreas Zeller
Sukyoung Ryu
Luca Padovani
audience
Rustan Leino
Michael Levin
Weihua Jiang
Alan Mycroft
Rob Ennals
Michael Philippsen
Kristof Beyls
Kit Barton
Erez Petrank
Yair Sade
audience
Ras Bodik
Harel Paz
Jeremy Condit
Alan Mycroft
audience
audience
Sri Hari Krishna Narayanan
audience
Eelco Visser
Alan Mycroft, Eelco Visser
K.C. Shashidhar
Patrick Lam
Bruce Childers
Kevin Casey
Gogul Balakrishnan
Andreas Zeller
Feng Qian
Phung Hua Nguyen
Anatole Le
Mooly Sagiv, Andrew Myers
Andrew Myers
audience
Andrew Myers
Ben Kavanagh, Brian Campbell, Bill Orrok, Monika Lekuse
Sergio Maffeis
Veronique Cortier
Roman Janvier
Andrei Sabelfeld
Steve Kremer
Hideki Tsuiki
Olin Shivers
Bodil Biering
Peter O'Hearn
Nadia Busi
Jan Schwinghammer
Stephen Tse
audience
Isabella Mastroeni
George Necula
Monika Lekuse and ETAPS mug
Martin Wildmoser
João Costa Seco
Xavier Leroy
Tim Priesnitz
Mayur Naik
Henning Makholm
David Schmidt
Peter Thiemann
Julian Rathke
Laurent Mauborgne
Xavier Rival
Markus Müller-Olm
Helmut Seidl
audience
Michael Leuschel
Torben Amtoft
question for Torben Amtoft
Silke Wagner
Andy King
Oukseh Lee
Hongseok Yang
Gerard Berry
audience
audience
audience
Ugo Montanari
Ugo Montanari
coffee break
coffee break
James Clerk Maxwell
Gerard Berry
Babita Sharma
Alessandro Cimatti
Rustan Leino
Kim Larsen, in need of a coffee
Wolfram Schulte
Thomas Wahl
Himanshu Jain
Jie-Hong Jiang
Blaise Genest
Hillel Kugler
Westley Weimer
Aidan Harding
Curtis Keller
Daniel Kroening
Malay Ganai
Radu Mateescu
Nicolas Halbwachs
coffee break
Viktor Schuppan
Michael Jones
registration
registration
Plato, Aristotle, Andreas Zeller
Peter Habermehl
Javier Esparza
Abhay Vardhan
time for lunch
Swarat Chaudhuri
Jesse Bingham
Yoshinao Isobe
coffee break
coffee break
Francesco Ranzato
Raghavan Komondoor
Andrew Gordon
Dejvuth Suwimonteerabuth
Frederic Dadeau
Ralf Nagel
Riccardo Focardi
Massimo Bartoletti
Sibylle Fröschle
Mark Schäfer
Yves Bontemps
Rocco De Nicola
Gilles Barthe
Peter Wegner
Uwe Nestmann
Vladimiro Sassone, Giuseppe Castagna
Rocco De Nicola, Michele Bugliesi
too much cheese
Björn Victor, Philippa Gardner
nicholas, triceratops
John Crossley, Iman Poernomo
José Fiadeiro, Gabriele Taentzer
Bill Orrok, Brian Campbell, Ingo Battenfeld, Jennifer Tenzer, Nicholas Wolverson, Uli Schoepp
crossword puzzle winner Kenneth MacKenzie