Conference series Beta

International Symposium on Formal Methods

Events: 49 (1978 to 2026)
Website: https://www.fmeurope.org/
Academic field: Natural sciences: Mathematics, Computer and information sciences
Disciplines: computer science, formal methods, logic programming, software verification
Identifier: https://id.confref.org/series/s109pnb

Events (49)

19782026

Year	No.	Event	Place	Date
2026	27	Formal Methods - 27th International Symposium, FM 2026, Tokyo, Japan, May 18-22, 2026, Proceedings, Part I	Tokyo
2024	26	26th International Symposium on Formal Methods FM 2024	Milan	2024-09-09/13
2023	25	25th International Symposium on Formal Methods FM 2023	Lübeck	2023-03-06/10
2021	24	24th International Symposium on Formal Methods FM 2021		2021-11-20/26
2019	23	23rd International Symposium on Formal Methods FM 2019, FM	Porto	2019-10-07/11
2019		Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I	Portugal
2019		Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II	Portugal
2018	22	22nd International Symposium on Formal Methods FM 2018, FM	Oxford	2018-07-15/17
2016	21	21st International Symposium on Formal Methods FM 2016, FM	Limassol	2016-11-09/11
2015	20	20th International Symposium on Formal Methods FM 2015, FM	Oslo	2015-06-24/26
2014	19	19th International Symposium on Formal Methods FM 2014, FM	Queenstown MRT station	2014-05-12/16
2012	18	18th International Symposium on Formal Methods FM 2012, FM	Paris	2012-08-27/31
2011	17	17th International Symposium on Formal Methods FM 2011, FM	Limerick	2011-06-20/24
2009	16	16th International Symposium on Formal Methods FM 2009, FM	Eindhoven	2009-11-02/06
2008	15	15th International Symposium on Formal Methods FM 2008, FM	Turku	2008-05-26/30
2006	14	International Symposium on Formal Methods FM 2006, FM	Hamilton	2006-08-21/27
2005		International Symposium on Formal Methods FM	Newcastle upon Tyne	2005-07-18/22
2003	12	International Symposium on Formal Methods FM 2003, FME	Pisa	2003-09-08/14
2003		Formal Methods (FM) FM	Pisa	2003-01-01
2002	11	International Symposium on Formal Methods FM 2002, FME	Copenhagen	2002-07-22/24
2002		Formal Methods (FM) FM	Copenhagen	2002-01-01
2001	10	International Symposium on Formal Methods FM 2001	Berlin	2001-05-12/16
2001		International Symposium of Formal Methods Europe FM, FME	Berlin	2001-03-12/16
1999	9	International Symposium on Formal Methods FM 1999, FM	Toulouse	1999-09-20/24
1999		FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I	Toulouse
1998	8	International Symposium on Formal Methods FM 1998, FM, FM-Trends	Boppard	1998-10-07/09
1997	4	International Symposium on Formal Methods FM 1997, FME 1997, FME	Graz	1997-09-15/19
1996	6	International Symposium on Formal Methods FM 1996, FM, FME	Oxford	1996-03-18/22
1994	2	International Symposium of Formal Methods Europe FM, FME	Barcelona	1994-10-24/28
1994	2	International Symposium on Formal Methods FM 1994	Barcelona	1994-10-18/24
1993	1	International Symposium on Formal Methods FM 1993, FME 1993, FME	Odense	1993-04-19/23
1991		Formal Methods (FM) FM	Kingdom of the Netherlands	1991-10-21/25
1991		International Symposium of VDM Europe VDM	Kingdom of the Netherlands	1991-10-21/25
1991	4	VDM '91 - Formal Software Development, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991, Proceedings, Volume 1: Conference Contributions	Kingdom of the Netherlands
1990		Formal Methods (FM) FM	Kiel	1990-04-17/21
1990		International Symposium of VDM Europe VDM	Kiel	1990-04-17/21
1990		VDM '90, VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 VDM Europe 1990	Kiel	1990-04-17/21
1990		VDM '90, VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings	Kiel
1988		Formal Methods (FM) FM	Dublin	1988-09-11/16
1988		International Symposium of VDM Europe VDM	Dublin	1988-09-11/16
1988	2	VDM '88, VDM - The Way Ahead, 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988, Proceedings	Dublin
1987		Formal Methods (FM) FM	Brussels	1987-03-23/26
1987		International Symposium of VDM Europe VDM	Brussels	1987-03-23/26
1987		VDM '87, VDM - A Formal Method at Work, VDM-Europe Symposium, Brussels, Belgium, March 23-26, 1987, Proceedings	Brussels
1981		Formal Methods (FM) FM	Aarhus	1981-01-01
1981		Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981	Aarhus
1979		The Use of Formal Specification of Software, June 25-27, 1979, Berlin, Germany FM	Berlin	1979-06-25/27
1978		Formal Methods (FM) FM		1978-01-01
1978		The Vienna Development Method: The Meta-Language

The events on the map · in the search · calendar of coming events

Ratings

As the rating systems gave them at the date shown; a rating dataset keeps them as its source published them.

System	Value	Date	Dataset
CCF	B	2017-04-06	ratings-springer-lod
CORE	A	2017-04-06	ratings-springer-lod
GII-GRIN-SCIE	Am	2017-04-06	ratings-springer-lod
h5-index	19	2017	ratings-springer-lod · source
h5-median	35	2017	ratings-springer-lod · source
Qualis	Am	2017-04-06	ratings-springer-lod

Sources

The records of the sources that this identifier brings together (cr:sameAs).

Springer LOD (2018)	`http://lod.springer.com/data/confseries/fm`
confref portal (2020)	`https://id.confref.org/data/confref-portal/series/fm` `https://id.confref.org/data/confref-portal/series/vdm`
ConfIDent	`https://id.confref.org/data/confident/30717` · page
Wikidata	`http://www.wikidata.org/entity/Q105696839`
dblp	`https://dblp.org/streams/conf/fm`

Cite

International Symposium on Formal Methods. confref identifier s109pnb. https://id.confref.org/series/s109pnb

Data: Turtle · JSON-LD · N-Triples · RDF/XML

APIs · SPARQL · About the identifiers

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.