EN FR
EN FR




Section: Dissemination

Program Committees

In 2011, the members of Vasy took on the following responsibilities:

  • H. Garavel was a program committee member for the Topcased Days conference, Toulouse, France, February 2–4, 2011.

  • F. Lang was a program committee member for Neptune '11 (Nice Environment with a Process and Tools Using Norms and Example), Paris, France, May 17–18, 2011.

  • G. Salaün was publicity chair for Discotec '11 (6th International Federated Conferences on Distributed Computing Techniques), Reykjavik, Iceland, June 6–9, 2011.

  • H. Garavel was a program committee member for Dcds '11 (3rd International Workshop on Dependable Control of Discrete Systems), Saarbrücken, Germany, June 15–17, 2011.

  • G. Salaün was a program committee member for Csse '11 (CSI International Symposium on Computer Science and Software Engineering), Tehran, Iran, June 15–16, 2011.

  • G. Salaün was a program committee member for Ammse '11 (2nd International Workshop on Algebraic Methods in Model-based Software Engineering), Zürich, Switzerland, June 30, 2011.

  • R. Mateescu was a program committee member for Pdmc '11 (10th International Workshop on Parallel and Distributed Methods in verifiCation), Cliff Lodge, Snowbird, Utah, July 14, 2011.

  • G. Salaün was co-chair of the program committee and co-editor of the proceedings for Fmics '11 (16th International Workshop on Formal Methods for Industrial Critical Systems), Trento, Italy, August 29-30, 2011. F. Lang was program committee member for Fmics '11.

  • G. Salaün was a program committee member for Vatss '11 (1st International Workshop on Verification, Analysis, and Testing of Service Systems), Szeged, Hungary, September 4, 2011.

  • G. Salaün was a program committee member for Foclasa '11 (10th International Workshop on the Foundations of Coordination Languages and Software Architectures, Aachen, Germany, September 10, 2011.

  • R. Mateescu was a program committee member for Ecows '11 (9th European Conference on Web Services), Lugano, Switzerland, September 14–16, 2011.

  • G. Salaün was a program committee member for Facs '11 (8th International Symposium on Formal Aspects of Component Software), Oslo, Norway, September 14–16, 2011.

  • G. Salaün was a program committee member for Qasba '11 (International Workshop on Quality Assurance for Service-Based Applications), Lugano, Switzerland, September 14, 2011.

  • G. Salaün was a program committee member for Flacos '11 (5th Workshop on Formal Languages and Analysis of Contract-Oriented Software), Málaga, Spain, September 22–23, 2011.

  • G. Salaün was a program committee member for Vader '11 (2nd International Workshop on Variability, Adaptation and Dynamism in software systEms and seRvices), Hersonissos, Crete, Greece, October 2011.

  • G. Salaün is an editorial board member of the journal “Service Oriented Computing and Applications” published by Springer Verlag.