Conference series Beta

International Conference on Integrated Formal Methods

IFM

Events: 23 (1999 to 2025)
Website: http://www.ifmconference.org
Academic field: Natural sciences: Mathematics, Computer and information sciences
Disciplines: computer science, formal methods
Identifier: https://id.confref.org/series/s10a0h7

Events (23)

19992025

Year	No.	Event	Place	Date
2025	20	Integrated Formal Methods - 20th International Conference, iFM 2025, Paris, France, November 19-21, 2025, Proceedings	Paris
2024	19	Integrated Formal Methods - 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings	Manchester
2023	18	iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings	Kingdom of the Netherlands
2022	17	International Conference on Integrated Formal Methods IFM 2022	Lugano	2022-06-07/10
2020	16	16th International Conference on Integrated Formal Methods IFM 2020	Lugano	2020-11-16/20
2019	15	15th International Conference on Integrated Formal Methods IFM 2019, IFM	Bergen	2019-12-02/06
2018	14	14th International Conference on Integrated Formal Methods IFM 2018, IFM	Maynooth	2018-09-05/07
2017	13	International Conference on Integrated Formal Methods IFM 2017, IFM	Turin	2017-09-20/22
2016		12th International Conference on Integrated Formal Methods IFM 2016	Reykjavík	2016-06-01/03
2016	12	International Conference on Integrated Formal Methods IFM	Reykjavík	2016-06-01/05
2016	12	International Conference on Integrated Formal Methods IFM 2016	Reykjavík	2016-06-01/05
2014	11	International Conference on Integrated Formal Methods IFM 2014, IFM	Bertinoro	2014-09-09/11
2013	10	International Conference on Integrated Formal Methods IFM 2013, IFM	Turku	2013-06-10/14
2012	9	International Conference on Integrated Formal Methods IFM 2012, IFM	Pisa	2012-06-18/21
2010	8	International Conference on Integrated Formal Methods IFM 2010, IFM	Nancy	2010-10-11/14
2009	7	International Conference on Integrated Formal Methods IFM 2009, IFM	Düsseldorf	2009-02-16/19
2007	6	International Conference on Integrated Formal Methods IFM 2007, IFM	Oxford	2007-07-02/05
2005	5	International Conference on Integrated Formal Methods IFM 2005, IFM	Eindhoven	2005-11-29 to 2005-12-02
2005		Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference, IFM Doctoral Symposium 2005, Eindhoven, The Netherlands, November 29, 2005	Kingdom of the Netherlands
2004	4	International Conference on Integrated Formal Methods IFM 2004, IFM	Canterbury	2004-04-04/07
2002	3	International Conference on Integrated Formal Methods IFM 2002, IFM	Turku	2002-05-15/18
2000		International Conference on Integrated Formal Methods IFM 2000, IFM	Schloss Dagstuhl – Leibniz Center for Informatics	2000-11-01/03
1999	1	International Conference on Integrated Formal Methods IFM 1999, IFM	York	1999-06-28/29

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
CORE	B	2017-04-06	ratings-springer-lod
GII-GRIN-SCIE	Bm	2017-04-06	ratings-springer-lod
h5-index	12	2017	ratings-springer-lod · source
h5-median	18	2017	ratings-springer-lod · source
Qualis	B	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/ifm`
confref portal (2020)	`https://id.confref.org/data/confref-portal/series/ifm`
ConfIDent	`https://id.confref.org/data/confident/1632` · page
Wikidata	`http://www.wikidata.org/entity/Q105693432`
dblp	`https://dblp.org/streams/conf/ifm`

Cite

International Conference on Integrated Formal Methods. confref identifier s10a0h7. https://id.confref.org/series/s10a0h7

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.