CICM Charter

0. Purpose

The Conference on Intelligent Computer Mathematics (CICM) is an organization and a conference dedicated to promoting the advancement of machine-supported reasoning, computation, and knowledge management in Science, Technology, Engineering, and Mathematics. CICM is the result of convergence of various research communities that organize a joint annual conference.

The purpose of this charter is to make explicit the consensus about the goals and organization of CICM.

This charter is not a legal document of any sort. If any legal documents or acts are necessary (e.g., with respect to finances), CICM members shall follow this charter as much as legally possible.

1. Members

The CICM membership roster is maintained via the CICM mailing list, and people can join and leave CICM by subscribing and unsubscribing. They also join CICM by attending a CICM conference.

2. Business Meeting

CICM takes decisions by democratic votes at the business meeting held at the annual CICM conference.

The business meeting

1. decides on charter changes,
2. receives reports and exculpates the SC and the treasurer,
3. receives reports from the conference chairs and the PC chairs,
4. advises the steering committee on the locations of upcoming CICM conferences,
5. appoints an election committee and nominates candidates for the election of SC members.

3. Steering Committee (SC)

The SC takes the CICM decisions between business meetings. The main task of the SC is to guarantee the continuity of CICM.

The SC consists of

1. the secretary,
2. the treasurer,
3. the PC chairs of the previous and the upcoming conferences,
4. one representative for each core track.

The SC

1. determines and reviews the set of core tracks after evaluating their viability and academic quality,
2. selects the conference chair(s) of upcoming conferences described in 7,
3. selects the programme co-chairs of upcoming conferences described in 6,
4. chooses additional tracks for upcoming conferences, for instance, for adjoining research areas or for systems, data, projects, surveys, etc.,
5. appoints additional officers, for instance, for publicity, workshops, or new potential tracks, who are non-voting guests in the SC,
6. decides on the use of surplus funds as governed by (5).

The secretary and the track representatives are elected by the CICM members in an online vote. Their terms of office begin with the election and end with the election three years afterwards. The treasurer is appointed by the SC.

In cases where a consensus cannot be reached, the SC decides by simple majority, where each vote of an elected SC member is counted twice. However, the termination of CICM and the distribution of the remaining funds requires a unanimous decision.

4. Secretary

The secretary

1. keeps the records of CICM and the SC, in particular the CICM membership roster,
2. coordinates the day-to-day work of the SC,
3. convenes and chairs the business meeting and the SC meetings.

5. Finances

Conference organizers are encouraged to plan for a modest surplus (10% of the overall budget) to be plowed back into the CICM funds. Surplus funds are maintained by CICM and primarily used to seed future CICM conferences and safeguard the conference chairs from indemnification. Surplus funds beyond this requirement are re-invested into the CICM community, for instance, in the form of prizes or student grants.

The treasurer keeps the financial records, manages the CICM accounts, and disburses funds according to the CICM charter.

CICM is itself a member of IfCoLog, which provides CICM with a tax-exempt account. Both the treasurer and the secretary have access to the IfCoLog account.

6. Programme Chairs

CICM conferences have two programme chairs. They decide jointly.

They are responsible for the overall organization and composition of the academic programme, may propose new tracks to the SC, select the CICM programme committee, and select the workshops and tutorials.

Each CICM conference has a single proceedings volume that contains the accepted formally refereed contributions from all tracks. The programme chairs are the editors of the proceedings.

The formal CICM proceedings are accompanied by informal proceedings for workshop, work-in-progress, and similar contributions.

7. Conference chairs

Each CICM conference has one or two conference chairs, who organize all aspects of the conference except for those mentioned in (6). In particular, they are responsible for local arrangements and the conference budget.

8. Initialization

Upon acceptance of this charter, the initial core tracks are

1. CALCULEMUS
2. Digital Mathematical Libraries (DML)
3. Mathematical Knowledge Management (MKM)

The ratification of this charter dissolves the present MKM and CALCULEMUS organizations. In particular, their charters and boards of trustees expire.

This charter replaces the CICM charter 2011-2015 which had the tracks as members.