From: Carsten Fuhs <c.fuhs@bbk.ac.uk>
To: types-announce@lists.seas.upenn.edu,
cl-isabelle-users@lists.cam.ac.uk, rewriting@ens-lyon.fr,
ProofTheory@Lists.Bath.Ac.UK, coq-club@inria.fr,
caml-list@inria.fr, clap@groupes.renater.fr, gt-scalp@gdr-ifm.fr,
SREPLS@JISCMAIL.AC.UK
Subject: [Caml-list] CALL FOR NOMINATION - FSCD Steering Committee Membership Election 2026
Date: Fri, 5 Jun 2026 10:42:29 +0100 [thread overview]
Message-ID: <3d77e25b-c4fa-4f7f-8040-d2aa4fd4a954@bbk.ac.uk> (raw)
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
reply other threads:[~2026-06-05 9:43 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=3d77e25b-c4fa-4f7f-8040-d2aa4fd4a954@bbk.ac.uk \
--to=c.fuhs@bbk.ac.uk \
--cc=ProofTheory@Lists.Bath.Ac.UK \
--cc=SREPLS@JISCMAIL.AC.UK \
--cc=caml-list@inria.fr \
--cc=cl-isabelle-users@lists.cam.ac.uk \
--cc=clap@groupes.renater.fr \
--cc=coq-club@inria.fr \
--cc=gt-scalp@gdr-ifm.fr \
--cc=rewriting@ens-lyon.fr \
--cc=types-announce@lists.seas.upenn.edu \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox