C O N V E C S
Construction of Verified Concurrent Systems
Logo Inria Logo LIG Logo Grenoble INP Logo CNRS Logo UJF
 

The CONVECS team is involved in the following scientific events, for which its members serve as program committee chairs or program committee members (for conferences and workshops), or co-editors (for journal issues).

Conferences and Workshops

2 0 1 2
  • GRAPHITE'2012 (1st Workshop on GRAPH Inspection and Traversal Engineering), Talinn, Estonia, March 31 - April 1st, 2012.
    PC Chairs: Anton Wijs, Dragan Bosnacki, and Stefan Edelkamp.

  • NEPTUNE'2012 (Nice Environment with a Process and Tools Using Norms and Examples), Paris, France, June 6-7, 2012.
    PC Chairs:Thierry Millan and Agusti Canals.

  • COORDINATION'2012 (14th International Conference on Coordination Models and Languages), Stockholm, Sweden, June 14-15, 2012.
    PC Chairs: Marjan Sirjani and Franco Zambonelli.

  • TASE'2012 (6th International Symposium on Theoretical Aspects of Software Engineering), Beijing, China, July 4-6, 2012.
    PC Chairs: Tiziana Margaria, Zongyan Qiu, and Hongli Yang.

  • FMICS'2012 (17th International Workshop on Formal Methods for Industrial Critical Systems), Paris, France, August 27-28, 2012.
    PC Chairs: Ralf Pinger and Marielle Stoelinga.

  • FOCLASA'2012 (11th International Workshop on Foundations of Coordination Languages and Self-adaptation), Newcastle upon Tyne, UK, September 8, 2012.
    PC Chairs: Natallia Kokash and Antonio Ravara.

  • FACS'2012 (9th International Symposium on Formal Aspects of Component Software), Mountain View, USA, September 12-14, 2012.
    PC Chairs: Corina Pasareanu and Gwen Salaün.

  • PDMC'2012 (11th International Workshop on Parallel and Distributed Methods in verifiCation), London, UK, September 17, 2012.
    PC Chairs: Keijo Heljanko and William Knottenbelt.

  • FLACOS'2012 (6th International Workshop on Formal Languages and Analysis of Contract-Oriented Software), Bertinoro, Italy, September 19, 2012.
    PC Chairs: Gordon J. Pace and Anders P. Ravn.

  • ESOCC'2012 (European Conference on Service-Oriented and Cloud Computing), Bertinoro, Italy, September 19-21, 2012.
    PC Chairs: Ernesto Pimentel and Flavio de Paoli.

  • IWDE'2012 (International Workshop on Digital Engineering), Magdeburg, Germany, September 25, 2012.
    PC Chairs: Gunter Saake.
Events
 
Last modified: 12/05/11 13:57:39.