FM 2023 25th International Symposium On Formal Methods, Lübeck, Germany, March 6-10, 2023.

REFSQ 2023 29th International Conference on Software Engineering: Foundation for Software Quality, Barcelona, Spain, April 17–20, 2023.

TiCSA 2023 1st Workshop on Trends in Configurable Systems Analysis, Paris, France, April 23, 2023.

FSEN 2023 10th IPM International Conference on Fundamentals of Software Engineering, Tehran, Iran, May 4-5, 2023.

FormaliSE 2023 11th FME workshop on Formal Methods in Software Engineering, Melbourne, Victoria, Australia, May 14-15, 2023.

COORDINATION 2023 25th International Conference on Coordination Models and Languages, Lisbon, Portugal, June 19-23, 2023.

SPLC 2023 27Th Acm International Systems And Software Product Line Conference, Tokyo, Japan, August 28 – September 1, 2023

FMICS 2023 28th International Conference on Formal Methods for Industrial-Critical Systems, Antwerp, Belgium, September 20-22, 2023

DataMod 2023 11th International Symposium From Data to Models and Back at SEFM 2023, Eindhoven, The Netherlands, November 6-7, 2023

iFM 2023 18th International Conference on integrated Formal Methods, Leiden, the Netherlands, November 13-15, 2023.

VaMoS 2022 16th International Working Conference on Variability Modelling of Software-Intensive Systems, Florence, Italy, 23-25 February 2022.

QAVS 2022 3rd Workshop on Quantitative Aspects of Variant-rich Systems at ETAPS 2022, Munich, Germania, 3 April, 2022.

FormaliSE 2022 10th FME workshop on Formal Methods in Software Engineering, Pittsburgh, PA, USA, 22-23 May, 2022.

iFM 2022 18th International Conference on integrated Formal Methods, Lugano, Switzerland, 7-10 June, 2022.

COORDINATION 2022 24th International Conference on Coordination Models and Languages, Lucca, Italy, 13-17 June, 2022.

RE 2022 30th IEEE International Requirements Engineering Conference, Melbourne, Australia, 15-19 August, 2022.

QAVS 2021 2nd Workshop on Quantitative Aspects of Variant-rich Systems at ETAPS 2021, Luxembourg, 28 March, 2021.

NLP4RE 2021 4th Workshop on Natural Language Processing for Requirements Engineering at REFSQ, 12 April, 2021.

FSEN 2021 9th IPM International Conference on Fundamentals of Software Engineering - Theory and Practice, Tehran, Iran, 19-21 May, 2021.

FormaliSE 2021 9th FME workshop on Formal Methods in Software Engineering. Madrid, Spain, 23-24 May, 2021.

SPLC 2021 25th International Systems and Software Product Line Conference, Leicester, UK, 6-10 September, 2021.

DataMod 2021 10th International Symposium From Data to Models and Back at SEFM 2021, 6-7 December 2021.

QAVS 2020 1st Workshop on Quantitative Aspects of Variant-rich Systems at eQONFEST 2020, Vienna, Austria, 31 August, 2020.

AIRE 2020 7th International Workshop on Artificial Intelligence and Requirements Engineering at RE, Zurich, Switzerland, 1 September, 2020.

DataMod 2020 9th International Symposium From Data to Models and Back at CIKM 2020, 20 October 2020.

REFSQ 2020 26th International Conference on Software Engineering: Foundation for Software Quality. Pisa, Italy, March 24-27, 2020.

FormaliSE 2020 8th FME workshop on Formal Methods in Software Engineering. Seoul, Korea, 25-26 May 2020.

DisCoTec 2020 15th International Federated Conference on Distributed Computing Techniques. Valletta, Malta, 15-19 June, 2020.

FMICS 2020 25th International Conference on Formal Methods for Industrial-Critical Systems. Vienna, Austria, September 2-3, 2020.

FSEN 2019 8th IPM International Conference on Fundamentals of Software Engineering. Tehran, Iran, 1-3 May, 2019.

FormaliSE 2019 7th FME workshop on Formal Methods in Software Engineering. Montréal, Canada, 27 May 2019.

DisCoTec 2019 14th International Federated Conference on Distributed Computing Techniques. Lyngby, Denmark, 18-21 June, 2019.

FM 2019 23rd International Symposium on Formal Methods. Porto, Portugal, 7-11 October, 2019.

SG65 Colloquium in Honour of Stefania Gnesi. Porto, Portugal, 8 October, 2019.

Castiglioncello 2019 18th Castiglioncello International Conference. The Crisis of the Arms Control Regime. Pugwash-USPID Joint meeting. Castiglioncello (LI), Italy, 3-5 October, 2019.

FormaliSE 2018 6th FME workshop on Formal Methods in Software Engineering. Gothenburg, Sweden, 2 June 2018.

FM 2018 22nd International Symposium on Formal Methods. Oxford, UK, 15-17 July, 2018.

VaMoS 2017 11th International Workshop on Variability Modeling of Software-Intensive Systems. Eindhoven, The Netherlands, 1-3 February, 2017.

FormaliSE 2017 5th FME workshop on Formal Methods in Software Engineering. Buenos Aires, Argentina, 27 May 2017.

COORDINATION 2017 19th International Conference on Coordination Models and Languages. Neuchatel, Switzerland, 19-22 June 2017.

FormaliSE 2016 4th FME workshop on Formal Methods in Software Engineering. Austin, TX, USA, 15 May 2016.

FORECAST 2016 Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems. Vienna, Austria, 8 July, 2016.

FMICS-AVoCS 2016 International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems. Pisa, 26-28 September, 2016.

FM 2016 21st International Symposium on Formal Methods. Limassol, Cyprus, 7-11 November, 2016.

FMSPLE 2015 6th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, 11 April 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, 11-18 April 2015.

FormaliSE 2015 3rd FME workshop on Formal Methods in Software Engineering. Florence, Italy, 18 May 2015.

WWV 2015 11th International Workshop on Automated Specification and Verification of Web Systems. Oslo, Norway, 23 June, 2015.

FASE 2014 17th International Conference on Fundamental Approaches to Software Engineering, Grenoble, France, 5-13 April 2014.

FM 2014 19th International Symposium on Formal Methods, Singapore, 14-16 May 2014.

FMSPLE 2014 5th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, 10 October 2014, held as track of the 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Corfu, Greece, 8-11 October 2014.

FormaliSE 2nd FME Workshop on Formal Methods in Software Engineering, Hyderabad, India, 3 June 2014.

SPLC 2014 18th International Software Product Line Conference, Florence, Italy, 15-19 September 2014.

VaMoS 2014 8th International Workshop on Variability Modelling of Software-intensive Systems, Nice, France, 22-24 January 2014.

WWV 2014 10th International Workshop on Automated Specification and Verification of Web Systems, Vienna, Austria, 18 July 2014.

VAMOS 2013 7th International Workshop on Variability Modelling of Software-intensive Systems, Pisa, Italy, 23-25 January 2013.

FormaliSE 2013 1st FME Workshop on Formal Methods in Software Engineering, San Francisco, CA, USA, 25 May 2013.

SPLC 2013 17th International Software Product Line Conference, Tokio, Japan, 26-30 August 2013.

iFM & ABZ 2012 Joint conference in honour of Egon Boerger’s 65th birthday for his contribution to state-based formal methods, ISTI-CNR, Pisa, Italy, 18-22 June 2012.

QAPL 2012 10th Workshop on Quantitative Aspects of Programming Languages, Tallinn, Estonia, March 31 - April 1, 2012. Satellite WS of ETAPS 2012.

VaMoS 2012 6th International Workshop on Variability Modelling of Software-intensive Systems, Leipzig, Germany, 25-27 January, 2012.

FM 2012 18th International Symposium on Formal Methods, CNAM Paris France August 27-31 2012.

SPLC 2012 16th International Software Product Line Conference, Costa da Sauipe 2-7 September 2012.

FormSERA Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) Workshop on Saturday 2 June 2012, Zurich, Switzerland, in conjunction with ICSE 2012.

WS-FM 2012 9th International Workshop on Web Services and Formal Methods, Tallinn, Estonia, 6-7 September 2012.

FMSPLE 2012 3rd International Workshop on Formal Methods and Analysis in Software Product Line Engineering, Salvador, Brazil, 2 September 2012.

• QAPL 2011


• SEFM 2010
• ISARCS 2010
• WS-FM 2010
• FMICS 2010
• ISoLA 2010
• IFM 2010
• ICFEM 2010
• ICSE 2010
• Vamos 2010


• Vamos 2009
• ICFEM 2009
• FM+AM 2009
• SEFM 2009
• OPENCERT 2009
• FM 2009
• SPLC 2009
• Fmics 2009
• YR-SOC 2009


• SPLC 2008
• SEFM 2008
• SofSem 2008
• ICFEM 2008
• Fmics 2008
• Serene 2008
• STM 2008
• Isola 2008
• China 2008
• VODCA 2008
• FM 2008


• ESOP 2007
• FMICS 2007
• DASD 2007
• ASSE 2007
• SPLC 2007


• REFSQ 2006
• EFTS 2006
• SPLC 2006
• FM 2006
• BPM 2006
• VODCA 2006


• FMICS 2005
• FORTE 2005
• SEFM 2005
• ICEIS 2005
• FM 2005
• ICSE 2005


• VODCA 2004
• ICFEM 2004
• ATVA 2004
• FMICS 2004
• WS-FM 2004
• DASD 2004
• SEFM 2004
• FORTE 2004


• PFE-5 2003
• ICEIS 2003
• SEFM 2003
• FMICS 2003
• FORTE 2003
• FM 2003


• FORTE 2002
• FM&&T Day 2002
• ISODARCO 2002


• From the Distributed Systems to Internet
  A day held in Norma Lijtmaer's honour


• FMICS 2002


• I3 Spring Days 2001
• FORTE 2001
• FMICS 2001


• FMICS 2000
• IFIP EUROCONFERENCE 2000
• FORTE 2000
• CHI 2000
• Elsewhere 2000


• FMICS 1999
• ISODARCO 1999
• SPIN Workshop 1999
• FORTE 1999
• FMICS 1998
• FMICS 1997
• FMICS 1996