Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] CALL FOR NOMINATION - FSCD Steering Committee ...


view this post on Zulip Email Gateway (Jun 12 2023 at 14:24):

From: Carsten Fuhs <carsten@dcs.bbk.ac.uk>
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

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

for details). 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

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


Last updated: Apr 28 2024 at 20:16 UTC