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

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), editors (for journals), or keynote speakers.

2017  |  2016  |  2015  |  2014  |  2013  |  2012  ]

2 0 1 7

Journals

Conferences and Workshops

  • FMF (7ème Journée du Forum Méthodes Formelles), Toulouse, France, January 31, 2017.

  • FSEN'2017 (7th IPM International Conference on Fundamentals of Software Engineering), Tehran, Iran, April 26-28, 2017.
    PC Chairs: Mehdi Dastani and Marjan Sirjani.

  • MARS'2017 (2nd Workshop on Models for Formal Analysis of Real Systems), Uppsala, Sweden, April 29, 2017.
    PC Chairs: Holger Hermanns and Peter Höfner.

  • QRS'2017 (IEEE International Conference on Software Quality, Reliability, and Security), Prague, Czech Republic, July 25-29, 2017.
    PC Chairs: Manuel Nuñez, Tadashi Dohi, and Xiaoying Bai.
    Tutorial Chair: Radu Mateescu.

  • SEFM'2017 (15th International Conference on Software Engineering and Formal Methods), Trento, Italy, September 6-10, 2017.
    PC Chairs: Alessandro Cimatti and Marjan Sirjani.

  • FMICS-AVoCS'2017 (International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems), Torino, Italy, September 18-20, 2017.
    PC Chairs: Laure Petrucci and Cristina Seceleanu.

2 0 1 6

Journals

Conferences and Workshops

  • FMF (6ème Journée du Forum Méthodes Formelles), Toulouse, France, January 26, 2016.

  • TACAS'2016 (22th International Conference on Tools and Algorithms for the Construction and Analysis of Systems), Eindhoven, The Netherlands, April 2-8, 2016.
    PC Chairs: Marsha Chechik and Jean-François Raskin.
    Tool Chair: Radu Mateescu.

  • GaM'2016 (International Workshop on Graphs as Models), Bamberg, Germany, April 2-3, 2016.
    PC Chairs: Alexander Heussner, Aleks Kissinger, and Anton Wijs.

  • SAC-SVT'2016 (31st ACM Symposium on Applied Computing - Software Verification and Testing Track), Pisa, Italy, April 4-8, 2016.
    PC Chairs: Mercedes G. Merayo and Gwen Salaün.

  • SPIN'2016 (23rd International SPIN Symposium on Model Checking of Software), Eindhoven, The Netherlands, April 7-8, 2016.
    PC Chairs: Dragan Bošnački and Anton Wijs.

  • CIEL'2016 (5ème Conférence en IngénieriE du Logiciel), Besançon, France, June 7, 2016.
    PC Chairs: Romain Rouvoy and Chouki Tibermacine.

  • COMPSAC'2016 (40th IEEE Computer Society International Conference on Computers, Software and Applications), Atlanta, Georgia, USA, June 10-14, 2016.
    PC Chairs: William Claycomb, Mihhail Matskin, and Hiroyuki Sato.

  • MCC @ Petri Nets'2016 (Model Checking Contest at the 37th International Conference on Application and Theory of Petri Nets and Concurrency), Toruń, Poland, June 21, 2016.
    General Chairs: Fabrice Kordon and Didier Buchs.

  • WWV'2016 (12th International Workshop on Automated Specification and Verification of Web Systems), Porto, Portugal, June 26, 2016.
    PC Chairs: Anderson Santana de Oliveira and Luca Viganò.

  • SEFM'2016 (14th International Conference on Software Engineering and Formal Methods), Vienna, Austria, July 4-8, 2016.
    PC Chairs: Rocco De Nicola and Eva Kühn.

  • RV'2016 (16th International Conference on Runtime Verification), Madrid, Spain, September 23-30, 2016.
    PC Chairs: Yliès Falcone and Cesar Sanchez.

  • FMICS-AVoCS'2016 (International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems), Pisa, Italy, September 26-29, 2016.
    PC Chairs: Stefania Gnesi and Alexander Knapp.

  • HILT'2016 (ACM SIGAda's High Integrity Language Technology), Pittsburgh, Pennsylvania (USA), October 6-7, 2016.
    PC Chairs: Julien Delange and Tucker Taft.

  • ICTSS'2016 (28th International Conference on Testing Software and Systems), Graz, Austria, October 17-19, 2016.
    PC Chairs: Natalia Kushik, Mihai Nica, and Franz Wotawa.

  • FACS'2016 (13th International Conference on Formal Aspects of Component Software), Besançon, France, October 19-21, 2016.
    PC Chairs: Olga Kouchnarenko and Ramtin Khosravi.

2 0 1 5

CONVECS 2015 Seminar (Charavines, Isère)

Journals

Conferences and Workshops

  • TACAS'2015 (21th International Conference on Tools and Algorithms for the Construction and Analysis of Systems), London, UK, April 11-19, 2015.
    PC Chairs: Christel Baier and Cesare Tinelli.

  • SAC-SVT'2015 (30th ACM/SIGAPP Symposium on Applied Computing - Software Verification and Testing track), Salamanca, Spain, April 13-17, 2015.
    PC Chairs: Gwen Salaün and Marielle Stoelinga.

  • FSEN'2015 (6th International Conference on Fundamentals of Software Engineering), Tehran, Iran, April 22-24, 2015.
    PC Chairs: Mehdi Dastani and Marjan Sirjani.

  • DCDS'2015 (5th IFAC International Workshop on Dependable Control of Discrete Systems), Cancun, Mexico, May 27-29, 2015.
    PC Chairs: Ernesto Lopez-Mellado, Dimitri Lefebvre, and Frank Ortmeier.

  • ICE'2015 (8th Interaction and Concurrency Experience), Grenoble, France, June 4-5, 2015.
    PC Chairs: Alberto Lluch Lafuente and Ivan Lanese.

  • FMF (5ème Journée du Forum Méthodes Formelles), Toulouse, France, June 16, 2015.

  • FMICS'2015 (20th International Workshop on Formal Methods for Industrial Critical Systems), Oslo, Norway, June 22-23, 2015.
    PC Chairs: Manuel Núñez and Matthias Güdemann.

  • WWV'2015 (11th International Workshop on Automated Specification and Verification of Web Systems), Oslo, Norway, June 23, 2015.
    PC Chairs: Maurice H. ter Beek and Alberto Lluch Lafuente.

  • MCC @ Petri Nets'2015 (Model Checking Contest at the 36th International Conference on Application and Theory of Petri Nets and Concurrency), Bruxelles, Belgium, June 23, 2015.
    General Chairs: Fabrice Kordon and Didier Buchs.

  • ETR'2015 (École d'été Temps-Réel), Rennes, France, August 24-28, 2015.
    PC Chair: Jérôme Ermont.

  • SEFM'2015 (13th International Conference on Software Engineering and Formal Methods), York, United Kingdom, September 7-11, 2015.
    PC Chairs: Radu Calinescu and Bernhard Rumpe.

  • SCART'2015 (1st International Workshop on the ART of Software Composition), York, United Kingdom, September 8, 2015.
    PC Chairs: Marco Autili, Alfredo Goldman, and Massimo Tivoli.

  • FACS'2015 (12th International conference on Formal Aspects of Component Software), Rio de Janeiro, Brazil, October 14-16, 2015.
    PC Chairs: Christiano Braga and Peter Csaba Ölveczky.

  • MARS'2015 (Workshop on Models for Formal Analysis of Real Systems), Suva, Fiji, November 23, 2015.
    PC Chairs: Rob van Glabbeek, Jan Friso Groote, and Peter Höfner.

2 0 1 4

CONVECS 2014 Seminar (Herbelon, Isère)

Journals

Conferences and Workshops

  • MFDL / MTV2 (Méthodes Formelles pour le Développement de Logiciels / Test pour la Vérification et la Validation), Grenoble, France, January 13-14, 2014.
    PC Chairs: Frédéric Dadeau, Lydie Du-Bousquet, Yamine Ait-Ameur, Akram Idani, and Virginie Wiels.
    Invited talk by Hubert Garavel.

  • FMF (3ème Journée du Forum Méthodes Formelles), Toulouse, France, February 4, 2014.

  • GRAPHITE'2014 (3rd Workshop on GRAPH Inspection and Traversal Engineering), Grenoble, France, April 5, 2014.
    PC Chairs: Anton Wijs, Dragan Bosnacki, Stefan Edelkamp, and Alberto Lluch Lafuente.
    Invited talk by Radu Mateescu.

  • MCC @ Petri Nets'2014 (Model Checking Contest at the 35th International Conference on Application and Theory of Petri Nets and Concurrency), Tunis, Tunisia, June 24, 2014.
    General Chairs: Fabrice Kordon and Didier Buchs.

  • OrChor'2014 (1st IEEE International Workshop on Service Orchestration and Choreography for the Future Internet), Hilton Anchorage, Alaska, USA, June 27, 2014.
    General Chairs: Marco Autili, Alfredo Goldman, and Massimo Tivoli.

  • WWV'2014 (10th International Workshop on Automated Specification and Verification of Web Systems), Vienna, Austria, July 18, 2014.
    PC Chairs: Maurice ter Beek and António Ravara.

  • SEFM'2014 (12th International Conference on Software Engineering and Formal Methods), Grenoble, France, September 1-5, 2014.
    PC Chairs: Dimitra Giannakopoulou and Gwen Salaün.

  • WS-FMDS'2014 (4th Workshop on Formal Methods in the Development of Software), Grenoble, France, September 2, 2014.
    PC Chairs: Carlos Gregorio-Rodríguez and Fernando L. Pelayo.
    Invited talk by Radu Mateescu.

  • FOCLASA'2014 (13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems), Rome, Italy, September 6, 2014.
    PC Chairs: Javier Cámara and José Proença.

  • FACS'2014 (11th International Symposium on Formal Aspects of Component Software), Bertinoro, Italy, September 10-12, 2014.
    PC Chairs: Ivan Lanese and Eric Madelaine.

  • FMICS'2014 (19th International Workshop on Formal Methods for Industrial Critical Systems), Florence, Italy, September 11-12, 2014.
    PC Chairs: Francesco Flammini and Frédéric Lang.

  • AVOCS'2014 (14th International Workshop on Automated Verification of Critical Systems), Enschede, The Netherlands, September 24-26, 2014.
    PC Chairs: Marieke Huisman and Jaco van de Pol.

  • FMF (4ème Journée du Forum Méthodes Formelles), Toulouse, France, October 16, 2014.

  • ERCIM 25 Years Anniversary, Pisa, Italy, October 23-24, 2014.
    Invited talk by Radu Mateescu.

2 0 1 3

CONVECS 2013 Seminar (Col de Porte, Isère)

Journals

Conferences and Workshops

  • Dagstuhl Seminar 13051 (Software Certification: Methods and Tools), Schloss Dagstuhl, Germany, January 27-February 1st, 2013.
    Chairs: Darren Cofer, John Hatcliff, Michaela Huhn, and Mark Lawford.
    Invited talk by Hubert Garavel.

  • MODELSWARD'2013 / MODA'2013 (1st International Conference on Model-Driven Engineering and Software Development, Special Session on Model-Driven Software Adaptation), Barcelona, Spain, February 19-21, 2013.
    Session Chair: Antonio Brogi.

  • SAC-SOAP'2013 (28th Annual ACM Symposium on Applied Computing - Service-Oriented Architectures and Programming Track), Coimbra, Portugal, March 18-22, 2013.
    PC Chairs: Ivan Lanese, Manuel Mazzara, and Fabrizio Montesi.

  • GRAPHITE'2013 (2nd Workshop on GRAPH Inspection and Traversal Engineering), Rome, Italy, March 24, 2013.
    PC Chairs: Anton Wijs, Dragan Bosnacki, and Stefan Edelkamp.
    Invited talk by Gwen Salaün.

  • In'Tech Seminar (Formal Validation of Industrial Critical Systems), Inria Grenoble - Rhône-Alpes, France, April 18, 2013.
    Organizers: Philippe Béliard and Radu Mateescu.

  • FSEN'2013 (5th International Conference on Fundamentals of Software Engineering), Tehran, Iran, April 24-26, 2013.
    PC Chairs: Farhad Arbab and Marjan Sirjani.

  • CBSE'2013 (16th International ACM Sigsoft Symposium on Component-Based Software Engineering), Vancouver, Canada, June 18-20, 2013.
    PC Chairs: Dimitra Giannakopoulou and Massimo Tivoli.

  • MCC @ Petri Nets'2013 (Model Checking Contest at the 34th International Conference on Application and Theory of Petri Nets and Concurrency), Milano, Italy, June 25, 2013.
    General Chairs: Didier Buchs and Fabrice Kordon.

  • FMF (2ème Journée du Forum Méthodes Formelles), Toulouse, France, June 28, 2013.

  • QASBA'2013 (2nd International Workshop on Quality Assurance for Service-based Applications), Lugano, Switzerland, July 15, 2013.
    PC Chairs: Domenico Bianculli, Sam Guinea, Sylvain Hallé, and Andrea Polini.

  • ETR'2013 (École d'été Temps-Réel), Toulouse, France, August 26-30, 2013.
    PC Chair: Jérôme Ermont.

  • DCDS'2013 (4th IFAC Workshop on Dependable Control of Discrete Systems), York, United Kingdom, September 4-6, 2013.
    PC Chairs: Antoine Rauzy, John McDermid, Yiannis Papadopoulos.

  • ESOCC'2013 (2nd European Conference on Service-Oriented and Cloud Computing), Málaga, Spain, September 11-13, 2013.
    PC Chairs: Kung-Kiu Lau and Winfried Lamersdof.

  • FMICS'2013 (18th International Workshop on Formal Methods for Industrial Critical Systems), Madrid, Spain, September 23-24, 2013.
    PC Chairs: Michael Dierkes and Charles Pecheur.

  • FACS'2013 (10th International Symposium on Formal Aspects of Component Software), Nanchang, China, October 28-30, 2013.
    PC Chairs: Jose Luiz Fiadeiro and Zhiming Liu.

2 0 1 2

CONVECS 2012 Seminar (Pont-en-Royans, Isère)

Journals

Conferences and Workshops

  • 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.
    Invited talk by Hubert Garavel.

  • 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
 
 
Logo Twitter
 
Last modified: 2017/03/16 14:55:27.