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.
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.
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.
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.
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.
The initial 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.
| initial/elected trustees | Area | Term | 6 ex-officio trustees | Area | Term |
|---|---|---|---|---|---|
| Michael Kohlhase | Ded | 2003 - 2006 | Christoph Benzmüller (PC 2004) | Ded | 2003 - 2006 |
| Freek Wiedijk | Ded | 2004 - 2007 | Wolfgang Windsteiger (PC 2004) | CAS | 2003 - 2006 |
| Roberto Sebastiani | Ded | 2004 - 2007 | William Farmer (PC 2005) | CAS | 2003 - 2007 |
| Volker Sorge | Ded | 2004 - 2007 | Jacques Carette (PC 2005) | CAS | 2004 - 2007 |
| Renaud Rioboo | CAS | 2005 - 2008 | Silvio Ranise (PC 2006) | Ded | 2005 - 2008 |
| Roy McCasland | Ded | 2005 - 2008 | Anna Bigatti (PC 2006) | CAS | 2005 - 2008 |