Rules of Business


  1. Formal Structures for Computation and Deduction (FSCD) is an annual conference.

  2. 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.

  3. The agenda of the GM includes the following:
    1. Report of the Programme Committee (PC) Chair;
    2. Report of the Conference Chair (CC);
    3. Election of new Steering Committee (SC) members as defined in 4;
    4. Presentation of the PC Chair for FSCD+1, according to 8;
    5. Presentation and selection of proposals to organise FSCD+2 as defined in 10;
    6. Publication policy (at least once every 5 years).


  4. 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.

  5. 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.

  6. 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.

  7. The SC is responsible for the following tasks:
    1. Select the PC Chair, according to 8;
    2. Solicit proposals for the organisation of future FSCD conferences;
    3. Call and preside over the GM;
    4. Solicit nominations for SC as defined in 5;
    5. Solicit nominations for FSCD+2 organisation as detailed in 10;
    6. Select the Publicity Chair.


  8. 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.

  9. 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.

  10. 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.

  11. The Publicity Chair is responsible for advertising and other issues concerning publicity of the conference, in particular keeping a record of all relevant data and maintaining the conference webpage.

Download the Rules of Business in (PDF) here