Skip to Content.
Sympa Menu

coq-club - [Coq-Club] CALL FOR NOMINATION - FSCD Steering Committee Membership Election 2025

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] CALL FOR NOMINATION - FSCD Steering Committee Membership Election 2025


Chronological Thread 
  • From: Carsten Fuhs <c.fuhs AT bbk.ac.uk>
  • To: types-announce AT lists.seas.upenn.edu, cl-isabelle-users AT lists.cam.ac.uk, 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, gt-scalp AT gdr-ifm.fr, SREPLS AT JISCMAIL.AC.UK
  • Subject: [Coq-Club] CALL FOR NOMINATION - FSCD Steering Committee Membership Election 2025
  • Date: Wed, 28 May 2025 09:39:55 +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=arcselector10001; 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=l/4OK5AgTH0owgHX9Bc1mpfu5uDZxnfwaK6FOL21jwA=; b=aKIsNN3NjHMjwlzUA14HwCf1pDEcfxrsnKNHqkrCVvm8/JJDGiv80wkODy24KIujdYMrJs2Ey9TTinC0TacNyluGaqj8ow5U0lBs5mGatL3QY0KwQ0V+rRfg7cjQcUImENxOCNqa134Gee9OC6iMecPxvNpYoOye87WvKW/DEpdCoNqx3ltb9K2ST99dbGfrDuuWtLNUxYK4ElxIQMcxeF0WZAV6QURawiItAhIJnCF3jLfVgFJL7m/CTrJUQKqUi0jYfMlLIiUNvnv5SYinP7O2bTU+/8lFRXfFhDTWgEwHFGr3WrMrHkkYpi7rVZEB4L/rOVLyw0WJAp7K7yL7Hg==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=IWO5gnzAYHpUzRGoenTQQ4l2ex0kQC/q/4VBaN+0W37QdjmOzOWk7ph6PpGkYjaXMWks0LcF45pKsk3xBnWqj160KJ1+5vAzRD/qoQ3JsPSidjH0qtmvPQMKo6sqQYjH/N0lp0wUC2RvnMBoUZhkYCmXKmTkefodEwHnBYPmZHK8s5N9jB8FPleqtr+WUzriJBbPo7wNOIhN/aARZc6vXsDsstLnkqFvY7i+zi7qUo2pOuObUpQFizNKJjYlLLlV90Z75KmC7CV6e86ibnJE7GMNgfPvISt1fJ20sB/DF+ABkXOcFKFjhl6lvFO/quTLSnbktmVfqmh11orrRbmudw==
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=c.fuhs AT bbk.ac.uk; spf=Pass smtp.mailfrom=c.fuhs AT bbk.ac.uk; spf=Pass smtp.helo=postmaster AT PA4PR04CU001.outbound.protection.outlook.com
  • Ironport-data: A9a23:CEaVyqkmrXCLL7nk4GzfAcjo5gytLURdPkR7XQ2eYbSJt1+Wr1Gzt xIcXW+GPvmKYWf2ct4jOYuxoE0G6MPXmtRiGwJoqSxgEVtH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvymTrSs1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws LsemeWGULOe82Ayaz98B56r8ks14ayv4mNA5zTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q e/F0Ia48gvxl/v6Io7Nfh7TKyXmc5aKVeS8oiI+t5uK3nCukhcPPpMTb5LwX6v4ZwKhxLidw P0V3XC5pJxA0qfkwIzxWDEAe81y0DEvFBYq7hFTvOTKp3AqfUcAzN01AGI/bIAn9N1FAE4J+ vMCbyo0Vxuq0rfeLLKTEoGAh+wbBZXTBttDkUw4lWifCus6S5feRamM/cVfwDo7msFJG7DZe tYdbj1sKh/HZnWjOH9LUNRnxLju3yelNWQB9zp5poJvi4TX5Ac33qXtK/LfcN/MTM4Tg0XwS mfupT6lWUlAa4zEodaD2kz8r8Dhn3OiYd8TKISH3NtqqQKu+EVGXXX6UnPg+qPl1SZSQel3I EsNvyEqsKIa712uVtC7XhuioXfCsAR0c9FZFul/7ACW1oLP8gOBDy4FSCRAYZoorqcLqScC0 1aIm5bnHzVpu7CeRHSB7L6QpCG1P3FMdTVZPHZbCwwY/9PkvYc/yArVScpuG7K0iduzHizsx zeNr241gLB7YdM3O7uTplzkimOhmZbyfA8aoQrYRCW/1zpyTdvwD2C30mTz4fFFJYefa1COu nkYhsSThNzi67ndxURhp81dTdmUC+a5DdHKvbJ4N7cbnwlBFlamdIFUpT9kLUFiP80JfyPza UvaqwRXvcYLZiDzNPAxZJ+tAcM3y6SmDc7iSv3fcttJZN52aROD+yZtI0WX2ggBcXTAc4lhY v93ku71Vx727JiLKhLqF4/xNpd3mUgDKZv7H8yT8vhe+eP2iISpYbkEKkCSSesy8bmJpg7Ym /4GaJfakEoHD7OhMnSLmWL2EbzsBShqbXwRg5wGHtNv3iI4RjlxYxMs6e9/JNE9xv0P/gs21 izlBRQJlTITekEr2S3RMSo/N9sDrL56rHkhOjcrM0rg0H85ee6SAFQ3JvMKkU0c3LU7l5ZcF qFbE+3ZW6gnYmqcoVw1M8KixLGOgTzw3GpiyQL+OWBnJ/aNhmXhprfZQ+cY3HNRVXTo7ppu+ ObIO8GyacNrejmOxf3+MJqHp25dd1BH8A6rdxKQe4kBS1am64VwNS36g9k+JsxGe12JxSKX2 0zSSV0UrPXE6d19utTYp7G2n6HwGctHH21eAzb665SyPnLk5WaN+9JLf9uJWjH/b1nK3pueS 99b9cyhD81frm1269J9N51J0ZMB48Deou4G7wZ8Q1TOQVeZKpJhBXik3PhKrbB8+ZpEtTStW 2ak2NpTCZOWMuzLTX8TIwsEaLyY9Pc2wzP909U8EH/Y1gRWooWVcBx1EUGXqSp/KLBVDtsU8 d05spRL1z3l2wsYDNmWqwt1qUKOFyUkeIc6vMg4BITLtFIa+mtaa8aBNh6ssYC9UPQSAEwEO TTOubHjgY5bzU/8c3YeM3jB8O5epJYWsiBx014wCAWVq+XBm8MI8kVdwRYvQiRR6yd34eZ5F 2xoFk9yfIGl3TNjgupdVGGNRSBFIjCk+XLK9lhYr12BEnGUVVHMIlYtZseL3kQSqFxHchZho bq39WfCUBTRRv/X4BccY0BehsLGcc1Q7SzHwcCuINSEFcI1YB3jma6fWlALoBrGX+I1rmfhi 8NR2cpKRZPHHDE1mPAlB7mg1L5Ldg22DzFdSvQwpJE2OznVR2Cv/T3fckyeat1HfefXwBXpF +1vOcN9eBCs3wmerj0gJPAtIp0luNUL9dY9arfQCmpeiISmrx1tq4P2yifloX0CGvFCsJoYO 5yLUSCvCUmSjiZkoHDMp8x6JWaIW9kISwni1uST8u9SNZY8nMxzUEM1wJ2mlm60NVZ5wheqo w/zXa/a4Oh8w4BKnYG3MKFiBR2xGOzjRtaz7wG/nNRfX+zhaf6UmVsulWDmGABKMZ86edd9z +2NueGq+nL1hu89VmSBlqSRE6VM296JY9NWFcDKN1hfozqJXZ79whkE+l3gE6dzrvFm2pCFS Te7OeyKTvxEf/dGxXZQVTpSLAZFNYTzcZXbhH2cq9aiN0Ej9DLpffKd213nV2V5ThMzGobfD 1b0ssm+59oDo4VrAgQFNs5cAJR5AQHCXIknfsystQiJUzChk3KZm77YjRF7wyr6OnqFN8fb4 Jz+WRn1ciqpipzI1N10t49TvAUdKXRA3dkLYUMW/uBphwCADGIpKfoXNbMEAMp2lhPe+Y7ZZ jaXSkcfEgT4ACp5dCvj7OTZXguwAvIEPvH7LGcL+2KWcyKHO5OSMoB+9ytP42ZERRW79buJc eohw3zXOgS95rpLRuxJv/yyvrpB98Pgn3kN/Rjwrtz2DxMgGo417X1GHjdWdCn5AsrIxVTqJ 280eDh+e3uFa3XNSORuR30EPysinmLf/219J2PHitPSoJ6Sw+B82eXycbO7mKEKaMMRYqUCX zXrTm+K+HqbwWEXpbBvgd8ynKtoErieK6BW9kM4qdE6xMlcK1jLPv/uWQI3ZZ0awlYDOG6Fz mDq5GUiDkOYLkwXwKeR1QgC55N2VDQLEi3Niwn84zTBlHTVCvDHLgOywluTxY7Y8sDeU4dwG V/+r3p9Z3WcvjiirDI4q/dzSpmvH5QKDXedOsw3Zsqar/pvIVOx0Jhr2UJ83tkX7X4sKkC4s kqO+41Vxb9LlR9jE+wpcBn1r1SnQ3o89tw/toLU
  • Ironport-hdrordr: A9a23:WQd2cKGs0CsfAIV7pLqE2seALOsnbusQ8zAXPhZKOGVom62j5q KTdZEgvyMc5wx9ZJhNo7y90dC7MBfhHP1OkOos1NWZPTUO41HYSr2KhLGKq1bd8kvFmdK1vp 0BT0ERMrPN5fcRt7eD3OEVeexQpeVuUcqT9IDj80s=
  • Ironport-phdr: A9a23:wffd8xweU5g5tczXCzItxVBlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z xeZva0m1gWWDM2bs6sC17GM9fi4GCQp2tWojjMrSN92a1c9k8IYnggtUoauKHbQC7rUVRE8B 9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBoKevrB4Xck9q41/yo+53Ufg5EmCexbal9I Ri4owjdrNUajZdtJqov1BfEoH9FcPlSyW90OF6fhRnx68mu8JJ57yhcp/ct/NNcXKvneKg1U bNXADM6Pm4v48HlqQfNRhaV6HsGVWUWnBtIAwzb4xz/Q5z8rCj0uPdj1SeDJcH5Qqw6Vjqk7 6dwVR/nkzwHOCIj8GHWkcN/kqRWqw+8qhNlwo7UZIaVNOdifq7YYNgXS3ZNUtpXWidcBI63c okBAPcbPetArIfzqVUBoxujCweyGOzhxTBHi2Tq3aA4yektDR3K0BIiEt8IrX/arM/1NKAXU e2t0qTH1y/Db+hK2Tjj7ojDbxAvoeyMXbJrbMHczlUgGxnLjlWNqYzlJCiY2f8WvGiY9eZvT /6gh3Q6qwFyuzWiwNonhYbViIwP0F/E6Tl5z5gvJd2+UEN3fN2pHptUui2EKod7Rt0uTm9nt ism1LAKpIC2cicJxZk72RPSb/OJfpaI7x/gUOucPTZ1iW9rdryxmxq/7VWtx+vhXce611ZKq zBKktjKtn0V2RzT8dSIReZk8ki93jaP0Q7T5f9eIU8qk6rUN4AuzqQ3lpoJvkTOGDL9lkbuj KKOeUgo5vKk5/n7brjkvJOQKo55hh/kPqgzh8CyA/w0PhYPUmSH9+mx0aDv8VHjT7hLi/A6j LXVv4vfKMkbpqO0DQpY34M+5xuwCTqtzcoVnX0aLFJeZBKIkZLpNUzPIPH5E/iym0ignTF2z P7cJLLhGI/CLn3bnbfhY7l970lcxRIpw91D6J9aEK0PLO78V0LvutPUEgM1PxGuz+bgFdV9y pgRWWWSAq+fLazeq0eI5vgoI+mQeoAapCr9K/ki5/7ol3M5nkIdfbWt3ZsQb3C4He5qLFmeY XrpmtsBEGEKsRQiTOHyh1COTSRfa2uuU68+/D03FYOrAZnZSoywnbCM3j+3HphMaWBHDlCMH 23od4KBW/oUdC2eOMFhkiEEVbi6UIIuzgqhtAzgx7V9MuXY4DAYtZH72Nhz/OLcjQsy+iBsD 8SBz2GNSHl5kn0QSz8swK9/uVB9ykuE0aVgn/NYEsVT6+pVXQc+KJ7T1Pd3C8vyWwLEZteGU kyqQtSgATErT9I+2cUCY0hnG9m6lBDMwzKqA6MJl7yMHJE77rjT3331J8pkz3bG1bIhj0U9T 8tUNWymg7Z/+BLJC47IlUWZjaeqer4G0C7D7mfQhVaJ6V1JSANrFKzDW3cCYEDbhdD4/V/ZC aSjAK9hLxNMz8jEJ6dXLpXiiRBHX/7pNdDabiesgGqqHj6Mx6iQd8zhcmBb1S6bFUtA2xoe4 myHKQk4CQ+spXmbCC1pExTheQekyfN5r32HTkIz1RCiS0x6y6Hz0BcJhbq1QLUu/fZMsyA47 j5wAVyV3tTMCtPGqRAlNK5VZNd45FZcyUrYsRZ8N9quNeQqjVoXayx4pUTzzxhsTJ9Nl8E2o WlswhA2Ya2ElUhKfjeA9Z/8IPjWJGy08grrI5Xs92n66/6025wkzd0ZjxPKl0eUNRkM6XJih vJcyWCA65OCIhcSStqlWQA56hhhj7vQYW807MXJ1is/YuGPrjbe1odxV6MewRG6coIHWEvlP Ar7EslAQtOrNPRvgV+iKBQNIOFV8qcwecKgbfqPnqCxb657hDzzq2NB7chm116UsTJmQ7vDm ZgYw+qw1AGEET73ykqi4YjsgY4RXTgJBSKkzDT8QotYZ6l8Z4EOXGzoLdC33f10jZ2rUnUe6 V3wT0ge1pqRcAGJJ0f4wRUW1UkTpim/njCkyjVvjzwzhpK2gBT0m7jJSUJfYyhMWXVoikrqL c6sldcGUUO0bg8v0hy4+UL9wKsdr6N6R4XKaWFPeSW+b2RrU6/q86GHf9YK8pQj9yNeTOW7Z 1meDL/7uRoTlS35TSNYw3ggejemt4+c/VQygX+BLHt1sHvSeN1hjRbZ6tvGQPdN3z0ADCBmg DjTD1K4MpGn59KR35vEt+m/USqmWPgxOWHgi42dtDCT72dpRxS02e2w25XmHQU8zS7nxoxyT yyb5B34Y4Tty+G7Kbc7Jg8xXAC6spQgXNgnzdhV5tlYw3URi5SL8GBSlG7yNY8ewqfidD8XQ jVNxdfJ4Q/j0UklL3STxou/WG/Op6kpL9S8fG4S3Towqs5QD6LBprcCkzZ1uXKypwGXaPM7g zRXmp5MoDYKxvoEvgYg1HDXCfYcAElDFSbmlFKB5Jajr+8ELHbqer+22k1kmNmnB7zXuQBQV kHyfZI6FDNx5MFyWL7V+EX68ZqsONzZbNZJ8waRjw+Fle9ebpQ4ivsNgyNjf2P7p3wsjeAh3 1Ri2pSzvY7PLGsInurxCVhWKz3uT8kZ+XfkhuBDnY6a0puuEZNoBjgQFMewC6vwT3RL666hb l/RWDQn4m+WA7/eAROS5CIE5zrUHpanOmvWbHgVwNN+RQWMcUlWgQQaRjI/zdYyEgGnwtCkc V8sumhXvwan7EISkKQxbkasNwWX7B2lYTo1VpWFeR9f7wUYolzQLdTb9OV4WSdR4pymqgWJb G2dfQVBS28TCSnmTxjuOKej4d7Y/q2WHO27erHFJ7uTqfd2Xf2Lg5uklJZltWXpVI3HLjx5A vs311AWF3s/FdnZgB0FQS9RnimLcs3R91+svyZwqM646vHiXgnisJCOB7VlOtJq4xmqgK2HO r315m4xOXNC25gL33ON1KkH0QtYlXR1bzf0W+dIpWvXQanXgKMSExMLd3Y5Kp5T96xlu2sFc c/D1oGpjvgp1LhtTQ8CDAGpm9n1N5BSZTjlaxWfQh7MberOJCWXkZytJ/rkEfsIyr0T7kDV2 37TEle/bGnZ0WCxDVb3d7kL1X/TPQQC6tznNE81Ui67CoqhM0LzMccr32Runfto2TWSczZba GcZEQsFr6XOv3lR2qwtQjUYvHQ5dbHWyWHFv6HZMshE6/IzW3YtzrsI7ihikOkHq30VIZ490 CrK8Iw0qgn/wLDWk2hpDEIV+GYT3NrZ7wI/YO3Y7scSA3+cpUBUtDzCBUhS/IluUoW36fIXl 4Gq9uq7KS8coYjdpZJOXpGNeszbaCFzP0KxQGyGS1ZfBXuiMWWV76BEuMmb7Wbd7p0zq5y23 YELVqceTls+UPUTFkViGtUGZpZxRDIt17CB3oYE4n+3rR+ZQ8s/3NiPTvWJHfDmMyqUl5F8T kcw++ukBrlLbtS93FF+YF5nmoiMA1DXQd1GvixmaEkzvVlJ9399CGY03ieHIkuh7WQSGvi9g hMtwlcmJ711q3G1vQ1xfwOV7CIr2FE8g9DknSycfHbqIaG8UJsXQyv4uk4tM4/qFgZ4aQrh+ C4sfDzARr9Xk/5hbTU30EmF4cQJQKAGC/QdP0x1p7nfffgj3FVCpz/ywEZG4bGAEp5+jE4wd pXqqXtc2gVlZdpzJKrKJaMPwEID48DG9iKuyO01xxcTYkgX92bHMiVOtlEILZEsLSnu9+cq9 A/IyF4hMCAcEuEnpP5n7BZ3I+Ob0yfpyKJOMGiJHrCnFfvFkFWYzZfORU4s3EQVkUUD5aJxz coob0uTUQYo0aeVEBMKc8HFLEsGCqgavGiWdiGIv+LXxJtzNIjoDeHkQ9iFs6MMi16lFgIkT Mwcq94MFZ623ATEPN/qefQbnA416l2hdzDnRLxZPQiGmzAdr4SjwY9riMNDcyoFDzw1MD3rt OqP4F5wxqLFBJBvPz8bRtdWaipwAZXl3XYf5zMZUlzVmqoY0FTQsmW6/3yISmG6N506Ob+Vf U8+VYvwoG1ltfDw0RmOrN3fPz2oaI4k44eUr7tc/9HeVJY2BfF8qxuOwtEEASD1FTaJSZnse NDxc9d+N9WsUyTjCwXthW5tF5Wje4r9S8rAyQDwG9QOudHCjml6bJ2zSmlFSUU3+7BL5boiN 1cKO8NpOEex5Qpib/ftcF/Aiof8BDv0TFkeB/hHk7fgbuQOnXN1N720lCN7HJpil7HlowlQH dkLlk+Mn//7PtsHCHGhFCAFIFfB/XJhxToma7x6h+47xFmgWbw0OTqIMuViLnFH7YlU7bK6G VwqMlBgG3Sh1dKapAmxw7oV4i1R2c5O1vFIu2T/uZmZZy+wXKusqtPetC9yNLDOTIV7O4+lK 8DAqZCMx1Ti
  • Ironport-sdr: 6836cbdf_Ux+NsxDWGHqnt0A0j1VTUYof05PsbvkcKvrbCZnhnnx7ZHv MLY5Qg8Zq2QJShhHSDhyeRbivblAllQvCwekI1w==

Formal Structures for Computation and Deduction (FSCD)

Steering Committee Membership Election 2025

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 20 June 2025 (AoE) *

The election statements will be posted on the FSCD webpage before the
start of FSCD 2025. The election will take place at the General
Meeting of FSCD 2025, 15-18 July 2025.

Patrick Baillot

patrick.baillot at univ-lille.fr

FSCD SC Chair


  • [Coq-Club] CALL FOR NOMINATION - FSCD Steering Committee Membership Election 2025, Carsten Fuhs, 05/28/2025

Archive powered by MHonArc 2.6.19+.

Top of Page