Participants & Photos
This was an invitational seminar. A trombinoscope of the participants was made by Joseph Scott, and the seminar is also documented with photos by Helmut Simonis (also in movie form: right-click to download the 385MB) and photos by Philipp Rümmer.
The following people participated:
- Parosh Aziz Abdulla, Uppsala University, Sweden
- Mohamed Faouzi Atig, Uppsala University, Sweden
- Sébastien Bardin, Commissariat à l'Energie Atomique, Labo LIST, France
- Eyal Bin, IBM, Israel
- Ahmed Bouajjani, Université Paris Diderot (Paris 7), France
- Michael Codish, Ben-Gurion University, Israel
- Giorgio Delzanno, University of Genova, Italy
- Constantin Enea, Université Paris Diderot (Paris 7) and CNRS, France
- François Fages, INRIA Paris-Rocquencourt, France
- Pierre Flener, Uppsala University, Sweden
- John Gallagher, Roskilde University, Denmark
- Arnaud Gotlieb, Certus V & V Centre, Simula Research Laboratory, Lysaker, Norway
- Gopal Gupta, University of Texas at Dallas, USA
- Peter Habermehl, Université Paris Diderot (Paris 7), France
- Lukás Holík, Uppsala University, Sweden
- Vitaly Lagoon, Cadence Design Systems, USA
- Toni Mancini, Sapienza University, Rome, Italy
- Richard Mayr, The University of Edinburgh, UK
- Roland Meyer, University of Kaiserslautern, Germany
- Justin Pearson, Uppsala University, Sweden
- Ruzica Piskac, Max Planck Institute for Software Systems, Saarbrücken, Germany
- Andreas Podelski, University of Freiburg, Germany
- Shaz Qadeer, Microsoft Research, Redmond, Washington, USA
- Jean-François Raskin, Université Libre de Bruxelles, Belgium
- Michel Rueher, University of Nice Sophia Antipolis / CNRS, France
- Philipp Rümmer, Uppsala University, Sweden
- Joseph Scott, Uppsala University, Sweden
- Valerio Senni, University of Rome Tor Vergata, Italy
- Helmut Simonis, 4C, University College Cork, Ireland
- Harald Søndergaard, The University of Melbourne, Australia
- Serdar Tasiran, Koç University, Istanbul, Turkey
- Enrico Tronci, Sapienza University, Rome, Italy
- Tomás Vojnar, Brno University of Technology, Czech Republic
- Thomas Wies, New York University, USA
- Hongseok Yang, University of Oxford, UK