Conference series Beta

International Workshop on Formal Methods for Industrial Critical Systems

FMICS

Events: 31 (1996 to 2026)
Website: https://fmics.inria.fr/
Academic field: Natural sciences: Mathematics, Computer and information sciences
Disciplines: computer science, formal methods
Identifier: https://id.confref.org/series/s109ps3

Events (31)

19962026

Year	No.	Event	Place	Date
2026	31	Formal Methods for Industrial Critical Systems - 31st International Conference, FMICS 2026, Liverpool, UK, September 3-4, 2026, Proceedings	Liverpool
2025	30	Formal Methods for Industrial Critical Systems - 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings	Aarhus
2024	29	Formal Methods for Industrial Critical Systems - 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings	Milan
2023	28	28th International Workshop on Formal Methods for Industrial Critical Systems FMICS 2023	Antwerp	2023-09-18/23
2022	27	27th International Workshop on Formal Methods for Industrial Critical Systems FMICS 2022	Warsaw	2022-09-14/15
2021	26	26th International Workshop on Formal Methods for Industrial Critical Systems FMICS 2021	Paris	2021-08-24/26
2020	25	25th International Workshop on Formal Methods for Industrial Critical Systems FMICS 2020	Vienna	2020-09-02/03
2019	24	24th International Workshop on Formal Methods for Industrial Critical Systems FMICS 2019, FMICS	Kingdom of the Netherlands	2019-08-30/31
2018	23	23rd International Workshop on Formal Methods for Industrial Critical Systems FMICS 2018, FMICS	Maynooth	2018-09-03/04
2017	22	22nd International Workshop on Formal Methods for Industrial Critical Systems FMICS 2017, FMICS	Turin	2017-09-18/20
2016	21	21st International Workshop on Formal Methods for Industrial Critical Systems FMICS 2016, FMICS	Pisa	2016-09-26/29
2015	20	20th International Workshop on Formal Methods for Industrial Critical Systems FMICS 2015, FMICS	Oslo	2015-06-22/23
2014	19	19th International Workshop on Formal Methods for Industrial Critical Systems FMICS 2014, FMICS	Florence	2014-09-11/12
2013	18	18th International Workshop on Formal Methods for Industrial Critical Systems FMICS 2013, FMICS	Madrid	2013-09-23/24
2012	17	17th International Workshop on Formal Methods for Industrial Critical Systems FMICS 2012, FMICS	Paris	2012-08-27/28
2011	16	16th International Workshop on Formal Methods for Industrial Critical Systems FMICS 2011, FMICS	Trento	2011-08-29/30
2010	15	15th International Workshop on Formal Methods for Industrial Critical Systems FMICS 2010, FMICS	Antwerp	2010-09-20/21
2009	14	14th International Workshop on Formal Methods for Industrial Critical Systems FMICS 2009, FMICS	Eindhoven	2009-11-02/03
2008	13	13th International Workshop on Formal Methods for Industrial Critical Systems FMICS 2008, FMICS	L'Aquila	2008-09-15/16
2007	12	12th International Workshop on Formal Methods for Industrial Critical Systems FMICS 2007, FMICS	Berlin	2007-07-01/02
2006	11	11th International Workshop on Formal Methods for Industrial Critical Systems FMICS 2006, FMICS	Bonn	2006-08-26/27
2005	10	10th International Workshop on Formal Methods for Industrial Critical Systems FMICS 2005, FMICS	Lisbon	2005-09-05/06
2004	9	9th International Workshop on Formal Methods for Industrial Critical Systems FMICS 2004, FMICS	Linz	2004-09-20/21
2003	8	8th International Workshop on Formal Methods for Industrial Critical Systems FMICS 2003, FMICS	Trondheim	2003-06-05/07
2002	7	7th International Workshop on Formal Methods for Industrial Critical Systems FMICS 2002	Málaga	2002-07-12/13
2001	6	6th International Workshop on Formal Methods for Industrial Critical Systems FMICS 2001	Paris	2001-07-16/17
2000	5	5th International Workshop on Formal Methods for Industrial Critical Systems FMICS 2000	Berlin	2000-04-03/04
1999	4	4th International Workshop on Formal Methods for Industrial Critical Systems FMICS 1999	Trento	1999-07-11/12
1998	3	3rd International Workshop on Formal Methods for Industrial Critical Systems FMICS 1998	Kingdom of the Netherlands	1998-05-25/26
1997	2	2nd International Workshop on Formal Methods for Industrial Critical Systems FMICS 1997	Cesena	1997-07-04/05
1996	1	1st International Workshop on Formal Methods for Industrial Critical Systems FMICS 1996	Oxford	1996-03-19

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	C	2017-04-06	ratings-springer-lod
GII-GRIN-SCIE	W	2017-04-06	ratings-springer-lod
Qualis	C	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/fmics`
confref portal (2020)	`https://id.confref.org/data/confref-portal/series/fmics`
ConfIDent	`https://id.confref.org/data/confident/31182` · page
Wikidata	`http://www.wikidata.org/entity/Q105696762`
dblp	`https://dblp.org/streams/conf/fmics`
GND	`https://d-nb.info/gnd/1092250344`

Cite

International Workshop on Formal Methods for Industrial Critical Systems. confref identifier s109ps3. https://id.confref.org/series/s109ps3

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.