The Meetings of the CALCULEMUS Interest Group

Calculemus 2006, July 7-8, Genova, Italy
(in conjunction with ISSAC 2006)

Previous Calculemus meetings and 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. 24 - 26 September 1997 Edinburgh, Scotland
  6. 13-15th July 1998 Eindhoven, The Netherlands
  7. July 5. 1999 Trento, Italy, (co-located with the Federated Logics Conference)
  8. 6 - 7. August 2000 St. Andrews, Scotland (collocated with ISAAC)
  9. June 21. - 22. 2001 Siena, Italy (collocated with the International Joint Conference on Automated Reasoning IJCAR)
  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)
  12. July 4-8, 2004 in Cork, Ireland (as part of IJCAR 2004)
  13. July 18-19, 2005 in Newcastle upon Tyne, UK (in conjunction with Formal Methods 2005)
  14. Calculemus 2006, July 7-8, Genova, Italy (in conjunction with ISSAC 2006)
The first five meetings were internal workshops of the CALCULEMUS consortium, which led to the CALCULEMUS IHP network. CALCULEMUS 6 was the first open workshop, it was co-located with UITP98 (User Interfaces for Theorem Provers).
Since 1999, the CALCULEMUS Interest Group has the tradition of co-locating in alternating years with a to ensure input from (and influence on) both communities. In 2002 the CALCULEMUS Interest Group had joined IJCAR for 2004.