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