Participants

1. Jesus Almansa NTT Information Sharing Labs, Japan.
2. Roberto Amadio Université Paris 7, France
3. Jesus Aranda LIX, Ecole Polytechnique, France and Universidad del Valle, Colombia
4. David Baelde LIX, Ecole Polytechnique, France.
5. Jos Baeten Eindhoven University of Technology, The Netherlands
6. Christel Baier Universität Bonn, Germany
7. Romain Beauxis LIX, Ecole Polytechnique, France
8. Jesper Bengtson Uppsala University
9. Veronique Benzaken LRI - Université Paris-Sud 11, France
10. Martin Berger Imperial College, UK
11. Jan Bergstra University of Amsterdam, The Netherlands
12. Filippo Bonchi Università di Pisa, Italy
13. Michele Boreale Università di Firenze, Italy
14. Gerard Boudol INRIA Sophia-Antipolis, France
15. Mario Bravetti Università di Bologna, Italy
16. Michele Bugliesi Università Ca' Foscari Venezia, Italy
17. Nadia Busi Università di Bologna, Italy
18. Diletta Cacciagrano Università di Camerino, Italy
19. Luis Caires Universidade Nova de Lisboa, Portugal
20. Marco Carbone Imperial College, UK
21. Luca Cardelli Microsoft Research, UK
22. Nestor Catano University of York, UK
23. Giuseppe Castagna École Normale Supérieure, France
24. Ilaria Castellani INRIA Sophia-Antipolis, France
25. Tom Chothia CWI, The Netherlands
26. Kostas Chatzikokolakis LIX Ecole Polytechnique, France
27. Silvia Crafa Università di Padova, Italy
28. Pierre-Louis Curien Université Paris 7, France
29. Vincent Danos Université Paris 7, France
30. Maria Rita Di Berardini Università di Camerino, Italy
31. Frank de Boer CWI, The Netherlands
32. Pierpaolo Degano Università di Pisa, Italy.
33. Joelle Despeyroux Inria Sophia-Antipolis, France
34. Cinzia Di Giusto Università di Bologna, Italy
35. Gilles Dowek LIX - École Polytechnique, France
36. Javier Esparza University of Stuttgart, Germany
37. Claudia Faggian Università degli Studi di Padova, Italy
38. Wan Fokkink Free University Amsterdam and CWI, The Netherlands
39. Cédric Fournet Microsoft Research, UK
40. Laurent Fribourg LSV, CNRS & ENS de Cachan, France
41. Hubert Garavel INRIA Rhone-Alpes, France
42. Andy Gordon Microsoft Research, UK
43. Daniele Gorla Università di Roma "La Sapienza", Italy
44. Eric Goubault CEA-LIST, Saclay, France
45. Julian Gutiérrez Universidad Javeriana - Cali, Colombia
46. Thomas Hildebrandt IT University of Copenhagen, Denmark
47. Samuel Hym PPS de l'Université Paris 7, France
48. Daniel Hirschkoff École Normale Supérieure de Lyon, France
49. Tony Hoare Microsoft Research, UK
50. Kohei Honda Queen Mary University, UK
51. Magnus Johansson Uppsala University, Sweden
52. Joost-Pieter Katoen RWTH Aachen University, Germany
53. Jan Willem Klop Vrije Universiteit - Amsterdam, The Netherlands
54. Steve Kremer École Normale Supérieure de Cachan, France
55. Jean Krivine INRIA, France
56. Marta Kwiatkowska University of Birmingham, UK
57. James Leifer INRIA Rocquencourt, France
58. Martin Leucker Technische Universität München, Germany
59. Jean-Jacques Levy INRIA Rocquencourt, France
60. Olivier Laurent PPS de l'Université Paris 7, France
61. Etienne Lozes LSV, CNRS & ENS de Cachan, France
62. Damiano Macedonio Università Ca' Foscari di Venezia, Italy
63. Sergio Maffeis Imperial College, UK
64. Fabio Massacci Università di Trento, Italy.
65. Emanuela Merelli Università di Camerino, Italy
66. Dale Miller INRIA Futurs and LIX - École Polytechnique, France
67. George Milne University of Western Australia, Australia
68. Robin Milner Cambridge University, UK
69. Michael Mislove Tulane University, USA
70. Faron Moller University of Wales Swansea, UK (Not confirmed yet).
71. Ugo Montanari Università di Pisa, Italy
72. Luis Monteiro Universidade Nova de Lisboa, Portugal
73. Mohammad Mousavi Eindhoven University of Technology, The Netherlands
74. Uwe Nestmann TU Berlin, Germany
75. Mogens Nielsen BRICS, Denmark
76. Carlos Olarte LIX, Ecole Polytechnique
77. Catuscia Palamidessi INRIA Futurs and LIX-École Polytechnique, France
78. Joachim Parrow Uppsala University, Sweden
79. Iain Philips Imperial College, UK
80. Alban Ponse University of Amsterdam, The Netherlands
81. Damien Pous École Normale Supérieure de Lyon, France
82. Sylvain Pradalier LIX - École Polytechnique, France
83. Rosario Pugliese Università di Firenze, Italy
84. Paola Quaglia Università di Trento, Italy
85. Julian Rathke University of Sussex, UK
86. Antonio Ravara Instituto Superior Técnico, Portugal
87. Camilo Rueda Universidad Javeriana - Cali, Colombia
88. Vijay Saraswat IBM TJ Watson Research Lab, USA
89. Vladimiro Sassone University of Southampton, UK
90. Alexis Saurin INRIA and LIX Ecole Polytechnnique, France
91. Gerardo Schneider University of Oslo, Norway
92. Steve Schneider University of Surrey, UK
93. Philippe Schnoebelen LSV Cachan, France
94. Roberto Segala Università di Verona, Italy
95. Peter Sewell Cambridge University, UK
96. François-Régis Sinot LIX - École Polytecnique, France
97. Pawel Sobocinski Cambridge University, UK
98. Samuel Staton Cambridge University, UK
99. Lutz Strassburger INRIA and LIX École Polytechnique, France
100. Angelo Troina LIX École Polytechnique, France
101. Emilio Tuosto University of Leicester, UK
102. Kazunori Ueda Waseda University, Japan
103. Irek Ulidowski University of Leicester, UK
104. Frank D. Valencia CNRS and LIX École Polytechnique, France
105. Peter Van Roy Université catholique de Louvain, Belgium
106. Daniele Varacca Imperial College, UK
107. Vasco Vasconcelos University of Lisbon, Portugal
108. Bjorn Victor Uppsala University, Sweden
109. Maria Grazia Vigliotti Imperial College, UK
110. Glynn Winskel Cambridge University, UK
111. Lucian Wischik Microsoft Corp., USA
112. Peng Wu CNRS and LIX, Ecole Polytechnique, France
113. Nobuko Yoshida Imperial College, UK
114. Francesco Zappa Nardelli INRIA Rocquencourt, France
115. Gianluigi Zavattaro Università di Bologna, Italy