Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus)

> Home > Conferences and Workshops

Venue statistics

records by year

document access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

frequent authors

Venue Information

is part of (1999): Federated Logic Conference (FLoC)

20th Calculemus 2013: Bath, UK

- view
  authority control:
- export record
  dblp key:
  - conf/mkm/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/2013
Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger:
Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings. Lecture Notes in Computer Science 7961, Springer 2013, ISBN 978-3-642-39319-8 [contents]

19th Calculemus 2012: Bremen, Germany

- view
  authority control:
- export record
  dblp key:
  - conf/aisc/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aisc/2012
Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge:
Intelligent Computer Mathematics - 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings. Lecture Notes in Computer Science 7362, Springer 2012, ISBN 978-3-642-31373-8 [contents]

18th Calculemus 2011: Bertinoro, Italy

- view
  authority control:
- export record
  dblp key:
  - conf/mkm/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/2011
James H. Davenport, William M. Farmer, Josef Urban, Florian Rabe:
Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings. Lecture Notes in Computer Science 6824, Springer 2011, ISBN 978-3-642-22672-4 [contents]

17th Calculemus 2010: Paris, France

- view
  authority control:
- export record
  dblp key:
  - conf/aisc/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aisc/2010
Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton:
Intelligent Computer Mathematics, 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings. Lecture Notes in Computer Science 6167, Springer 2010, ISBN 978-3-642-14127-0 [contents]

16th Calculemus 2009: Grand Bend, Canada

- view
  authority control:
- export record
  dblp key:
  - conf/mkm/2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/2009
Jacques Carette, Lucas Dixon, Claudio Sacerdoti Coen, Stephen M. Watt:
Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings. Lecture Notes in Computer Science 5625, Springer 2009, ISBN 978-3-642-02613-3 [contents]

15th Calculemus 2008: Birmingham, UK

- view
  authority control:
- export record
  dblp key:
  - conf/aisc/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aisc/2008
Serge Autexier, John A. Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk:
Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings. Lecture Notes in Computer Science 5144, Springer 2008, ISBN 978-3-540-85109-7 [contents]

14th Calculemus 2007: Hagenberg, Austria

- view
  authority control:
- export record
  dblp key:
  - conf/mkm/2007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/2007
Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger:
Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings. Lecture Notes in Computer Science 4573, Springer 2007, ISBN 978-3-540-73083-5 [contents]

12th Calculemus 2005: Newcastle-upon-Tyne, UK

- view
- export record
  dblp key:
  - conf/calculemus/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calculemus/2005
Jacques Carette, William M. Farmer:
Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2005, Newcastle-upon-Tyne, UK, July 18-19, 2005. Electronic Notes in Theoretical Computer Science 151(1), Elsevier 2006 [contents]

Calculemus 1999: Trento, Italy

- view
- export record
  dblp key:
  - conf/calculemus/1999
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calculemus/1999
Alessandro Armando, Tudor Jebelean:
Systems for Integrated Computation and Deduction, CALCULEMUS 1999, associated to FLoC '99, the 1999 Federated Logic Conference, Trento, Italy, July 11-12, 1999. Electronic Notes in Theoretical Computer Science 23(3), Elsevier 1999 [contents]

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.