The Meetings of the CALCULEMUS Interest Group
Next Meeting: Calculemus 2011, along with CICM 2011 (location TBD)
Previous Calculemus meetings and symposia:
- March 16 - 19, 1996 Rome, Italy
- July 17, 1996 RISC, Castle Hagenberg, Austria, Workshop on IMACS ACA
- November 18-20, 1996 Dagstuhl, Germany
- April 28-30, 1997 IRST,
Italy
- 24 - 26 September 1997 Edinburgh,
Scotland
- 13-15th July 1998 Eindhoven, The Netherlands
- July 5. 1999 Trento, Italy, (co-located with the
Federated Logics Conference)
- 6 - 7. August 2000 St. Andrews, Scotland (collocated
with ISAAC)
- June 21. - 22. 2001 Siena, Italy (collocated with the
International Joint Conference on Automated Reasoning IJCAR)
- July 1-5, 2002 in
Marseille Luminy, France (co-located with AISC-2002)
- September 10-12, 2003 Roma, Italy (co-located with TPHOLs 2003 and TABLEAUX 2003)
- July 4-8, 2004 in Cork, Ireland (as part of IJCAR 2004)
- July 18-19, 2005 in Newcastle upon Tyne, UK (in conjunction with Formal Methods 2005)
- July 7-8, 2006 in Genova, Italy
(in conjunction with ISSAC 2006)
- June 27-29, 2007 in Hagenberg, Austria
(co-located with MKM 2007)
- July 30- August 1, 2008, in Birmingham, UK
(as part of CICM 2008 where
James Davenport took
notes, including
minutes of the Calculemus business meeting).
- July 6-7, 2009 in Grand Bend, Ontario, Canada
(as part of CICM 2009 where
James Davenport also took
notes, including
minutes of the Calculemus business meeting).
- July 6-7, 2010 in Paris, France
(as part of CICM 2010 where
James Davenport again took
notes, including
minutes of the Calculemus business meeting).
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
- Deduction Conference (1999, 2001, 2003, 2005, 2007)
- Computer-Algebra conference (2000, 2002, 2006, 2008)
to ensure input from (and influence on) both communities.
In 2002 the CALCULEMUS Interest Group had joined IJCAR for 2004.