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
- 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.
- September 24-26, 1997 Edinburgh,
Scotland.
- July 13-15, 1998 Eindhoven, The
Netherlands.
- July 5, 1999 Trento, Italy, (co-located
with the Federated Logics Conference).
- August 6-7, 2000 St. Andrews,
Scotland (collocated with ISAAC).
- June 21-22, 2001 Siena, Italy
(collocated with IJCAR
2001).
- 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).
Note: In 2004, Calculemus was part of IJCAR 2004 (July 4-8, 2004 in Cork,
Ireland).