Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
* [Caml-list] CALL FOR NOMINATION - FSCD Steering Committee Membership Election 2026
@ 2026-06-05  9:42 Carsten Fuhs
  0 siblings, 0 replies; only message in thread
From: Carsten Fuhs @ 2026-06-05  9:42 UTC (permalink / raw)
  To: types-announce, cl-isabelle-users, rewriting, ProofTheory,
	coq-club, caml-list, clap, gt-scalp, SREPLS

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


^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2026-06-05  9:43 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2026-06-05  9:42 [Caml-list] CALL FOR NOMINATION - FSCD Steering Committee Membership Election 2026 Carsten Fuhs

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox