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

• two programme co-chairs, one with a primary background in computer algebra and one from deduction,
• one person (or more) that who has a primary background in both (once CALCULEMUS breeds such people).

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

• Julio Rubio (2008 - 2011, PC Co-Chair 2008)
• Manuel Kauers (2006 - 2009, PC Co-Chair 2007)
• Roy McCasland (2005 - 2009)
• Anna Bigatti (2005 - 2008, PC Co-Chair 2006)
• Freek Wiedijk (2004 - 2007, 2008 - 2010, PC Co-Chair 2008)
• Christoph Benzmüller (2003 - 2006, PC Co-Chair 2004)
• Jacques Carette (2004 - 2007, PC Co-Chair 2005)
• William Farmer (2003 - 2007, PC Co-Chair 2005)
• Andrzej Trybulec (2002 - 2005)
• Silvio Ranise (2002 - 2008, PC Co-Chair 2006)
• Thérèse Hardin (2002 - 2005, PC Co-Chair 2003)
• Renaud Rioboo (2002 - 2005, PC Co-Chair 2003, 2005 - 2008)
• James Davenport (2001 - 2004)
• Olga Caprotti (2001 - 2004, PC Co-Chair 2002)
• Volker Sorge (2001 - 2004, PC Co-Chair 2002, 2004 - 2008)
• Michael Beeson (2000 - 2003, 2003 - 2006)
• Wolfgang Windsteiger (2000 - 2003, PC Co-Chair 2008, 2006 - 2009)
• Steve Linton (2000 - 2003; PC Co-Chair 2001)
• Roberto Sebastiani (2000 - 2003; PC Co-Chair 2001, 2004 - 2007)
• Ursula Martin (1999 - 2002; initial trustee)
• Jörg Siekmann (1999 - 2002; initial trustee)
• Manfred Kerber (1999 - 2002, PC Co-Chair 2000)
• Michael Kohlhase (1999 - 2002, PC Co-Chair 2000, 2003-2006)
• Jacques Calmet (1999-2001; initial trustee)
• Fausto Giunchiglia (1999-2001; initial trustee)
• Tudor Jebelean (1999-2001; PC Co-Chair 1999)
• Alessandro Armando (1999-2001, 2002-2004; PC Co-Chair 1999)
• Bruno Buchberger (1999-2000; initial trustee)
• Alan Bundy (1999-2000; initial trustee)
• Henk Barendregt (1999-2000; PC Co-Chair 1998)
• Arjeh Cohen (1999-2000; PC Co-Chair 1998)