We went to Geneva on August 13 to watch the famous fireworks. Some of the photos are available on our photos page. The video of the finale is below (Peter is joking that these explosions are nothing compared to the state space explosion we are facing in our work on automatically testing OpenFlow applications!)