CALL FOR NOMINATION - FSCD Steering Committee Membership Election 2026

Carsten Fuhs <[email protected]> Fri, 5 Jun 2026 10:42:29 +0100

Newsgroups	gmane.comp.lang.caml.inria,gmane.comp.science.types.announce,gmane.science.mathematics.logic.isabelle.user,gmane.science.mathematics.prooftheory,gmane.science.mathematics.logic.coq.club
Message-ID	<[email protected]>

Formal Structures for Computation and Deduction (FSCD)

Steering Committee Membership Election 2026

CALL FOR NOMINATION

The FSCD SC consists of the SC Chair, 6 elected members, PC Chairs of
the last 3 years, the Publicity Chair, Workshop Chair and former SC
Chair. Every year the outgoing elected SC members are replaced by new
members elected by a secret ballot. Each SC member normally serves for
3 years, unless exceptions apply (see the FSCD Rules of Business

https://fscd-conference.org/organization/rules-of-business/

for details). Note that past SC members are allowed to run for SC
membership again. The current steering committee composition, together
with the serving time for each member, is available here:

https://fscd-conference.org/organization/steering-committee/

Candidates for SC membership are requested to email the FSCD SC Chair
an election statement (including a brief bio) on one a4 page,
preferably in PDF, no later than

* Tuesday 30 June 2026 (AoE) *

The election statements will be posted on the FSCD webpage before the
start of FSCD 2026. The election will take place at the General
Meeting of FSCD 2026, 20-23 July 2026.

Patrick Baillot

patrick.baillot at univ-lille.fr

FSCD SC Chair