FSCD is governed by a steering committee as set out in the FSCD Rules of Business.
Formal Structures for Computation and Deduction (FSCD) is an annual conference.
The General Meeting (abbreviated GM in the sequel) is held during every conference. GM is legal no matter how many participants attend. All participants can attend and vote. Voting is open unless stated otherwise.
The agenda of GM includes at least the following items:
Report of the PC (Program Committe) Chair;
Report of the organizers;
Election of new SC (Steering Committee) members as defined in 4;
Presentation of the PC Chair for FSCD+1, according to 8;
Presentation of and selection of CC (conference chair) and proposals to organize FSCD+2 as defined in 10;
Publication policy (at least once every 5 years).
The Steering Committe (abbreviated SC) of FSCD consists of the SC Chair, one former 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 candidates for 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 the 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 three years.
The SC is responsible for the following tasks:
To select the PC chair, according to 8;
To solicit proposals for the organization of FSCD in the future;
Call and preside over the GM;
To solicit nominations for SC as defined in 5;
To solicit nominations for FSCD+2 organization as detailed in 10;
To select the Publicity Chair.
The PC chair is responsible for the scientific program of the conference. The PC chair is selected by the SC and presented to the GM as defined in 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 organization (including financials) of the conference is the sole responsibility of the CC, who selects the remaining members of the organizing committee. The CC is elected at the GM two years before the conference. The final decision is the responsibility of the SC, who must respect the choice of GM.
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.
The composition of the SC in the initial period 2015-2020 is defined in the Appendix.
These rules are effective during the period 2015-17. The SC will prepare a final proposal of the rules for the 2017 meeting.
We start FSCD with the following ”bootstrap” measures to get the conference rolling:
The initial SC of the FSCD conference is populated as follows:
(a) The three past PC chair slots are filled with past PC chairs for RTA+TLCA: • Femke van Raamsdonk, Masahito Hasegawa (with co-chair status) until 2016; • Gilles Dowek until 2017; • Maribel Fernandez, Thorsten Altenkirch (with co-chair status) until 2018.
(b) The former SC chair slot is filled by the SC chairs of RTA and TLCA but with the special provision that they cannot vote in the SC.
(c) The RTA SC selects three initial members to seed three elected positions, explicitly managed as if elected in 2013, 2014, and 2015 (with one for each).
(d) The TLCA SC selects three initial members to seed three elected positions, explicitly managed as if elected in 2013, 2014, and 2015 (with one for each).
(e) The SC selects its first SC chair at its first meeting; the first SC chair may be chosen from outside the SC.
The first FSCD conference will be in 2016, with (a) PC co-chairs: Delia Kesner (Paris) and Brigitte Pientka (McGill); (b) Conference Chair: Sandra Alves (Porto).