Formal Methods && Tools Group

2020 events

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.


2019 events

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.


2018 events

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.

2017 events

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.

2016 events

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.

2015 events

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.

2014 events

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.

2013 events

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.

2012 events

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

2010-2011 events

QAPL 2011, 9th Workshop on Quantitative Aspects of Programming Languages, Saarbruecken, Germany, April 1-3, 2011. Satellite WS of ETAPS2011.
SEFM 2010 8th IEEE International Conference on Software Engineering and Formal Methods, ISTI CNR (Pisa) September 13-18 2010.
ISARCS 2010: 1st International Symposium on Architecting Critical Systems Federated with CompArch 2010 Prague Czech Republic June 23-25 2010.
WS-FM 2010 7th International Workshop on Web Services and Formal Methods, Stevens Institute of Technology Hoboken New Jersey USA September 16-17 2010.
FMICS 2010 15th International Workshop on Formal Methods for Industrial Critical Systems, Antwerp Belgium September 20-21, 2010.
ISoLA2010 4th International Symposium On Leveraging Applications of Formal Methods Verification and Validation, Amirandes Heraclion Crete October 18-20 2010.
IFM 2010 8th International Conference, Nancy France October 11 - 14 2010.
ICFEM 2010 12th International Conference on Formal Engineering Methods, Shanghai, China 16-19 November 2010.
ICSE 2010 32nd International Conference on Software Engineering
Vamos 2010 Fourth International Workshop on Variability Modelling of Software-intensive Systems

Past events

Vamos 2009
ICFEM 09FM+AM'09
SEFM 09
OPENCERT 2009
FM 2009
SPLC 2009
Fmics 2009
YR-SOC 2009
SPLC 08SEFM 08
SofSem 2008
ICFEM 2008
Fmics 2008
Serene 2008
STM 2008
Isola 2008
China 2008
VODCA 2008
FM'08
ESOP 07
FMICS 07
DASD 07
ASSE 2007
SPLC 07
REFSQ 06
EFTS 2006
SPLC 2006
FM 06
BPM 2006
VODCA 2006
FMICS 05
FORTE 2005
SEFM 2005
ICEIS 2005
FM 2005
ICSE 2005

VODCA 2004
ICFEM 2004
ATVA 2004
FMICS 2004
WS-FM04
DASD 2004
SEFM 2004
FORTE 2004
PFE-5 2003
ICEIS 2003
SEFM 2003
FMICS 2003
FORTE 2003
FM 2003
FORTE 2002
FM&&T Day
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 01
FMICS 00
IFIP EUROCONFERENCE
FORTE 2000
CHI 2000
Elsewhere 2000
FMICS 99
ISODARCO 99
SPIN Workshop 99
FORTE 99
FMICS 98
FMICS 97
FMICS 96