The Meetings of the CALCULEMUS Interest Group

Next Meeting: Calculemus 2011, along with CICM 2011 (location TBD)

Previous Calculemus meetings and symposia: 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.