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.

Journals

• Springer International Journal on Software Tools for Technology Transfer (STTT)
  Editorial Board member: Hubert Garavel.

Conferences and Workshops

• DOORS'2024 (4th Edge Computing Workshop), Zhytomyr, Ukraine, April 5, 2024.
  PC Chairs: Serhiy O. Semerikov and Tetiana Vakaliuk.


• MARS'2024 (6th International Workshop on Models for Formal Analysis of Real Systems), Luxembourg City, Luxembourg, April 6, 2024.
  PC Chairs: Frédéric Lang and Matthias Volk.


• SPIN'2024 (30th International Symposium on Model Checking Software), Luxembourg City, Luxembourg, April 10-11, 2024.
  PC Chairs: Thomas Neele and Anton Wijs.


• ENASE'2024 (19th International Conference on Evaluation of Novel Approaches to Software Engineering), Angers, France, April 28-29, 2024.
  PC Chairs: Hermann Kaindl and Mike Mannion.


• ICSOFT'2024 (19th International Conference on Software Technologies), Dijon, France, July 8-10, 2024.
  PC Chairs: Hans-Georg Fill and Francisco José Domínguez Mayo.


• FACS'2024 (20th International Conference on Formal Aspects of Component Software), Milan, Italy, September 9-10, 2024.
  PC Chairs: Diego Marmsoler and Meng Sun.


• FMICS'2024 (29th International Conference on Formal Methods for Industrial Critical Systems), Milan, Italy, September 9-11, 2024.
  PC Chairs: Anne Haxthausen and Wendelin Serwe.


• ASYDE'2024 (6th International Workshop on Automated and verifiable Software sYstem DEvelopment), Sacramento, California, USA, October 28, 2024.
  SC Chairs: Marco Autili and Federico Ciccozzi.


• IFIP-ICTSS'2024 (36th IFIP International Conference on Testing Software and Systems), London, UK, October 30-November 1st, 2024.
  PC Chairs: Gema Bello-Orgaz, Karine Even-Mendoza, and Héctor D. Menéndez.


• SEFM'2024 (22nd International Conference on Software Engineering and Formal Methods), Aveiro, Portugal, November 4-8, 2024.
  PC Chairs: Alexandre Madeira and Alexander Knapp.

CONVECS 2023 Seminar (Aix-les-Bains, Savoie)

Journals

• Springer International Journal on Software Tools for Technology Transfer (STTT)
  Editorial Board member: Hubert Garavel.

Conferences and Workshops

• DOORS'2023 (3rd Edge Computing Workshop), Zhytomyr, Ukraine, April 7, 2023.
  PC Chairs: Serhiy O. Semerikov and Tetiana Vakaliuk.


• FASE'2023 (26th International Conference on Fundamental Approaches to Software Engineering), Paris, France, April 24-27, 2023.
  PC Chairs: Leen Lambers and Sebastián Uchitel.


• ENASE'2023 (18th International Conference on Evaluation of Novel Approaches to Software Engineering), Prague, Czech Republic, April 24-25, 2023.
  PC Chairs: Hermann Kaindl and Mike Mannion.


• SEAMS'2023 (18th Symposium on Software Engineering for Adaptive and Self-Managing Systems), Melbourne, Australia, May 15-16, 2023.
  PC Chairs: Pooyan Jamshidi, Raffaela Mirandola, and Radu Calinescu.


• ICECCS'2023 (27th International Conference on Engineering of Complex Computer Systems), Toulouse, France, June 14-16, 2023.
  PC Chairs: Yamine Ait-Ameur and Ferhat Khendek.


• COMPSAC-SETA'2023 (IEEE International Conference on Computers, Software, and Applications - Software Engineering Technologies and Applications), Torino, Italy, June 27-29, 2023.
  PC Chairs: Junhua Ding and Chang-ai Sun.


• ICSOFT'2023 (18th International Conference on Software Technologies), Rome, Italy, July 10-12, 2023.
  PC Chairs: Hans-Georg Fill, Francisco José Domínguez Mayo, and Marten van Sinderen.


• FM-BPM'2023 (1st International Workshop on Formal Methods for Business Process Management), Utrecht, The Netherlands, September 11, 2023.
  PC Chairs: Claudio Di Ciccio, Alessandro Gianola, and Andrey Rivkin.


• FMICS'2023 (28th International Conference on Formal Methods for Industrial Critical Systems), Antwerp, Belgium, September 18-23, 2023.
  PC Chairs: Alessandro Cimatti and Laura Titolo.


• FACS'2023 (19th International Conference on Formal Aspects of Component Software), virtual event, October 19-20, 2023.
  PC Chairs: Javier Cámara and Sung-Shik Jongmans.


• SEFM'2023 (21st International Conference on Software Engineering and Formal Methods), Eindhoven, The Netherlands, November 6-10, 2023.
  PC Chairs: Carla Ferreira and Tim Willemse.


• ICTAC'2023 (20th International Colloquium on Theoretical Aspects of Computing), Lima, Peru, December 4-8, 2023.
  PC Chairs: Erika Abraham, Clemens Dubslaff, and Silvia Lizeth Tapia Tarifa.

CONVECS 2022 Seminar (La Mure, Isère)

Journals

• Springer International Journal on Software Tools for Technology Transfer (STTT)
  Editorial Board member: Hubert Garavel.

Conferences and Workshops

• MARS'2022 (5th International Workshop on Models for Formal Analysis of Real Systems), Munich, Germany, April 2-3, 2022.
  PC Chairs: Clemens Dubslaff and Bas Luttik.


• ENASE'2022 (17th International Conference on Evaluation of Novel Approaches to Software Engineering), virtual event, April 25-26, 2022.
  PC Chairs: Hermann Kaindl and Mike Mannion.


• SEAMS'2022 (17th Symposium on Software Engineering for Adaptive and Self-Managing Systems), virtual event, May 18-20, 2022.
  PC Chairs: Javier Camara and Martina Maggio.


• FormaliSE'2022 (10th International Conference on Formal Methods in Software Engineering), Pittsburgh, PA, USA, May 22-23, 2022.
  PC Chairs: Arnd Hartmanns, Ina Schaefer, and Carlos E. Budde.


• FORTE'2022 (42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems), Lucca, Italy, June 13-17, 2022.
  PC Chairs: Mohammad Mousavi and Anna Philippou.


• COMPSAC-SETA'2022 (IEEE International Conference on Computers, Software, and Applications - Software Engineering Technologies and Applications), virtual event, June 27-July 1st, 2022.
  PC Chairs: Hong Zhu and Junhua Ding.


• ICSOFT'2022 (17th International Conference on Software Technologies), Lisbon, Portugal, July 11-13, 2022.
  PC Chairs: Hans-Georg Fill and Marten van Sinderen.


• FMICS'2022 (27th International Conference on Formal Methods for Industrial Critical Systems), Warsaw, Poland, September 14-16, 2022.
  PC Chairs: Jan Friso Groote and Marieke Huisman.


• SEFM'2022 (20th International Conference on Software Engineering and Formal Methods), Berlin, Germany, September 26-30, 2022.
  PC Chairs: Holger Schlingloff and Ming Chai.


• FACS'2022 (18th International Conference on Formal Aspects of Component Software), Oslo, Norway, November 10-11, 2022.
  PC Chairs: Silvia Lizeth Tapia Tarifa and José Proença.

Journals

• Springer International Journal on Software Tools for Technology Transfer (STTT)
  Editorial Board member: Hubert Garavel.

Conferences and Workshops

• SAC-SVT'2021 (36th ACM/SIGAPP Symposium on Applied Computing - Software Verification and Testing Track), virtual event, March 22-26, 2021.
  Track PC Chairs: Erika Abraham and Nikolai Kosmatov.


• TACAS'2021 (27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems), Luxembourg, Luxembourg, March 27 - April 1, 2021.
  PC Chairs: Jan Friso Groote and Kim G. Larsen.
  Tool Chair: Frédéric Lang.


• DOORS'2021 (Edge Computing Workshop), Zhytomyr, Ukraine, April 11, 2021.
  PC Chair: Serhiy O. Semerikov.


• ENASE'2021 (16th International Conference on Evaluation of Novel Approaches to Software Engineering), virtual event, April 26-27, 2021.
  PC Chairs: Raian Ali and Hermann Kaindl.


• FSEN'2021 (9th IPM International Conference on Fundamentals of Software Engineering), Tehran, Iran, May 19-21, 2021.
  PC Chairs: Hossein Hojjat and Mieke Massink.


• FormaliSE'2021 (9th International Conference on Formal Methods in Software Engineering), Madrid, Spain, May 17-21, 2021.
  PC Chairs: Laura Semini and Simon Bliudze.


• CTS'2021 (16th IFAC Symposium on Control in Transportation Systems), Lille, France, June 8-10, 2021.
  PC Chairs: Bart De Schutter and Silvia Siri.


• COORDINATION'2021 (23rd International Conference on Coordination Models and Languages), Valetta, Malta, June 14-18, 2021.
  PC Chairs: Ferruccio Damiani and Ornela Dardha.


• TTC'2021 (14th Transformation Tool Contest - Part of the Software Technologies: Applications and Foundations (STAF) federated conferences), online event, June 25, 2021.
  Organizers: Antonio Garcia-Dominguez, Georg Hinkel, and Artur Boronat.


• ICSOFT'2021 (16th International Conference on Software Technologies), virtual event, July 6-8, 2021.
  PC Chairs: Hans-Georg Fill and Marten van Sinderen.


• COMPSAC-SETA'2021 (IEEE International Conference on Computers, Software, and Applications - Software Engineering Technologies and Applications), virtual event, July 12-16, 2021.
  PC Chairs: Junhua Ding and Rui Abreu.


• FMICS'2021 (26th International Conference on Formal Methods for Industrial Critical Systems), Paris, France, August 23-24, 2021.
  PC Chairs: Alberto Lluch Lafuente and Anastasia Mavridou.


• ICTAC'2021 (18th International Colloquium on Theoretical Aspects of Computing), virtual event, September 8-10, 2021.
  PC Chairs: Antonio Cerone and Peter Ölveczky.


• ETR'2021 (École d'été Temps-Réel), Poitiers - Futuroscope, France, September 20-24, 2021.
  PC Chair: Jérôme Ermont.


• FACS'2021 (17th International Conference on Formal Aspects of Component Software), virtual event, October 28-29, 2021.
  PC Chairs: Gwen Salaün and Anton Wijs.


• IFIP-ICTSS'2021 (33rd IFIP International Conference on Testing Software and Systems), virtual event, November 10-12, 2021.
  PC Chairs: Ana Cavalli and Héctor D. Menéndez.


• FM'2021 (24th International Symposium on Formal Methods), Beijing, China, November 20-26, 2021.
  PC Chairs: Marieke Huisman, Corina Pasareanu, and Naijun Zhan.


• appFM'2021 (1st International Workshop on Applicable Formal Methods), Beijing, China, November 20, 2021.
  PC Chairs: Mario Gleirscher, Jaco van de Pol, and Jim Woodcock.


• SEFM'2021 (19th International Conference on Software Engineering and Formal Methods), virtual event, December 6-10, 2021.
  PC Chairs: Radu Calinescu and Corina Pasareanu.

Journals

• Springer International Journal on Software Tools for Technology Transfer (STTT)
  Editorial Board member: Hubert Garavel.

Conferences and Workshops

• SAC-SVT'2020 (35th ACM/SIGAPP Symposium on Applied Computing - Software Verification and Testing Track), Brno, Czech Republic, March 30 - April 3, 2020.
  Track PC Chairs: Matthias Güdemann and Nikolai Kosmatov.


• MARS'2020 (4th Workshop on Models for Formal Analysis of Real Systems), Dublin, Ireland, April 26, 2020.
  PC Chairs: Ansgar Fehnker and Hubert Garavel.


• COORDINATION'2020 (22nd International Conference on Coordination Models and Languages), Valletta, Malta, June 15-19, 2020.
  PC Chairs: Simon Bliudze and Laura Bocchi.


• FormaliSE'2020 (8th International Conference on Formal Methods in Software Engineering), virtual event, July 13, 2020.
  PC Chairs: Kyungmin Bae and Domenico Bianculli.


• COMPSAC-SETA'2020 (IEEE International Conference on Computers, Software, and Applications - Software Engineering Technologies and Applications), Madrid, Spain, July 13-17, 2020.
  PC Chairs: Junhua Ding and Rui Abreu.


• FMICS'2020 (25th International Conference on Formal Methods for Industrial Critical Systems), Vienna, Austria, September 2-3, 2020.
  PC Chairs: Maurice ter Beek and Dejan Ničković.


• SEFM'2020 (18th International Conference on Software Engineering and Formal Methods), Amsterdam, The Netherlands, September 14-18, 2020.
  PC Chairs: Frank de Boer and Antonio Cerone.


• FOCLASA'2020 (18th International Workshop on Coordination and Self-Adaptativeness of Software Applications), Amsterdam, The Netherlands, September 15, 2020.
  PC Chairs: Ernesto Pimentel and Sung-Shik Jongmans.


• IFIP-ICTSS'2020 (32nd IFIP International Conference on Testing Software and Systems), Napoli, Italy, October 6-8, 2020.
  PC Chairs: Valentina Casola, Massimiliano Rak, and Alessandra De Benedictis.


• HPCS-SERCO'2020 (4th Special Session on High Performance Services Computing and Internet Technologies), Barcelona, Spain (virtual event), January 25-29, 2021.
  PC Chairs: Ladjel Bellatreche, Karim Benouaret, and Patrick Hung.

CONVECS 2019 Seminar (Villard-de-Lans, Isère)

Journals

• Springer International Journal on Software Tools for Technology Transfer (STTT)
  Editorial Board member: Hubert Garavel.

Conferences and Workshops

• Microservices'2019, Dortmund, Germany, February 19-21, 2019.
  PC Chairs: Saverio Giallorenzo, Marco Peressotti, Florian Rademacher, and Sabine Sachweh.


• SAC-SVT'2019 (34th ACM/SIGAPP Symposium on Applied Computing - Software Verification and Testing Track), Limassol, Cyprus, April 8-12, 2019.
  Track PC Chairs: Matthias Güdemann and Leonardo Mariani.


• FSEN'2019 (8th IPM International Conference on Fundamentals of Software Engineering), Tehran, Iran, May 1-3, 2019.
  PC Chairs: Hossein Hojjat and Mieke Massink.


• COORDINATION'2019 (21st International Conference on Coordination Models and Languages), Lyngby, Denmark, June 18-21, 2019.
  PC Chairs: Emilio Tuosto and Hanne Riis Nielson.


• COMPSAC-ITIP'2019 (IEEE International Conference on Computers, Software, and Applications - IT in Practice), Wisconsin, USA, July 15-19, 2019.
  PC Chairs: G. R. Gangadharan and Piyush Saxena.


• COMPSAC-SETA'2019 (IEEE International Conference on Computers, Software, and Applications - Software Engineering Technologies and Applications), Wisconsin, USA, July 15-19, 2019.
  PC Chairs: W. K. Chan and Hong Zhu.


• HPCS-4PAD'2019 (6th International Symposium on Formal Approaches to Parallel and Distributed Systems), Dublin, Ireland, July 15-19, 2019.
  PC Chairs: Frédéric Dabrowski, Simon Bliudze, Frédéric Loulergue, and Jean-Michel Couvreur.


• HPCS-SERCO'2019 (3rd Special Session on High Performance Services Computing and Internet Technologies), Dublin, Ireland, July 15-19, 2019.
  PC Chairs: Ladjel Bellatreche, Karim Benouaret, and Patrick Hung.


• FMICS'2019 (24rd International Conference on Formal Methods for Industrial Critical Systems), Amsterdam, The Netherlands, August 30-31, 2019.
  PC Chairs: Kim Larsen and Tim Willemse.


• SEFM'2019 (17th International Conference on Software Engineering and Formal Methods), Oslo, Norway, September 16-20, 2019.
  PC Chairs: Peter Ölveczky and Gwen Salaün.


• FOCLASA'2019 (17th International Workshop on Coordination and Self-Adaptativeness of Software Applications), Oslo, Norway, September 17, 2019.
  PC Chairs: Ernesto Pimentel and Jacopo Soldani.


• DATAMOD'2019 (8th International Symposium "From Data to Models and Back"), Porto, Portugal, October 7-8, 2019.
  PC Chairs: Vashti Galpin, Riccardo Guidotti, and Mirco Nanni.


• IFIP-ICTSS'2019 (31st IFIP International Conference on Testing Software and Systems), Paris, France, October 15-17, 2019.
  PC Chairs: Christophe Gaston, Nikolai Kosmatov, and Pascale Le Gall.


• FACS'2019 (16th International Conference on Formal Aspects of Component Software), Amsterdam, The Netherlands, October 23-25, 2019.
  PC Chairs: Farhad Arbab and Sung-Shik Jongmans.

CONVECS 2018 Seminar (Dullin, Savoie)

Journals

• Springer International Journal on Software Tools for Technology Transfer (STTT)
  Editorial Board member: Hubert Garavel.

Conferences and Workshops

• SAC-SOAP'2018 (33rd ACM Symposium on Applied Computing - Service-Oriented Architectures and Programming Track), Pau, France, April 9-13, 2018.
  Track PC Chairs: Massimo Bartoletti, Luís Cruz-Filipe, and Gwen Salaün.


• SAC-SVT'2018 (33rd ACM Symposium on Applied Computing - Software Verification and Testing Track), Pau, France, April 9-13, 2018.
  Track PC Chairs: Yliès Falcone and Leonardo Mariani.


• MARS'2018 (3rd Workshop on Models for Formal Analysis of Real Systems), Thessaloniki, Greece, April 20, 2018.
  PC Chairs: Rob van Glabbeek and Wendelin Serwe.


• CAL'2018 (11ème Conférence francophone sur les Architectures Logicielles), Grenoble, France, June 14-15, 2018.
  PC Chairs: Nawal Guermouche and Chouki Tibermacine.


• SPIN'2018 (25th International Symposium on Model Checking of Software), Málaga, Spain, June 20-22, 2018.
  PC Chairs: María del Mar Gallardo and Pedro Merino.


• STAF'2018 (Software Technologies: Applications and Foundations), Toulouse, France, June 25-29, 2018.


• DATAMOD'2018 (7th International Symposium "From Data to Models and Back"), Toulouse, France, June 25-26, 2018.
  PC Chairs: Oana Andrei, Antonio Cerone, and Riccardo Guidotti.


• FOCLASA'2018 (16th International Workshop on Foundations of Coordination Languages and Self-Adaptative Systems), Toulouse, France, June 26, 2018.
  PC Chairs: Jean-Marie Jacquet and Jacopo Soldani.


• SEFM'2018 (16th International Conference on Software Engineering and Formal Methods), Toulouse, France, June 27-29, 2018.
  PC Chairs: Einar Broch Johnsen and Ina Schaefer.


• HPCS-4PAD'2018 (5th International Symposium on Formal Approaches to Parallel and Distributed Systems), Orléans, France, July 16-20, 2018.
  PC Chairs: Frédéric Loulergue and Jean-Michel Couvreur.


• COMPSAC'2018 (IEEE International Conference on Computers, Software, and Applications), Tokyo, Japan, July 23-27, 2018.
  PC Chairs: Jiannong Cao, Stelvio Cimato, Yasuo Okabe, and Sahra Sedighsarvestani.


• FVPS'2018 (International Workshop on Formal Verification of Physical Systems), Hagenberg, Austria, August 17, 2018.
  PC Chairs: Sofiene Tahar, Osman Hasan, and Umair Siddique.


• FMICS'2018 (23rd International Conference on Formal Methods for Industrial Critical Systems), Maynooth, Ireland, September 3-4, 2018.
  PC Chairs: Falk Howar and Jiři Barnat.


• ICTSS'2018 (30th IFIP International Conference on Testing Software and Systems), Cádiz, Spain, October 1-3, 2018.
  PC Chairs: Rob Hierons, Inmaculada Medina-Bulo, and Mercedes G. Merayo.


• FACS'2018 (15th International Conference on Formal Aspects of Component Software), Pohang, Korea, October 10-12, 2018.
  PC Chairs: Kyungmin Bae and Peter Ölveczky.

Journals

• Springer International Journal on Software Tools for Technology Transfer (STTT)
  Editorial Board member: Hubert Garavel.

Conferences and Workshops

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


• PDP-4PAD'2017 (25th Euromicro International Conference on Parallel, Distributed and Network-based Processing - Formal Approaches to Parallel and Distributed Systems), St. Petersburg, Russia, March 6-8, 2017.
  PC Chairs: Simon Bliudze and Borzoo Bonakdarpour.


• SAC-SOAP'2017 (32nd ACM Symposium on Applied Computing - Service-Oriented Architectures and Programming Track), Marrakesh, Morocco, April 3-7, 2017.
  Track PC Chairs: Maurice ter Beek, Hernán Melgratti, Massimo Bartoletti, and Luís Cruz-Filipe.


• SAC-SVT'2017 (32nd ACM Symposium on Applied Computing - Software Verification and Testing Track), Marrakesh, Morocco, April 3-7, 2017.
  Track PC Chairs: Yliès Falcone and Mercedes G. Merayo.


• 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.


• ICSE'2017 (39th International Conference on Software Engineering - Poster Track), Buenos Aires, Argentina, May 20-28, 2017.
  PC Chairs: Fuyuki Ishikawa and Massimo Tivoli.


• COORDINATION'2017 (19th International Conference on Coordination Models and Languages), Neuchâtel, Switzerland, June 19-22, 2017.
  PC Chairs: Jean-Marie Jacquet and Mieke Massink.


• COMPSAC'2017 (IEEE International Conference on Computers, Software, and Applications), Torino, Italy, July 4-8, 2017.
  PC Chairs: Lin Liu, William Claycomb, Motonori Nakamura, and Edmundo Tovar.


• VBSP'2017 (1st International Workshop on Verification of Business and Software Processes), Paris, France, July 5, 2017.
  PC Chairs: Souheib Baarir and Kais Klai.


• 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.


• FOCLASA'2017 (15th International Workshop on Foundations of Coordination Languages and Self-Adaptative Systems), Trento, Italy, September 5, 2017.
  PC Chairs: Carlos Canal and Gwen Salaün.


• 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.


• FACS'2017 (14th International Conference on Formal Aspects of Component Software), Braga, Portugal, October 10-13, 2017.
  PC Chairs: Markus Lumpe and José Proença.


• FMF (8ème Journée du Forum Méthodes Formelles), Toulouse, France, October 10, 2017.
  


• Microservices'2017, Odense, Denmark, October 25-26, 2017.
  PC Chairs: Luís Cruz-Filipe and Fabrizio Montesi.

Journals

• Springer International Journal on Software Tools for Technology Transfer (STTT)
  Editorial Board member: Hubert Garavel.

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.

CONVECS 2015 Seminar (Charavines, Isère)

Journals

• Springer International Journal on Software Tools for Technology Transfer (STTT)
  Editorial Board member: Hubert Garavel.


• Springer International Journal on Service Oriented Computing and Applications (SOCA)
  Editorial Board member: Gwen Salaün.

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.

CONVECS 2014 Seminar (Herbelon, Isère)

Journals

• Springer International Journal on Software Tools for Technology Transfer (STTT)
  Editorial Board member: Hubert Garavel.


• Springer International Journal on Service Oriented Computing and Applications (SOCA)
  Editorial Board member: Gwen Salaün.


• Science of Computer Programming (Special issue on Foundations of Coordination Languages and Software Architectures - selected papers from FOCLASA'2010) 80(A), 2014.
  Editors: Mohammad Reza Mousavi and Gwen Salaün.


• Science of Computer Programming (Special issue on Formal Methods for Industrial Critical Systems - selected papers from FMICS'2011) 80(A), 2014.
  Editors: Gwen Salaün and Bernhard Schätz.

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.

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

Journals

• Springer International Journal on Software Tools for Technology Transfer (STTT)
  Editorial Board member: Hubert Garavel.


• The Scientific World Journal (TSWJ)
  Editorial Board member: Frédéric Lang.


• Springer International Journal on Service Oriented Computing and Applications (SOCA)
  Editorial Board member: Gwen Salaün.

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.

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

Journals

• Springer International Journal on Software Tools for Technology Transfer (STTT)
  Editorial Board member: Hubert Garavel.


• Springer International Journal on Service Oriented Computing and Applications (SOCA)
  Editorial Board member: Gwen Salaün.


• Science of Computer Programming (Special issue on Foundations of Coordination Languages and Software Architectures - selected papers from FOCLASA'2009) 77(7-8), 2012.
  Editors: Gwen Salaün and Marjan Sirjani.

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.