Program Committee

• Luca de Alfaro, University of California, Santa Cruz, USA
• Pedro R. D'Argenio, Universidad Nacional de Cordoba, Argentina
• Jos Baeten, Eindhoven University of Technology, the Netherlands
• Christel Baier, Technical University Dresden, Germany
• Eike Best, Carl von Ossietzky Universitaet Oldenburg, Germany
• Dirk Beyer, Simon Fraser University, Canada
• Patricia Bouyer, LSV, CNRS & ENS Cachan, France
• Mario Bravetti, University of Bologna, Italy
• Franck van Breugel (co-chair), York University, Canada
• Ilaria Castellani, INRIA Sophia Antipolis, France
• Marsha Chechik (co-chair), University of Toronto, Canada
• Wan Fokkink, Vrije Universiteit Amsterdam/CWI, the Netherlands
• Rob van Glabbeek, National ICT Australia
• Arie Gurfinkel, Carnegie Mellon University, USA
• Anna Ingolfsdottir, Reykjavik University, Iceland
• Radha Jagadeesan, DePaul University, USA
• Barbara Koenig, University of Duisburg-Essen, Germany
• Marta Kwiatkowska, University of Oxford, UK
• Orna Kupferman, Hebrew University, Israel
• Kim Larsen, Aalborg University, Denmark
• Nancy Lynch, MIT, USA
• P. Madhusudan, UIUC, USA
• Ugo Montanari, University of Pisa, Italy
• Anca Muscholl, Universite Bordeaux, France
• Catuscia Palamidessi, INRIA Futurs and LIX, France
• Corina Pasareanu, Perot Systems/NASA AmesResearch Center, USA
• Scott Smolka, SUNY at Stony Brook, USA
• Nobuko Yoshida, Imperial College London, UK