Selected Scientific Events


Version 1.132 - Date 2013/05/17 13:19:48

The VASY team contributes (or has contributed) to the following scientific events, for which its members serve (or have served) as program committee chair or program committee member (for conferences or workshops), and co-editor (for journal special issues).


Conferences and Workshops

2012 and beyond

2011

    1st TOPCASED Days, Toulouse, France, February 2-4, 2011.
    PC Chair: Patrick Farail.

    DISCOTEC'2011 (6th International Federated Conferences on Distributed Computing Techniques), Reykjavik, Iceland, June 6-9, 2011.
    General Chair: Marjan Sirjani.

    CSSE'2011 (The 2011 CSI International Symposium on Computer Science and Software Engineering), Tehran, Iran, June 15-16, 2011.
    PC Chairs: Farhad Arbab and Seyed-Hassan Mirian-Hosseinabadi.

    DCDS 11 (3rd International Workshop on Dependable Control of Discrete Systems), Saarbrücken, Germany, June 15-17, 2011.
    PC Chairs: Georg Frey and Joanne Bechta Dugan - Industrial Vice-Chair: Josef Börcsök.

    WS-TBFM 2011 (2nd International Workshop on Tool Building in Formal Methods), Limerick, Ireland, June 20, 2011.
    PC Chair: Frédéric Gervais

    AMMSE'2011 (2nd International Workshop on Algebraic Methods in Model-based Software Engineering), Zürich, Switzerland, June 30, 2011.
    PC Chairs: Francisco Duran and Vlad Rusu.

    PDMC'2011 (10th International Workshop on Parallel and Distributed Methods in verifiCation) Cliff Lodge, Snowbird, Utah, July 14, 2011.
    PC Chairs: Jiri Barnat and Keijo Heljanko.

    FMICS'2011 (16th International Workshop on Formal Methods for Industrial Critical Systems), Trento, Italy, August 29-30, 2011.
    PC Chairs: Gwen Salaün and Bernhard Schätz.

    VATSS'2011 (1st International Workshop on Verification, Analysis, and Testing of Service Systems), Szeged, Hungary, September 4, 2011.
    PC Chairs: Luciano Baresi, Tevfik Bultan, and Sam Guinea.

    FOCLASA'2011 (10th International Workshop on the Foundations of Coordination Languages and Software Architectures, in conjunction with Concur'2011), Aachen, Germany, September 10, 2011.
    PC Chairs: Mohammad Reza Mousavi and Antonio Ravara.

    QASBA'2011 (International Workshop on Quality Assurance for Service-Based Applications), Lugano, Switzerland, September 14, 2011.
    PC Chairs: Domenico Bianculli, Andreas Metzger, and Andrea Polini.

    ECOWS 11 (9th European Conference on Web Services) Lugano, Switzerland, September 14-16, 2011.
    PC Chairs: Cesare Pautasso, Ulf Schreier, and Gianluigi Zavattaro.

    FACS'2011 (8th International Symposium on Formal Aspects of Component Software), Oslo, Norway, September 14-16, 2011
    PC Chairs: Farhad Arbab and Peter Ölveczky.

    FLACOS'2011 (5th Workshop on Formal Languages and Analysis of Contract-Oriented Software), Malaga, Spain, September 22-23, 2011
    PC Chairs: Ernesto Pimentel and Valentín Valero.

2010

    Workshop on Tool Building in Formal Methods (in conjunction with the 2nd International ABZ Conference), Orford, Quebec, Canada, February 22, 2010.
    PC Chairs: Frédéric Gervais and Benoît Fraikin.

    Neptune Workshop 2010 (Nice Environment with a Process and Tools Using Norms and Example), Toulouse, France, May 18-19, 2010.
    PC Chairs: Agusti Canals and Thierry Millan.

    WCSI'2010 (International Workshop on Component and Service Interoperability, in conjunction with Tools'2010 Federated Conferences), Malaga, Spain, June 29, 2010.
    PC Chairs: Javier Cámara, Carlos Canal, and Gwen Salaün.

    ECSA'2010 (Fourth European Conference on Software Architecture), Copenhagen, Denmark, August 23-26, 2010.
    PC Chairs: Ian Gorton and Ali Babar.

    FOCLASA'2010 (9th International Workshop on the Foundations of Coordination Languages and Software Architectures, in conjunction with Concur'2010), Paris, France, September 4, 2010.
    PC Chairs: Mohammad Reza Mousavi and Gwen Salaün.

    FMICS'2010 (15th International Workshop on Formal Methods for Industrial Critical Systems), Antwerp, Belgium, September 20-21, 2010.
    PC Chairs: Stefan Kowalewski and Marco Roveri.

    TAV-WEB'2010 (4th International Workshop on Testing, Analysis and Verification of Web Software, in conjunction with ASE'2010), Antwerp, Belgium, September 21, 2010.
    PC Chairs: Xiang Fu, Gwen Salaün, and Sylvain Hallé.

    PDMC'2010 (9th International Workshop on Parallel and Distributed Methods in verifiCation), Twente, The Netherlands, September 30 - October 1st, 2010.
    PC Chairs: Jiri Barnat and Michael Weber.

    IFM'2010 (8th International Conference on Integrated Formal Methods), Nancy, France, October 11-14, 2010.
    PC Chairs: Dominique Méry and Stefan Merz.

    ECOWS'2010 (8th European Conference on Web Services), Ayia Napa, Cyprus, December 1-3, 2010.
    PC Chairs: Antonio Brogi and Cesare Pautasso.

2009

    IFM'2009 (7th International Conference on Integrated Formal Methods), Düsseldorf, Germany, February 16-19, 2009.
    PC Chairs: Michael Leuschel and Heike Wehrheim.

    TACAS'2009 (15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems), York, United Kingdom, March 22-29, 2009.
    PC Chairs: Stefan Kowalewski and Anna Philippou.

    COMPASS 2009 (Workshop on Correctness, Modeling and Performance of Aerospace Systems)
    Organizers: Alessandro Cimatti, Joost-Pieter Katoen, and Yuri A. Yushtein. York, United Kingdom, March 29, 2009.
    Invited talk given by Hubert Garavel.

    WICSA/ECSA'2009 (Joint Working International Conference on Software Architecture and European Conference on Software Architecture), Cambridge, United Kingdom, September 14-17, 2009.
    PC Chairs: Flavio Oquendo, Eltjo Poort, and Judith Stafford.

    Neptune Workshop 2009 (Nice Environment with a Process and Tools Using Norms and Example), Paris, France, May 26-27, 2009.
    PC Chairs: Agusti Canals and Thierry Millan.

    FMICS'2009 (14th International Workshop on Formal Methods for Industrial Critical Systems), Eindhoven, The Netherlands, November 2-3, 2009.
    PC Chairs: Maria Alpuente and Byron Cook.

    PDMC'2009 (8th International Workshop on Parallel and Distributed Methods in verifiCation), Endhoven, The Netherlands, November 4, 2009.
    PC Chairs: Lubos Brim and Jaco van de Pol.

    fOSSa (Free and Open Source Software Academic Conference), Grenoble, France, November 17-18, 2009.
    Presentation given by Hubert Garavel.

2008

    PDMC'2008 (7th International Workshop on Parallel and Distributed Methods in verifiCation), Budapest, Hungary, March 29, 2008.
    PC Chairs: Ivana Černá and Gerald Luettgen.

    Neptune Workshop 2008 (Nice Environment with a Process and Tools Using Norms and Example), Paris, France, April 8-9, 2008.
    PC Chairs: Agusti Canals and Thierry Millan.

    IPA Spring Days on Integrating Formal Methods, Rhenen, The Netherlands, May 7-9, 2008.
    Invited talk given by Hubert Garavel.

    FMICS'2008 (13th International Workshop on Formal Methods for Industrial Critical Systems), L'Aquila, Italy, September 15-16, 2008.
    PC Chairs: Darren Cofer and Alessandro Fantechi.

    MPI Summer School on Verification Technology, Systems and Applications, Max Planck Institute, Saarbrücken, Germany, September 15-19, 2008.
    Invited lectures given by Radu Mateescu.

    ECSA'2008 (2nd European Conference on Software Architectures), Paphos, Cyprus, September 29-October 1st, 2008.
    PC Chairs: Ronald Morrison, Dharini Balasubramaniam, and Katrina E. Falkner.

    ICSEA'2008 (3rd International Conference on Software Engineering Advances), Sliema, Malta, October 26-31, 2008.
    PC Chairs: Herwig Mannaert, Tadashi Ohta, and Dumitru Roman.

2007

    TACAS'2007 (13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems), Porto, Portugal, March 24-April 1st, 2007.
    PC Chairs: Orna Grumberg and Michael Huth.

    Neptune Workshop 2007 (Nice Environment with a Process and Tools Using Norms and Example), Paris, France, May 22-23, 2007.
    PC Chairs: Pierre Bazex and Agusti Canals.

    FORTE'2007 (27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems), Tallinn, Estonia, June 26-29, 2007.
    PC Chairs: John Derrick and Jüri Vain.

    FMICS'2007 (12th International Workshop on Formal Methods for Industrial Critical Systems), Berlin, Germany, July 1-2, 2007.
    PC Chairs: Stefan Leue and Pedro Merino.

    PDMC'2007 (6th International Workshop on Parallel and Distributed Methods in verifiCation), Berlin, Germany, July 8, 2007.
    PC Chairs: Ivana Černá and Boudewijn R. Haverkort.

    ICSEA'2007 (2nd International Conference on Software Engineering Advances), Cap Esterel, France, August 25-31, 2007.
    PC Chairs: Sandro Morasca, Tadashi Ohta, and Sergiu Dascalu.

    ETR'2007 (5ème Ecole d'été Temps-Réel), Nantes, France, September 3-7, 2007.
    PC Chair: Olivier Roux.

    IFIP WG 1.8 Concurrency Theory Workshop on Applying Concurrency Research in Industry, Lisbon, Portugal, September 7, 2007.
    Organizers: Luca Aceto, Jos Baeten, Wan Fokkink, Anna Ingolfsdottir, and Uwe Nestmann.
    Invited talk by Hubert Garavel.

    ECSA'2007 (1st European Conference on Software Architectures), Madrid, Spain, September 24-26, 2007.
    PC Chair: Flavio Oquendo.

    MSR'2007 (6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs), Lyon, France, October 17-19, 2007.
    PC Chairs: Eric Niel and Jean-Michel Muller.

2006

    TACAS'2006 (12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems), Vienna, Austria, March 25-April 2, 2006.
    PC Chairs: Holger Hermanns and Jens Palsberg.

    MSVVEIS'2006 (4th International Workshop on Modelling, Simulation, Verification, and Validation of Enterprise Information Systems), Paphos, Cyprus, May 23-24, 2006.
    PC Chairs: Joseph Barjis, Juan Carlos Augusto, and Ulrich Ultes-Nitsche.

    ICCGI'2006 (International Conference on Computing in the Global Information Technology), Bucharest, Romania, August 1-3, 2006.

    FMICS'2006 (11th International Workshop on Formal Methods for Industrial Critical Systems), Bonn, Germany, August 26-27, 2006.
    PC Chairs: Lubos Brim and Martin Leucker.

    Dagstuhl Seminar 06351 (Methods for Modelling Software Systems), Schloss Dagstuhl, Germany, August 27-September 1st, 2006.
    Chairs: David Harel, Perdita Stevens, and Roel Wieringa.
    Invited talk given by Wendelin Serwe.

    PDMC'2006 (5th International Workshop on Parallel and Distributed Methods in VerifiCation), Bonn, Germany, August 31, 2006.
    PC Chairs: Boudewijn Haverkort and Jaco van de Pol.

    EWSA'2006 (3rd European Workshop on Software Architectures), Nantes, France, September 4-5, 2006.
    PC Chairs: Volker Gruhn and Flavio Oquendo.

    CAL'2006 (1ère Conférence Francophone sur les Architectures Logicielles), Nantes, France, September 6-8, 2006.
    PC Chairs: Mourad Oussalah and Flavio Oquendo.

    FORTE'2006 (26th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems), Paris, France, September 26-29, 2006.
    PC Chairs: Elie Najm and Jean-François Pradat-Peyre.

    ICSEA'2006 (International Conference on Software Engineering Advances), Tahiti, French Polynesia, October 29 - November 3, 2006.

    LIX Colloquium on Emerging Trends in Concurrency Theory, Ecole Polytechnique, Palaiseau, France, November 13-15, 2006.
    Chairs: Catuscia Palamidessi and Frank D. Valencia.
    Invited talk given by Hubert Garavel.

2005

    TACAS'2005 (11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems), Edinburgh, Scotland, U.K., April 4-8, 2005.
    PC Chairs: Lenore Zuck and Nicolas Halbwachs.

    VVEIS'2005 (3rd International Workshop on Verification and Validation of Enterprise Information Systems), Miami, Florida, USA, May 13, 2005.
    PC Chairs: Juan Carlos Augusto and Ulrich Ultes-Nitsche.

    EWSA'2005 (2nd European Workshop on Software Architecture), Pisa, Italy, June 13-14, 2005.
    PC Chairs: Ron Morrison and Flavio Oquendo.

    PDMC'2005 (4th International Workshop on Parallel and Distributed Methods in VerifiCation), Lisbon, Portugal, July 10, 2005.
    PC Chairs: Martin Leucker and Jaco van de Pol.

    SoftMC'2005 (3rd International Workshop on Software Model Checking), Edinburgh, Scotland, U.K., July 11, 2005.
    PC Chairs: Byron Cook, Scott Stoller, and Willem Visser.

    Algebraic Process Calculi: The First Twenty Five Years and Beyond, Bertinoro (Forlì), Italy, August 1-5, 2005.
    Scientific Organizing Committee: Luca Aceto, Mario Bravetti, Jim Davies, Wan Fokkink, Andy Gordon, Joost-Pieter Katoen, Faron Moller, and Steve Schneider.
    Invited talk given by Hubert Garavel.

    FMICS'2005 (10th International Workshop on Formal Methods for Industrial Critical Systems), Lisbon, Portugal, September 5-6, 2005.
    PC Chairs: Tiziana Margaria and Mieke Massink.

    ETR 2005 (Ecole d'été temps réel 2005), Nancy, France, September 13-16, 2005.
    Chair: Nicolas Navet.
    Invited lecture given by Radu Mateescu.

    PAM (Process Algebra Meeting), Amsterdam, The Netherlands, September 14, 2005.
    Talks given by Wendelin Serwe and Frédéric Lang.

2004

    11e RII (11e Rencontres INRIA-Industrie - "L'ingénierie du logiciel"), INRIA Rocquencourt, France, January 27, 2004.
    Invited talk given by Hubert Garavel.

    X-TACAS 10th Anniversary of TACAS, Barcelona, Spain, March 27-28, 2004.
    Chairs: Bernhard Steffen and Tiziana Margaria.
    Invited talk given by Hubert Garavel.

    VVEIS'2004 (2nd International Workshop on Verification and Validation of Enterprise Information Systems), Porto, Portugal, April 13, 2004.
    PC Chairs: Juan Carlos Augusto and Ulrich Ultes-Nitsche.

    PAM (Process Algebra Meeting), Amsterdam, The Netherlands, May 12, 2004.
    Talk given by Hubert Garavel.

    EWSA'2004 (1st European Workshop on Software Architecture), St Andrews, Scotland, May 21-22, 2004.
    PC Chairs: Flavio Oquendo and Brian Warboys.

    PDMC'2004 (3rd International Workshop on Parallel and Distributed Methods in VerifiCation), London, United Kingdom, September 4, 2004.
    PC Chairs: Lubos Brim and Martin Leucker.

    FMICS'2004 (9th International Workshop on Formal Methods for Industrial Critical Systems), Linz, Austria, September 20-21, 2004.
    PC Chairs: Juan Bicarregui and Andrew Butterfield.

    SIVOES/MoDeVa'2004 (Workshop on Model Design and Verification). Rennes, France, November 2, 2004.
    Organizers: David Lugato and Christophe Gaston

2003

    TACAS'2003 (8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems), Warsaw, Poland, April 5-13, 2003.
    PC Chairs: Hubert Garavel and John Hatcliff. Tool Chair: Kurt Jensen.

    VVEIS'2003 (1st International Workshop on Verification and Validation of Enterprise Information Systems), Angers, France, April 22, 2003.
    PC Chairs: Juan Carlos Augusto and Ulrich Ultes-Nitsche.

    FMICS'2003 (8th International Workshop on Formal Methods for Industrial Critical Systems), Trondheim, Norway, June 5-7, 2003.
    PC Chairs: Thomas Arts and Wan Fokkink.

    PDMC'2003 (2nd International Workshop on Parallel and Distributed Model Checking), Boulder, Colorado, USA, July 14, 2003.
    PC Chairs: Lubos Brim and Orna Grumberg.

    SoftMC'2003 (2nd International Workshop on Software Model Checking), Boulder, Colorado, USA, July 14, 2003.
    PC Chairs: Byron Cook, Scott Stoller, and Willem Visser.

    ETR 2003 (Ecole d'Eté Temps Réel 2003), Toulouse, France, September 9-12, 2003.
    PC Chair: Zoubir Mammeri.
    Invited talk given by Hubert Garavel.

    SFM-03:SA (3rd International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architecture), Bertinoro (Forlì), Italy, September 22-27, 2003.
    Scientific directors: Marco Bernardo and Paola Inverardi
    Tool demonstration given by Radu Mateescu.

    Dagstuhl Seminar 03451 (Applied Deductive Verification), Schloss Dagstuhl, Germany, November 2-7, 2003.
    Chairs: David Basin, Harald Ganzinger, John Harrison, and Amir Pnueli.
    Invited talk given by Hubert Garavel.

    Modocop Workshop (Smart Card Specification, Verification, and Testing), INRIA Rhône-Alpes, France, December 4, 2003.
    Organizers: Marieke Huisman, Frédéric Lang, Aurore Collomb, and Wendelin Serwe.

2002

    FAC'2002 (10èmes journées sur la Formalisation des Activités Concurrentes), Toulouse, France, March 26-27, 2002.
    Invited talk given by Hubert Garavel.

    TACAS'2002 (8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems), Grenoble, France, April 8-12, 2002.
    PC Chairs: Joost-Pieter Katoen and Perdita Stevens. Tool Chair: Hubert Garavel.

    FMICS'2002 (7th International ERCIM Workshop on Formal Methods for Industrial Critical Systems), Málaga, Spain, July 12-13, 2002.
    PC Chairs: Rance Cleaveland and Hubert Garavel.

    PDMC 2002 (Workshop on Parallel and Distributed Model Checking), Brno, Czech, August 19, 2002.
    PC Chairs: Lubos Brim and Ivana Cerna.

    SFM-02:MC (2nd International School on Formal Methods for the Design of Computer, Communication and Software Systems: Model Checking), Bertinoro (Forlì), Italy, September 9-14, 2002.
    Scientific directors: Marco Bernardo and Marta Kwiatkowska
    Invited lecture given by Hubert Garavel.

    FORTE 2002 (Formal Techniques for Networked and Distributed Systems), Rice University, Houston, Texas, November 11-14, 2002.
    PC Chairs: Doron Peled and Moshe Vardi.

2001

    TACAS'2001 (7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems), Genova, Italy, 2-6 April, 2001.
    PC Chairs: Tiziana Margaria and Wang Yi.

    FMICS'2001 (6th International ERCIM Workshop on Formal Methods for Industrial Critical Systems), Paris, France, July 16-17, 2001.
    PC Chairs: Stefania Gnesi and Ulrich Ultes-Nitsche.

    SoftMC'2001 (Workshop on Software Model Checking), Paris, France, July 23, 2001.
    PC Chairs: Scott Stoller and Willem Visser.

2000

    FMICS'2000 (5th International ERCIM Workshop on Formal Methods for Industrial Critical Systems), Berlin, Germany, April 3-4, 2000.
    PC Chairs: Stefania Gnesi and Ina Schieferdecker.

    CFIP'2000 (Colloque Francophone sur l'Ingénierie des Protocoles), Toulouse, France, October 17-20, 2000.
    PC Chair: Jean-Pierre Courtiat.

1999

    TACAS'99 (5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems), Amsterdam, The Netherlands, March 22-26, 1999.
    PC Chair: Rance Cleaveland.

    CFIP'99 (Colloque Francophone sur l'Ingénierie des Protocoles), Nancy, France, April 26-29, 1999.
    PC Chair: André Schaff.

    ARTS'99 (5th International AMAST Workshop on Real-Time and Probabilistic Systems), Bamberg, Germany, May 26-28, 1999.
    PC Chair: Joost-Pieter Katoen.

    FMICS'99 (4th International ERCIM Workshop on Formal Methods for Industrial Critical Systems), Trento, Italy, July 11-12, 1999.
    PC Chairs: Stefania Gnesi and Diego Latella.

1997

    COST 247 2nd International Workshop on Applied Formal Methods in System Design, Zagreb, Croatia, June 18-19, 1997.
    PC Chair: Ignac Lovrek.

1996

    COST 247 1st International Workshop on Applied Formal Methods in System Design, Maribor, Slovenia, June 17-19, 1996.
    PC Chairs: Zmago Brezocnik and Kemal Inan.


Journals

    Service Oriented Computing and Applications (Gwen Salaün is a member of the Editorial Board for this Journal).

    Hubert Garavel and John Hatcliff. Theoretical Computer Science (special issue on selected papers from TACAS 2003), vol. 354, num. 2, 2006.

    Hubert Garavel and John Hatcliff. Software Tools for Technology Transfer (special section on selected papers from TACAS 2003), vol. 8, num. 1, 2006.

    Hubert Garavel, Stefania Gnesi, and Ina Schieferdecker. Science of Computer Programming (special issue on Formal Methods for Industrially Critical Systems), vol. 46, num. 3, 2003.

    Hubert Garavel, Roland Groz, and Guy Leduc. Réseaux et protocoles. Technique et Science Informatiques, vol. 18, num. 6, June 1999.

    Hubert Garavel, Roland Groz, and Claude Jard. Méthodes formelles : validation de systèmes critiques (1). Technique et Science Informatiques, vol. 16, num. 6, June 1997.

    Hubert Garavel, Roland Groz, and Claude Jard. Méthodes formelles : validation de systèmes critiques (2). Technique et Science Informatiques, vol. 16, num. 9, November 1997.


Annual Seminars


Back to the VASY Home Page