Conference series Beta

International Conference on Formal Modeling and Analysis of Timed Systems

FORMATS

Events: 21 (2003 to 2023)
Academic field: Natural sciences: Computer and information sciences
Disciplines: computer science
Identifier: https://id.confref.org/series/s109q5b

Events (21)

20032023

Year	No.	Event	Place	Date
2023	21	Formal Modeling and Analysis of Timed Systems - 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings	Antwerp
2022	20	Formal Modeling and Analysis of Timed Systems - 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings	Warsaw
2021	19	Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings	Paris
2020	18	Formal Modeling and Analysis of Timed Systems - 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings	Vienna
2019	17	Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings FORMATS	Kingdom of the Netherlands	2019-08-27/29
2018	16	Formal Modeling and Analysis of Timed Systems - 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings FORMATS	Beijing	2018-09-04/06
2017	15	International Conference on Formal Modeling and Analysis of Timed Systems FORMATS 2017, FORMATS	Berlin	2017-09-05/07
2016	14	International Conference on Formal Modeling and Analysis of Timed Systems FORMATS	Quebec City	2016-08-24/26
2015	13	International Conference on Formal Modeling and Analysis of Timed Systems FORMATS	Madrid	2015-09-02/04
2014	12	International Conference on Formal Modeling and Analysis of Timed Systems FORMATS	Florence	2014-09-08/10
2013	11	International Conference on Formal Modeling and Analysis of Timed Systems FORMATS 2013, FORMATS	Buenos Aires	2013-08-29/31
2012	10	International Conference on Formal Modeling and Analysis of Timed Systems FORMATS	London	2012-09-18/20
2011	9	International Conference on Formal Modeling and Analysis of Timed Systems FORMATS	Aalborg	2011-09-21/23
2010	8	International Conference on Formal Modeling and Analysis of Timed Systems FORMATS 2010, FORMATS	Klosterneuburg	2010-09-08/10
2009	7	International Conference on Formal Modeling and Analysis of Timed Systems FORMATS 2009, FORMATS	Budapest	2009-09-14/16
2008	6	International Conference on Formal Modeling and Analysis of Timed Systems FORMATS	Saint-Malo	2008-09-15/17
2007	5	International Conference on Formal Modeling and Analysis of Timed Systems FORMATS 2007, FORMATS	Salzburg	2007-10-03/05
2006	4	International Conference on Formal Modeling and Analysis of Timed Systems FORMATS 2006, FORMATS	Paris	2006-09-25/27
2005	3	International Conference on Formal Modeling and Analysis of Timed Systems FORMATS 2005, FORMATS	Uppsala	2005-09-26/28
2004		Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings FORMATS, FTRTFT	Grenoble	2004-09-22/24
2003	1	International Conference on Formal Modeling and Analysis of Timed Systems FORMATS	Marseille	2003-09-06/07

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
GII-GRIN-SCIE	W	2017-04-06	ratings-springer-lod
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/formats`
confref portal (2020)	`https://id.confref.org/data/confref-portal/series/formats`
Wikidata	`http://www.wikidata.org/entity/Q105696666`
dblp	`https://dblp.org/streams/conf/formats`
GND	`https://d-nb.info/gnd/109232609X`

Cite

International Conference on Formal Modeling and Analysis of Timed Systems. confref identifier s109q5b. https://id.confref.org/series/s109q5b

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.