The CALCULEMUS Interest Group