FoVeOOS 2010

PROGRAMME CO-CHAIRS

Bernhard Beckert, Karlsruhe Institute of Technology, Germany
Claude Marché, INRIA Saclay-Île-de-France, France

PROGRAMME COMMITTEE

Gilles Barthe, IMDEA Software, Madrid, Spain
Bernhard Beckert, Karlsruhe Institute of Technology, Germany
Einar Broch Johnsen, U of Oslo, Norway
Gabriel Ciobanu, U Alexandru Ioan Cuza, Romania
Dave Clarke, Katholieke U Leuven, Belgium
Mads Dam, KTH Stockholm, Sweden
Ferruccio Damiani, U of Torino, Italy
Sophia Drossopoulou, Imperial College, UK
Paola Giannini, U Piemonte Orientale, Italy
Dilian Gurov, KTH Stockholm, Sweden          
Reiner Hähnle, Chalmers U of Technology, Gothenburg, Sweden
Marieke Huisman, U of Twente, The Netherlands
Thomas Jensen, IRISA/CNRS, France
Joe Kiniry, ITU Copenhagen, Denmark
Viktor Kuncak, EPF Lausanne, Switzerland
Dorel Lucanu, U Alexandru Ioan Cuza, Romania
Maria del Mar Gallardo Melgarejo, U of Malaga, Spain
Claude Marché, INRIA Saclay-Île-de-France, France
Julio Mariño, U Politecnica de Madrid, Spain
Marius Minea, Politehnica U of Timisoara, Romania
Anders Møller, U Aarhus, Denmark
Rosemary Monahan, NUI Maynooth, Ireland
Wojciech Mostowski, U Nijmegen, The Netherlands
Peter Müller, ETH Zürich, Switzerland
James Noble, Victoria U of Wellington, New Zealand
Olaf Owe, U of Oslo, Norway
Ernesto Pimentel Sánchez, U of Málaga, Spain
Arnd Poetzsch-Heffter, U of Kaiserslautern, Germany
Erik Poll, U of Nijmegen, The Netherlands
António Ravara, New U of Lisbon, Portugal
René Rydhof Hansen, U of Aalborg, Denmark
Peter H. Schmitt, Karlsruhe Institute of Technology, Germany
Aleksy Schubert, U of Warsaw, Poland
Gheorghe Stefanescu, U of Bucharest, Romania
Bent Thomsen, U of Aalborg, Denmark
Shmuel Tyszberowicz, U of Tel Aviv, Israel
Tarmo Uustalu, Institute of Cybernetics, Tallinn, Estonia
Burkhart Wolff, U Paris-Sud (Orsay), France
Wolfgang Reif, U of Augsburg, Germany
Elena Zucca, U of Genova, Italy