CALCULEMUS Charter

0. Purpose

The "CALCULEMUS interest group" (CALCULEMUS IG) is a group of individuals that share the common research interest of integrating computer algebra systems and deduction systems. It has an annual meeting, the CALCULEMUS Symposium.

The purpose of this charter is to make explicit the consensus about the purpose and organization of CALCULEMUS. It is not intended as a legal document of any sort.

1. Structure

The CALCULEMUS IG takes decisions by democratic votes on the annual business meeting held at the annual CALCULEMUS Symposium. It elects a board of trustees that take the decisions between the meetings and report to the business meeting of CALCULEMUS. The main task of the trustees is to guarantee the continuity of CALCULEMUS and to select the programme cochairs (see 4.) of the next meeting.

2. Board of Trustees

This board consists of six elected members and six ex-officio members (the programme chairs of the last two meetings and the upcoming one). All trustees serve terms of three years.

The elected members are proposed at the business meeting and an election by e-mail (using the STV counting method) is held no more than six weeks afterwards among the CALCULEMUS IG (see 3.). The term of the elected trustees begins with the election and ends with the election three years afterwards.

The programme co-chairs (see 4.) of the last two CALCULEMUS meetings and the upcoming meeting are trustees of CALCULEMUS. Their term begins at the business meeting, where their chairmanship is announced and ends at the business meeting three years later.

The trustees elect amongst themselves a secretary that keeps records and coordinates the day-to-day work of the board.

3. Membership

Membership gives the franchise for voting at the CALCULEMUS business meeting and for electing the trustees.

The CALCULEMUS Interest Group consists of individuals that have either attended a CALCULEMUS meeting or that have indicated in writing to the trustees that they would like to be members.

4. Balance

To ensure a balance between Computer Algebra and Deduction, the academic programme of the CALCULEMUS meeting will preferrably (this is the ideal situation that should be aimed for; reasonable exceptions are in order) be either

The programme (co-)chairs for the next meeting are always announced at the business meeting.

The CALCULEMUS meeting will try to colocate with one of the large computer algebra and deduction conferences. Unless serious reasons prevent this, colocation will alternate between the two directions on an annual basis.

5. Current Board of Trustees

The board of trustees consists of six senior members of CALCULEMUS and the programme co-chairs. The terms of the ex-officio trustees end as described in paragraph 2. (For the 2008-2009 year, no election was held. It was decided to extend the previous trustee's term for 1 year and then resume the 'normal' process). For 2011, there was a single Chair, with the other role being filled by the CICM General Chair (James Davenport, already a trustee). Thus the apparent 'hole'.

Elected Area Term Ex-officio Area Term
Stephen Watt CAS 2009 - 2012 Renaud Rioboo
(PC 2010)
CAS 2009 - 2012
Paul Jackson Ded 2009 - 2012 David Delahaye
(PC 2010)
Ded 2009 - 2012
Thierry Coquand Ded 2008 - 2011 Lucas Dixon
(PC 2009)
Ded 2008 - 2011
Marc Moreno Maza CAS 2008 - 2011 Jacques Carette
(PC 2009)
CAS 2008 - 2011
James Davenport CAS 2008 - 2011 William Farmer
(PC 2011)
Calculemus 2010 - 2013
Makarius Wenzel Ded 2008 - 2011

Former Trustees