Conference series Beta
Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus)
Calculemus
- Events
- 5 (1999 to 2013)
- Academic field
- Natural sciences: Computer and information sciences
- Disciplines
- computer science
- Identifier
https://id.confref.org/series/s10dcpb
Events (5)
19992013
| Year | No. | Event | Place | Date |
|---|---|---|---|---|
| 2013 | International Conference on Intelligent Computer Mathematics CICM, MKM, MKM/Calculemus/DML 2013 | Bath | 2013-07-08/12 | |
| 2012 | International Conference on Intelligent Computer Mathematics AISC, CICM, MKM/AISC/Calculemus 2012 | Bremen | 2012-07-08/13 | |
| 2009 | International Conference on Intelligent Computer Mathematics CICM, MKM, MKM/Calculemus 2009 | Grand Bend | 2009-07-06/12 | |
| 2005 | 12 | Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2005, Newcastle-upon-Tyne, UK, July 18-19, 2005 Calculemus 2005 | Newcastle upon Tyne | 2005-07-18/19 |
| 1999 | Systems for Integrated Computation and Deduction, CALCULEMUS 1999, associated to FLoC '99, the 1999 Federated Logic Conference, Trento, Italy, July 11-12, 1999 | Trento |
The events on the map · in the search · calendar of coming events
Sources
The records of the sources that this identifier brings together (cr:sameAs).
| Wikidata | |
|---|---|
| dblp |
Cite
Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus). confref identifier s10dcpb. https://id.confref.org/series/s10dcpb
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.