Formal Structures for Computation and Deduction (FSCD) is an annual conference.
The General Meeting (abbreviated GM in the sequel) is held during every conference. The GM is legal regardless of the number of attendees. All conference participants can attend and vote. Voting is open and by simple majority unless stated otherwise.
The FSCD SC consists of the SC Chair, 6 elected members and 3 former PC Chairs. Every year the SC is joined by the current PC Chair, and 2 new SC members are elected by a secret ballot. Each SC member normally serves for 3 years. Former PC co-chairs share a single vote.
Names of candidate for the SC should be submitted to the SC Chair two weeks before the conference and made available to participants prior to the conference.
The SC Chair is elected before every third conference from within the SC excluding the current and former SC chairs, and takes office after that conference. The SC Chair serves 3 years, and then becomes the former SC Chair and remains on the SC for the following 3 years.
The PC Chair is responsible for the scientific programme of the conference. The PC Chair is selected by the SC and presented to the GM in accordance with 3d. The PC Chair selects the remaining members of the PC.
The PC Chair cannot submit papers. A paper authored or co-authored by a PC member should be accepted only if it is well above the borderline and requires no serious discussion.
The organisation (including financials) of the conference is the sole responsibility of the CC, who selects the remaining members of the organising committee. Two years before the conference, the GM selects a proposal to host FSCD. The GM’s vote is advisory; the final decision is the responsibility of the SC.
Download the Rules of Business in (PDF) here