CALL FOR NOMINATION - FSCD Steering Committee Membership Election 2023

Carsten Fuhs <[email protected]> Mon, 12 Jun 2023 15:24:10 +0100

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

[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Formal Structures for Computation and Deduction (FSCD)

Steering Committee Membership Election 2023

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://urldefense.com/v3/__http://fscd-conference.org/organization/rules-of-business/__;!!IBzWLUs!TKwe4AcNIXDJvxuCD_Mlq03_TwUk_-vRv_MLGcul76JidsinH_TlXhBCLaVpxw-bfmpk5IIqb3YpyBrB9ChwpEjzp1YxG0Q1apC0$ 

for details). The current steering committee composition, together
with the serving time for each member, is available here:

https://urldefense.com/v3/__https://fscd-conference.org/organization/steering-committee/__;!!IBzWLUs!TKwe4AcNIXDJvxuCD_Mlq03_TwUk_-vRv_MLGcul76JidsinH_TlXhBCLaVpxw-bfmpk5IIqb3YpyBrB9ChwpEjzp1YxG6U8g0aT$ 

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

* Monday 26 June 2023 (AoE) *

The election statements will be posted on the FSCD webpage before the
start of FSCD 2023. The election will take place at the General
Meeting of FSCD 2023, 3-6 July 2023.

Herman Geuvers

herman at cs.ru.nl

FSCD SC Chair