Conference series Beta

International Symposium on Frontiers of Combining Systems

FroCoS

Events: 25 (1996 to 2025)
Academic field: Natural sciences: Computer and information sciences
Disciplines: computer science
Identifier: https://id.confref.org/series/s109qes

Events (25)

19962025

Year	No.	Event	Place	Date
2025	15	Frontiers of Combining Systems - 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 - October 1, 2025, Proceedings	Reykjavík
2023	14	Frontiers of Combining Systems - 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings	Prague
2021	13	Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings	Birmingham
2019	12	Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings FROCOS	London	2019-09-04/06
2018		Frontiers of Combining Systems (FroCoS) FROCOS	Oxford	2018-07-14/17
2018		International Joint Conference on Automated Reasoning IJCAR	Oxford	2018-07-14/17
2017	11	International Symposium on Frontiers of Combining Systems FroCoS	Brasília	2017-09-27/29
2016	8	International Joint Conference on Automated Reasoning FROCOS, IJCAR 2016, IJCAR	Coimbra	2016-06-27 to 2016-07-02
2015	10	International Symposium on Frontiers of Combining Systems FROCOS	Wrocław	2015-09-21/24
2014	7	International Joint Conference on Automated Reasoning FROCOS, IJCAR	Vienna	2014-07-19/22
2013	9	International Symposium on Frontiers of Combining Systems FroCoS 2013, FroCoS	Nancy	2013-09-18/20
2012	6	International Joint Conference on Automated Reasoning FROCOS, IJCAR 2012, IJCAR	Manchester	2012-06-26/29
2011	8	International Symposium on Frontiers of Combining Systems FroCoS	Saarbrücken	2011-10-05/07
2010	5	International Joint Conference on Automated Reasoning FROCOS, IJCAR 2010, IJCAR	Edinburgh	2010-07-16/19
2009	7	International Symposium on Frontiers of Combining Systems FroCoS	Trento	2009-09-16/18
2008	4	International Joint Conference on Automated Reasoning FROCOS, IJCAR 2008, IJCAR	Sydney	2008-08-12/15
2007	6	International Symposium on Frontiers of Combining Systems FroCoS 2007, FroCoS	Liverpool	2007-09-10/12
2006	3	International Joint Conference on Automated Reasoning FROCOS, IJCAR	Seattle	2006-08-17/20
2005	5	International Workshop on Frontiers of Combining Systems FroCoS	Vienna	2005-09-19/21
2004	2	International Joint Conference on Automated Reasoning FROCOS, IJCAR	Cork	2004-07-04/08
2002	4	International Workshop on Frontiers of Combining Systems FroCoS	Santa Margherita Ligure	2002-04-08/10
2001	1	International Joint Conference on Automated Reasoning IJCAR	Siena	2001-06-18/23
2000	3	International Workshop on Frontiers of Combining Systems FroCoS	Nancy	2000-03-22/24
1998		Frontiers of Combining Systems, Second International Workshop, FroCoS 1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings FROCOS	Kingdom of the Netherlands	1998-01-01
1996		Frontiers of Combining Systems, First International Workshop FroCoS 1996, Munich, Germany, March 26-29, 1996, Proceedings FROCOS	Munich	1996-03-26/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
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/frocos`
confref portal (2020)	`https://id.confref.org/data/confref-portal/series/frocos` `https://id.confref.org/data/confref-portal/series/ijcar`
Wikidata	`http://www.wikidata.org/entity/Q105696732`
dblp	`https://dblp.org/streams/conf/frocos`
GND	`https://d-nb.info/gnd/109204096X`

Cite

International Symposium on Frontiers of Combining Systems. confref identifier s109qes. https://id.confref.org/series/s109qes

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.