Conference series Beta

Conference on Intelligent Computer Mathematics

CICM

Events: 33 (2003 to 2026)
Website: https://cicm-conference.org/cicm.php
Academic field: Natural sciences: Mathematics, Computer and information sciences
Disciplines: computational mathematics, computer science, mathematics
Identifier: https://id.confref.org/series/s10a9mr

Events (33)

20032026

Year	No.	Event	Place	Date
2026	19	Intelligent Computer Mathematics - 19th International Conference, CICM 2026, Ljubljana, Slovenia, September 21-25, 2026, Proceedings	Ljubljana
2025	18	18th Conference on Intelligent Computer Mathematics CICM 2025	Brasília	2025-10-06/11
2024	17	17th Conference on Intelligent Computer Mathematics CICM 2024	Montreal	2024-08-05/09
2023	16	Intelligent Computer Mathematics - 16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023, Proceedings	Cambridge
2022	15	Intelligent Computer Mathematics - 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19-23, 2022, Proceedings	Tbilisi
2021	14	Intelligent Computer Mathematics - 14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021, Proceedings	Timișoara
2021	14	Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Virtual Event, Timisoara, Romania, July 26 - 31, 2021.	Timișoara
2020	13	Intelligent Computer Mathematics - 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings	Bertinoro
2019		Intelligent Computer Mathematics / Mathematical Knowledge Management MKM	Prague	2019-07-08/12
2019	12	Intelligent Computer Mathematics - 12th International Conference, CICM 2019, Prague, Czech Republic, July 8-12, 2019, Proceedings	Prague
2019	12	Joint Proceedings of the FMM and LML Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2019 co-located with the 12th Conference on Intelligent Computer Mathematics (CICM 2019), Prague, Czech Republic, July 8-12, 2019.	Prague
2018		Intelligent Computer Mathematics / Mathematical Knowledge Management MKM	Hagenberg im Mühlkreis	2018-08-13/17
2018	11	Intelligent Computer Mathematics - 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings	Hagenberg im Mühlkreis
2018	11	Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018.	Hagenberg im Mühlkreis
2017	10	International Conference on Intelligent Computer Mathematics CICM, MKM	Edinburgh	2017-07-17/21
2016	9	International Conference on Intelligent Computer Mathematics CICM 2016, CICM, MKM	Białystok	2016-07-25/29
2015	8	Conferences on Intelligent Computer Mathematics CICM 2015, CICM, MKM	Washington, D.C.	2015-07-13/17
2015		CICM 2015 - Informal Work in Progress Proceedings, Washington, DC, USA, July 13-17, 2015	Washington, D.C.
2014	7	International Conference on Intelligent Computer Mathematics CICM, MKM	Coimbra	2014-07-07/11
2014		Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014), Coimbra, Portugal, July 7-11, 2014.	Coimbra
2013		International Conference on Intelligent Computer Mathematics CICM, MKM, MKM/Calculemus/DML 2013	Bath	2013-07-08/12
2013		Joint Proceedings of the MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at CICM, Bath, UK	Bath
2012		International Conference on Intelligent Computer Mathematics AISC, CICM, MKM/AISC/Calculemus 2012	Bremen	2012-07-08/13
2011	4	International Conference on Intelligent Computer Mathematics CICM, MKM	Bertinoro	2011-07-18/23
2010		International Conference on Intelligent Computer Mathematics AISC, CICM, MKM	Paris	2010-07-05/10
2009		International Conference on Intelligent Computer Mathematics CICM, MKM, MKM/Calculemus 2009	Grand Bend	2009-07-06/12
2008		International Conference on Intelligent Computer Mathematics AISC, CICM, MKM	Birmingham	2008-07-28 to 2008-08-01
2007	14	Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings MKM	Hagenberg im Mühlkreis	2007-06-27/30
2006	5	International Conference on Mathematical Knowledge Management MKM	Wokingham	2006-08-11/12
2005	4	International Conference on Mathematical Knowledge Management MKM	Bremen	2005-07-15/17
2004	3	International Conference on Mathematical Knowledge Management MKM	Białowieża Forest	2004-09-19/21
2003	2	International Conference on Mathematical Knowledge Management MKM	Bertinoro	2003-02-16/18
2003		Proceedings of the Mathematical Knowledge Management Symposium, MKM Symposium 2003, Edinburgh, UK, November 25-29, 2003	Edinburgh

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
h5-index	15	2017	ratings-springer-lod · source
h5-median	18	2017	ratings-springer-lod · source
Qualis	Bm	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/mkm`
confref portal (2020)	`https://id.confref.org/data/confref-portal/series/mkm`
ConfIDent	`https://id.confref.org/data/confident/50301` · page
Wikidata	`http://www.wikidata.org/entity/Q105699862`
dblp	`https://dblp.org/streams/conf/mkm`
GND	`https://d-nb.info/gnd/1092408177`

Cite

Conference on Intelligent Computer Mathematics. confref identifier s10a9mr. https://id.confref.org/series/s10a9mr

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.