Calculemus 2005

12th Symposium on the Integration of
Symbolic Computation and Mechanized Reasoning

July 18-19, 2005


In conjunction with Formal Methods 2005
University of Newcastle upon Tyne, United Kingdom
July 18-22, 2005


Calculemus Symposia

  1. March 16-19, 1996 Rome, Italy.
  2. July 17, 1996 RISC, Castle Hagenberg, Austria, Workshop on IMACS ACA.
  3. November 18-20, 1996 Dagstuhl, Germany.
  4. April 28-30, 1997 IRST, Italy.
  5. September 24-26, 1997 Edinburgh, Scotland.
  6. July 13-15, 1998 Eindhoven, The Netherlands.
  7. July 5, 1999 Trento, Italy, (co-located with the Federated Logics Conference).
  8. August 6-7, 2000 St. Andrews, Scotland (collocated with ISAAC).
  9. June 21-22, 2001 Siena, Italy (collocated with IJCAR 2001).
  10. July 1-5, 2002 in Marseille Luminy, France (co-located with AISC-2002).
  11. September 10-12, 2003 Roma, Italy (co-located with TPHOLs 2003 and TABLEAUX 2003).
Note: In 2004, Calculemus was part of IJCAR 2004 (July 4-8, 2004 in Cork, Ireland).