coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] CALL FOR NOMINATION - FSCD Steering Committee Membership Election 2024
Chronological Thread
- From: Carsten Fuhs <c.fuhs AT bbk.ac.uk>
- To: <cl-isabelle-users AT lists.cam.ac.uk>, <types-announce AT lists.seas.upenn.edu>, <rewriting AT ens-lyon.fr>, <ProofTheory AT Lists.Bath.Ac.UK>, <coq-club AT inria.fr>, <caml-list AT inria.fr>, <clap AT groupes.renater.fr>
- Subject: [Coq-Club] CALL FOR NOMINATION - FSCD Steering Committee Membership Election 2024
- Date: Fri, 24 May 2024 11:51:48 +0100
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=bbk.ac.uk; dmarc=pass action=none header.from=bbk.ac.uk; dkim=pass header.d=bbk.ac.uk; arc=none
- Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=2B1D5FYy6sJlWwyhC3IEMNOXMGE/P5N0Sj2ZTaXRFc4=; b=Et71xPHgNX67QEUN0wGJjBcRSQYxOz80wupfzpPfB4JiVk1O/fpsePmnfs4XBj/mml9wOLwg5glaFWtKc83sXH+Okh0ijRCe1vdNAizG6x7JOaLzx3MtOk1FPPmLyVVATnVz22Ft/SpzDwgS8x2vmCWVbdRVY1ipWkNxc2tPyBsKSDZ+P1mS0+AF/6imyQi5AaVFzuq9SFjzt9V3/F9S80TxZLZehfhFp7SbVytrYo+9jJOpsVeyltLjxjJymAJbBVeIxiDz3shn4Rv5YJeY2EMsbRaz6Js/3+7FoEHEMQmzSKUgGT2WvmBjn6gPl3Un+qMe4P2LSmVeMUmcL7+cZw==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=l7CBoL8QAVyisaRF81dXbCeveo1+FubJqHR8S7L3WD2OFaI5YZ3A4h0KHhjCrrRocBnw8aJ500bwRNuLyvOPESSxPPRtLq2iDTnPJyLf423OXe17bhVYipBVFDQbnnC+6wbe5okHBKCs/yEMOGAyKNKuPvXZlFoOWRyjxZxRbFubfRDxFnvLz5X5od2I5G9fpgkKMTcLM0HfkcOD6cF5vSgcCfP4lodQ3dndci/etBy4+SXPDH85/z7DVVtIl8gzWmSLuHfLYxlK2hgTpfv3EtJxtAVDBaV9hRl8reII/2oiG0fq5hMMH5RjYySfalzGwnRW+2QLPiqY/XzaxJPRPQ==
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=c.fuhs AT bbk.ac.uk; spf=Pass smtp.mailfrom=c.fuhs AT bbk.ac.uk; spf=None smtp.helo=postmaster AT egress-ip19a.ess.uk.barracuda.com
- Ironport-data: A9a23:VR7xFq//BCrc5y6k8XWWDrUDMnqTJUtcMsCJ2f8bNWPcYEJGY0x3z zdJXGCFOKvYYGWge411bojj9UIDv8SHmIIxTQM/rntEQiMRo6IpJ/zJdxaqZ3v6wu7rFR88s Z1GMrEsCOhuExcwcz/0auCJQUFUjP3OHPymYAL9EngZbRd+Tys8gg5Ulec8g4p56fC0GArlV ena+qUzA3f7nWYkWo4ow/jb8k834a6u4GlwUmEWPJingneOzxH5M7pEfcldH1OgKqFIE+izQ fr0zb3R1gs1KD9wYj8Nuu+TnnwiGtY+DyDW4pZlc/TKbix5m8AH+v1T2Mzwxqtgo27hc9hZk L2hvHErIOsjFvWkdO81C3G0H8ziVEHvFXCuzXWX6KSuI0P6n3TE/dRLNmIcP6Akpu8qDV1E7 tgYcmA0V0XW7w626OrTpuhEi8s5IdLweYIH4yBpizzCFrA7QtbJSr/Q7NRF0D52jcdLdRrcT 5NJL2M0N1KZOEMJYw5LYH49tL/Aan3XeHtWtVKOjaA94C7ax0ps09ABNfKFJYzaHpoIzy50o Erc8n2gJTgqBuexxBXa3GiFqO/InDnSDdd6+LqQraI13gTJnwT/EiY+Xlyi5PK9l0SWQMNaM 0VS+yw0rKF0+lbDZtL0Whn9pH+fojYHSt9IGqs77huMw+za+W6k6nMsQzFbZcc98c4uHG0jk FKShJX0BnpluaePQHmA+r7SpjS3UcQIEYMcTRElaDEmydvOnN060x7zRM1HEPTlt+SgTFkc3 Au2hCQ5grwSi+sC2KO64U3LjlqQSn7hEVZdCuL/ATrN0+9pWLNJcbBE/nD0x559wGuxQ1abs WMf3smGtbEHS5yWj2qQQ6MHFauz7v2YPDSaillqd3XAy9hP0yH+FWyzyGAWyKJV3iAsJWCBj Kj75V052XOrFCH2BZKbmqroYyjQ8YDuFM7+StffZcdUb556eWevpX43OxLAjjm8yhBwzMnT3 Kt3l+78Uh727ow3k1KLqxs1juRyrszD7TyNGcmnkE7/uVZgTCLPEO9ZaDNikdzVHIvf/FqLq owGXyd74xxaWf/5ZGHL/IUTK1cOKnc6CIu+qspcMIa+zvlOSQkc5wvq6ep5IeRNxvwF/s+Rp yHVchEDkjLX2yaYQThmn1g5M9sDq74j9S1kVcHtVH70s0UejXGHsvdPLcNpIeh9nAGhpNYtJ 8Q4lwy7KqwnYlz6F/41NvERdaQzJE75thHEJCe/fjk0crhpQgGDqJeufRLi+GNKRmC7vNc36 e/onA7KY4sxdyI7BubvadWr0wyQu1oZk7lMREfmGIRYV3jt14lIEBbPqMELDfsCEyie+QvC5 T2qWU8ZgcLvv74K9ML4gPHYjoWxTMp7MEloP0jayreUNBjf5XeS/qpdXNmTfBT2dmD9yIO9b 8p7ktD+N/wmmg5RkoxeSrxE84M31+HNlZR7kDt2PSzsQQywK7VCJnKm45F+hpdVzOUEhTrsC 1O9xNZKHJ6oZuXnKQc1Dyg4ZL2h0fo0pGHj3c4tKh+n2B4trau1amQMDRyikycHEaBUNrkiy uIfuMI7zQyzpx4pE9SehBBv6GW+AS0cYpojq60lLtfnuigzxnFGRK7sOCv8zZWMStdLa20BA DufgojcjLV9mGvGVVcOFkb24OkMvqRW5Sh2z2IDKW+ZxfvDpPs8hyNK/RoNEw968xRg0sBIA FZNCXFbH6u10glNuNliREGpQgFIOw2Y8Bf+ynwPj2zocHOrXW3sckw4B+CG+X4L+HMFZjN30 eyp8zvhWm3PYc3OxTYDXGB0oPnNT9BOzA3mnea5Ff+kBLg/WyLu2YW1VFoLqjzmIMI/v1LGr u9U59RNabX3GCoTgq8jAayY6Oggcw+FL2l8Xv1RxqMFMmXCcjWU2zLVCUSOVu5SBv7Nq2mUN tdPI59RahGAyyq+lDAXKqoSKbtSnvRyxt4jeKvuFFEWoYmksTtln5LBxBfQ3FZxbY1Vrv88D YfNexapMG+a3yJUklCQivh0ADOzZN1caTDs2Oywzv4yKKsCl+NRamA37Kq/uiSEEQlg/i/Mh jj5WY3t87VAx7hvzqzWKYcSIyWvKNj2avaEzxDrjfRKcuH0EJnvsyE7lwDZGjp4bJordfZ5r 7CviOLM/Vjkue82Wl/JmpPaGKhu496zbdVtMcn2DSd7mAmDUd6x4yoSpjmxOL1SsdZn/sL8b RCJWMixUt80Wtlm23xebRZFISsdE6jaaqTBpzu3ivaxVigmzg3MKe24+U/TbW10cjECP7v8A FTWv8mCy895roMWIjM5HNBjXoFFJWH8VZscd9HesSeSCk+qiAigvprgjR8R1iHZOEKbEcrV4 YP3eTamTU6c4Jr39dB+t5B+mjY1D3wn2Ok5QR87yu5M0ju/CDYLEPQZPZA4Eaprqy3V1qzjR TTzfWAnWDTcXzNFTE3G2+7dfDyjX84ABtSoAQYS3RKkW3/jTsfISr5s7Txp7HpKayPuhrPvY 80X/nrreAO92Nd1TOIU/ea2mvpj2uic/H8T5EThiIbnNn7y21nROKBJR2KhlBArEv0hUG3GK nI4XnsBQVniGEe3HN17PWNWXhsQpinmxCgkZGGEx9O3V0B3CgFf4KWXBg0x+uRrgAc2yHomT 3n0AWKGpX2VspDWkbV8oMon2MeYFtrSdvVX78bfqck6lauzrG0sed4B9cbKoAfO5yYHe27ge vKQD7TSyahLxI29GFFb9OnRx69Mbw==
- Ironport-hdrordr: A9a23:yR7oS68R2N8II4QeE8tuk+Gxdr1zdoMgy1knxilNoENuE/Bwxv rBoB1E73DJYVYqKRIdcKO7SdC9qBTnhOJICOgqTMqftWzd2FdAQ7sSircKrweQYxEWldQtq5 uIEZIObOEYZGIS5a2RjWXIcadE/DDtytHSuQ6x9QYWcegnUdAH0+4qMHfdLqXWKTM2X6bRQa Dso/Zvln6KVU4sKuKmG3ICQ+/P4+fTnJajWhIeAQU7gTP+1Q+A2frQPyKjmjEDTjhI3bAutV Ldmwi83K+kqP3T8G6E60bjq797ouGk7MdfD8qRjcVQECzljkKTeYx9R6fqhkFvnMifrH0Hqu OJmh86It4b0QKWQojgm2qo5+G2uwxelEMKhGXo90fLkIjcfnYXGsBBjYVWfl/w7Fchhsh11O Zu03iCv5RaIBvclGCljuK4Hy1Cpw6Rmz4PgOQTh3tQXc83b6JQl5UW+AdwHI0bFCz3xYg7GK 1FDd3a5txRbVSGBkqp91VH8ZiJZDAeDx2GSk8Ntoi81CVXpmlwyw8iyMkWjh47hecAYqgBw9 6BHrVjlblIQMNTR7l6Hv09Tcy+DXGIaQ7QMUqJSG6XWZ0vCjbokdra8b817OaldNgj150pgq nMV1teqCobZ1/uM8uTx5dGmyq9CllVZQ6dhf222qIJ9IEVHNHQQGy+oREV4oCdSswkc4Hms6 3ZAuMXPxfhRVGea7qhkTeOGKW6EkNuI/H9iuxLKm5mnfi7WrECltarBMo7d4CdZgrMHFmPQE c+YA==
- Ironport-phdr: A9a23:SBcrkB+/X5yOwv9uWWS1ngc9DxPPW53KNwIYoqAql6hJOvz6uci4b QqFu6Um1weBdL6YwswHotKViZyoYXYH75eFvSJKW713fDhBt/8rmRc9CtWOE0zxIa2iRSU7G MNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1Ifn+FpLPg8it2O2+5Znebx9WiDe8Yr5+I xu7oRnMvcQKnIVuLbo8xRTOrnZUYepawn9mK0yOlBjm/Mew+5Bj8yVUu/0/8sNLTLv3caclQ 7FGFToqK2866tHluhnFVguP+2ATUn4KnRpSAgjK9w/1U5HsuSbnrOV92S2aPcrrTbAoXDmp8 qlmRAP0hCoBKjU09nzchM5tg6JBuB+vpBJxzIDUbo+IKvRxYqzTctwBSGpdXMtcTTBNDp+iY 4YNCecKIOZWr5P6p1sLtRazGxOjBPn0yj9UmHD227Ax3eQ8EQHGxwwrAtUDv2jOoNX7KacSU fu1wbLTwjrYbPNawy3y55TSfhA8ovGBRLR9etfexkczDQ3KlEmQqZD7MDOP0OQAq3WX4ulgW ++rlWIrtgV8riahy8kjloTEmJ8Zx07L+yh63Is4O9m1RkFlbNOkE5Zdsz2XOoprT80sTW9kp Do3x6AAtJWmciYKz5EnyATea/yBa4WI7AnjW/qMLjthmH1lf7S/hxis/ki61OL8UNW730hQo ipCiNnMuXYA3AHQ5MifUvZx40Ss1SyS2w3d5OxIO104mKTaJpI737I8i5UevVzdEiL3hEn7g qqbelg49uey6unqZ6vqqoOHOIJxigzzMqojl8m6DOglPQUDWXWQ9Pq41L3+5k35XKtFjucrn KnYsZHVO9wWqrK/DgRIyIgs8Qy/AC2j0NkAnXkIMlZFeBWfgof3NFHOOu73Deykg1i1kTdr3 +3KM7n7DZnXMHfDi6zhcaxg605f0gY81spQ54hOCr4bPP3zR1L+u8bCAhAlNAy0xv7rCNR71 owARWKCGrKVPaDIvVOV6O8iLfOAaJIbtTv8MfQp+uPigHAhlV8YZ6ap3J8XaH6iHvRhJkWUe Wbjjs0PEWcXvgo+V/fnh0aZXj5QfXq9Rb4z6ismCIKlFYvDQJuij6Sb3CinBp1WenxGCleUH Hv2b4mEQesDaDqOIs99lTwJTaSuS4g41R23qAD6z6dnIfHP9y0DtZPj0cB16PfJmREz8zx0F cWd3HuXQ2F6hGMEXyU207xnoUxh1leD1rB1jOBCGtxW4/NFSwM6NZ/Hz+xmEN3yQQLAftKRS Fm8WNmmADcxTsgww9AUeUp9Fc+i3Vj/2H/+CLtQlqeCDpEw9q+ZwmP8Pd1Vz3fdyLJnhFAjB MJEc3Cl0Oo3oxTCH4PS1kyfkaG3c68R9CrM73uYi3GDtVoeTRZ9V6ODUHwCMA+e+c70+VnDU 76oBpwqNBAEzd+FLO1EcIutxQF+XvDkNujebmWrik+UBA2U3fWmZZbqPUwWmhj+XgxMxwsU5 DONMRU0LianuWPXSjJ0QxanN0jl9O07rHKgUmc1yRuLZgtvzezxskoegfWEY/wJ2a8ctTxns ThyFUqwxZTYEYzTiRBmefB3aMkm/FpBnUzEtxc1apfmIb1inXYUeQcxtkioyhYhWdYIqtQjs H5/lFk6Eqmfyl4UL1twvLj1M7zTcSzp+Qy3LrXRwhfY2cqX/aEG7LI5rU/itUenDBlq6G1ph v9S1XbU/ZDWFEwKS5ukWQA56hhhj7vQYW807MXJ1i4kKrG65wfLwMlhH+450lCldtZbPrmDE Vr5VcMHB9OGIuYp3VGiKA8Hb6hJ7KBhGcSgerOd3bKzeuZtmDXzlWNc/IV0yV6B7QJxRfTFx I1AwunBjwLBWiznykqi9Mr+g5pNbiweFyy0zi2M6Jd5QKp0cM5LDG6vJ5by3dBin9v2XGYe8 le/BlQA0cvveByIblW70xcCnUIQ6Weqnye11VkW23kgs7af0SrSwu/jaAtPO2hFQ3NnhEvtJ o78hs4TXUyhZQwk3BW/4kOyy69eraV5Z27dJCUANyOwIXxiSYO6vLnEasUJ9ZBp+SRbXeKgY EyLH6bnqkhS2CfiEm1CgTEjImj6/MyixFoj0zzbdS8v/x+7MYlqyBzS5cLRX6tU1zsCH2xjj CXPQ0O7J5+v9MmVkJHKtqa/UXigX9tda3qOr8vIuS2l6GltGRD6keq0n4itGk40zC/g/9NgV mPBp1DhYcO4ssbyefIiZURuCFLmvoBxXI9jkpAYjpsTn3ERwIiWtylPgSL4NtNV3rj7ZXwGS GsQwtLb1wPi3VVqMnODw4+Rumy1+sJ6fJH6Z2oX3nl49MVWEOKP66QCmyJpo12+pAaXYP5nn z5bx+F8oHIdhugIvkIqwED/SvgZW0dFPTfEnR6Lqdm16rhULGqiarm/0kNikMvpVeHE+1oHH i+iJNF7RHM45943KF/W1Xzv9ozoHbuYJckesBGZiVaIjuRYLo4wiutfgCNmPWznunh2g+U/j BFowdS7pN3eeyM0p/n/W0UGcGSsO5B2mHmll6tVk8eI0pr6G5xgHm5OR570VbezFypUs/37N gGIGTl6q3GBGLOZExXMjSUu53/JDZ2vMGmaYXcDytA3DhLbKlFfmygeVjZ8l5V/CwPgl6mDO A9poysc4FL1sE4GwaRmKhnkem3Vp0GhYXEpS9LMZAoT5QZE6UDPNMWY5e8mBCBU8KqqqwmVI 3CabQBFXgRrEgSUQkruNb606Zzc4vCVU6CgeuDWb+zE+qROEu2FzpW13s568iaQY4+Ra2J6A aReuAILXGglSZ+E3WxQFWpGzWScMYnB+1+94nEl95D5qa+wHlu0u83WUesVa4sKmVj+gL/fZ bfAwn8icnABjc1KlCGPkudXmVcWj2sGmyCFN7MGuGaNSavRnvQSFBsHc2ZoM9MO6asg3w5LM Mqdi9Xv17c+gORnQ1FCHUfsnM2kf6loaym0KU/HCUCXNb+HOSyDwsf5Zrm5QKFRi+McvgO5u DKSGUvudjqZkDyhWxeqOOBKxCaVWX4W8Jm6aQpoAHP/QcjOZxKhPcRsyDwumOw9wH7RLigBM n52ellXp7aN4SoeifJ6WiRA4ndjMeiYinOZ4u3fefN0+bNgBiV5kf4f4WxvkusTtXofAqUux m2L94I9xjPu2vOCwTdmThdU/zNChYbQ+F5nJb2c7Z5YH3DN4BMK62yUTRUMvdpsTNP16MUyg pDCkrz+LDBa/pfa58wZUoLfbsyaMGEJOxDqXjffShYGB23OVymXlwlGnfee+2fA5IA9sYTpk YESR6VzWVMvG+gBT0V9RY0LZppsRXU5kviRhdQS7HGjoBCXT8Jf9MOiNLraEbDkLzCXiqNBb h0DzObjLIgdAYb83lRrdlhwmImi86v4UN9XrzZ6Kw4s+RREtnVlVSsu2ATvYxm36XQOGffyl Rkz2FMWiQsF/j3vpV48YEfJ9nJYeKwZk9/mxzmaNiPyfv/YYA==
- Ironport-sdr: 66507152_zYekJVXdgN+Bure4BkPwOKMtNliSUVC9EQT9C+DPOod+xXe D9FEdtQ2nAdzG1tOn41Z1IOr2r0Lax7WYHBUKSQ==
Formal Structures for Computation and Deduction (FSCD)
Steering Committee Membership Election 2024
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). 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
* Friday 21 June 2024 (AoE) *
The election statements will be posted on the FSCD webpage before the
start of FSCD 2024. The election will take place at the General
Meeting of FSCD 2024, 10-13 July 2024.
Herman Geuvers
herman at cs.ru.nl
FSCD SC Chair
- [Coq-Club] CALL FOR NOMINATION - FSCD Steering Committee Membership Election 2024, Carsten Fuhs, 05/24/2024
Archive powered by MHonArc 2.6.19+.