Conference series Beta

International Conference on Software Engineering and Formal Methods

SEFM

Events: 34 (2003 to 2025)
Academic field: Natural sciences: Mathematics, Computer and information sciences
Disciplines: computer science, formal methods, software engineering
Identifier: https://id.confref.org/series/s10aja4

Events (34)

20032025

Year	No.	Event	Place	Date
2025	23	Software Engineering and Formal Methods - 23rd International Conference, SEFM 2025, Toledo, Spain, November 10-14, 2025, Proceedings	Toledo
2024	22	Software Engineering and Formal Methods - 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings	Aveiro
2024		Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops - ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers	Aveiro
2023	21	21st International Conference on Software Engineering and Formal Methods SEFM 2023	Kingdom of the Netherlands	2023-11-06/10
2023		Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops - CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers	Kingdom of the Netherlands
2022	20	20th International Conference on Software Engineering and Formal Methods SEFM 2022	Berlin	2022-09-26/30
2022		Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops - AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers	Berlin
2021	19	19th International Conference on Software Engineering and Formal Methods SEFM 2021		2021-12-06/10
2021		Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers
2020	18	18th International Conference on Software Engineering and Formal Methods SEFM 2020	Kingdom of the Netherlands	2020-09-14/18
2020		Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers	Kingdom of the Netherlands
2019	17	17th International Conference on Software Engineering and Formal Methods SEFM 2019, SEFM	Oslo	2019-09-16/20
2019		Software Engineering and Formal Methods - SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers	Oslo
2018	16	16th International Conference on Software Engineering and Formal Methods SEFM 2018, SEFM	Toulouse	2018-06-27/29
2017	15	International Conference on Software Engineering and Formal Methods SEFM	Trento	2017-09-04/08
2017		Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers	Trento
2016	14	International Conference on Software Engineering and Formal Methods SEFM	Vienna	2016-07-04/08
2015	13	International Conference on Software Engineering and Formal Methods SEFM	York	2015-09-07/08
2015		Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015, Revised Selected Papers	York
2014	12	International Conference on Software Engineering and Formal Methods SEFM	Grenoble	2014-09-01/05
2014		Software Engineering and Formal Methods - SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers	Grenoble
2013	11	International Conference on Software Engineering and Formal Methods SEFM	Madrid	2013-09-23/27
2013		Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers	Madrid
2012	10	International Conference on Software Engineering and Formal Methods SEFM	Thessaloniki	2012-10-01/05
2012		Information Technology and Open Source: Applications for Education, Innovation, and Sustainability - SEFM 2012 Satellite Events, InSuEdu, MoKMaDS, and OpenCert, Thessaloniki, Greece, October 1-2, 2012, Revised Selected Papers	Thessaloniki
2011	9	International Conference on Software Engineering and Formal Methods SEFM	Montevideo	2011-11-14/18
2010	8	8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, Pisa, Italy, 13-18 September 2010 SEFM	Pisa	2010-09-13/18
2009		Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009 SEFM	Hanoi	2009-11-23/27
2008		Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008 SEFM	Cape Town	2008-11-10/14
2007	5	5th IEEE International Conference on Software Engineering and Formal Methods SEFM 2007, SEFM	London	2007-09-10/14
2006		Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 11-15 September 2006, Pune, India SEFM	Pune	2006-09-11/15
2005		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany SEFM	Koblenz	2005-09-07/09
2004	2	2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China SEFM	Beijing	2004-09-28/30
2003	1	1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 22-27 September 2003, Brisbane, Australia SEFM	Brisbane	2003-09-22/27

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	15	2017	ratings-springer-lod · source
h5-median	17	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/sefm`
confref portal (2020)	`https://id.confref.org/data/confref-portal/series/sefm`
ConfIDent	`https://id.confref.org/data/confident/1989` · page
Wikidata	`http://www.wikidata.org/entity/Q6049679`
dblp	`https://dblp.org/streams/conf/sefm`

Cite

International Conference on Software Engineering and Formal Methods. confref identifier s10aja4. https://id.confref.org/series/s10aja4

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.