coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] CALL FOR NOMINATION - FSCD Steering Committee Membership Election 2023
Chronological Thread
- From: Carsten Fuhs <carsten AT dcs.bbk.ac.uk>
- To: fscd.conference AT dcc.fc.up.pt, 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 2023
- Date: Mon, 12 Jun 2023 15:24:10 +0100
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=carsten AT dcs.bbk.ac.uk; spf=Pass smtp.mailfrom=carsten AT dcs.bbk.ac.uk; spf=None smtp.helo=postmaster AT mailer2.dcs.bbk.ac.uk
- Ironport-data: A9a23:05SILa2D7idMJNDmdvbD5e11kn2cJEfYwER7XKvMYLTBsI5bp2YHz mBKWm+FafbcYzPwKNsga9nl9EsPsJOByt9hTVBq3Hw8FHgiRejtVY3IdB+oV8+xBpSeFxw/t 512hv3odp1coqr0/0/1WlTZhSAgk/vOHNIQMcacUghpXwhoVSw9vhxqnu89k+ZAjMOwa++3k YqaT/b3Zhn9g1aYDkpOs/jY8E025qyr0N8llgVWic5j7Ae2e0Y9V8p3yZGZdxPQXoRSF+imc OfPpJnRErTxon/Bovv8+lrKWhViroz6ZWBiuVIKM0SWuSWukwRpukoN2FXwXm8M49mBt4gZJ NygLvVcQy9xVkHHsLx1vxW1j0iSlECJkVPKCSHXjCCd86HJW0PJhO5BMEoMBKsRwc1LHFNN1 8AiBi9YO3hvh8ruqF66Yuxlh8AuNpOtMIgE/HtqznfQBrA7QvgvQY2TtIQegm523JEIQZ4yZ OJBAdZrRB/JeQZTN1E/BJkl2u2ihT/2eHtFqzp5oIJuujKPk1UpiOiF3Nz9Qty4WcN3kF2ho X+bpzu+QQMBBPad4G/Qmp6rrrSTw3+iAdh6+KeD3vVjhVnWwm0IFDUNRF6jqL+4jFS/UpRRM SQ88S036KM26UaDVcj4RxT+oXievxdaVcA4LgEhwASEy67Z+VzfCmMfCDRLa5ovv4krRlTGy 2NlgfvRIHt0n4Gec0u7/4y/kS6AOgopF0EdMHpsoRQ+3/Hvp4Q6jxTqR9llEbKogtCdJd0W6 2raxMTZr+5K5fPnx5lX7nia2m/09sihohodo1SMBgpJ+ysjPOaYi5qUBU/zwtwowGyxal6Hs H8C8yR1xM0lUavleMClbeMCGLiv65643ND0hFduG5Q7rXKh8GXld4pTpjh1YlpqWirlRdMLS BKJ0e+yzMYOVJdPUUOQS9jpY/nGNYC6SbzYugn8N7KjovFZLWdrBh1Ga0+KxHzKm0Mxi6w5M przWZ/yXShHUfQ9l2TpHbp1PVoXKsYWmzu7qXfTkUzP7FZiTCTEGN/pzXPRNLpitvjeyOkr2 4kAaJTiJ+pjvB3WOXWJrddKdzjm3FA5DJb7t4RKcO+dLxB9GX0wQ/nc3awmYY8Nokimvrmgw 5x8M2cGoGfCaYrvc1zSOis/OeK2A/6SbxsTZEQRALph4FB7Ca7H0UvVX8FfkWAPpLw9n81nB eIIYduBCflpQzHKsWZVJ5rkoYAoMFzhiQuSNmD3KHIybrxxdTzvo9XERwrI8DVRLyyVscBln aas+DmGSrU+RiNjLv3sVtSR832Ls0MwotlCB3nzHoELeWHH0pRbFCjqv/pmf+AOMUriwxWZ5 Sa3ADAZh+r8+Koowdzrn4SBgYWNFdVkP0tFHlv06aS9Gjna81GCn65BcresVhLMWFzk/J6NY b1u8Mj9F/kcjXB2s4ZYOJR6/5IUvtfAiedT8VV5IS/tcV+uNIJFHlCH+st+7ot22b5TvFqNa HKlo9V1F+2AB5L4LQQ3OgEgU+Wk0MMUkBn06dAeAh3zxA1zzYq9fXRiBTu+ow0DE+ItK6Ig+ /krh+AO4Q/mihYKDMePvhoJy0uydE4/Q4cVnbBEJr+zkQc66EBwUbqFAA/M3Zy/QdFtME4rH zyquJT/l4lsnnTlTX5iOkXOjMx8hIsPsi9k1FUtBUqEsfubi+4V3C9+yyUWTANU/DphwcZ2G GliJhB1FLTTpj55pdNiWlq0EFprHyyp+U3WynoImlbGTkKuaHf/EW0lNcuJ/2Eb62h5fAUHz IqHyW3gbynmTPvx0gQ2R0Rhjf7pFv51ySHvh+GlGJ6jM6QhQD+4nJKrW3UEmyHnDew1mkfDg +tgp8R0SK/jMB8vs78JMJab2ZsQWSK7CjR7G985x5wwHEbYZD2W8hqNIRroespyetr7wXXhA Mlqfs9yRxCy0RiVlQ8iBIkOHe5QvOUo7988aL/UNTY4k7+AnAFI7rPU1AbD3VEOffs/sPwAO rvwdi2DGFO+nXF7uXHAh+gaN3uaYesrXhzd3ue0+tonD5gsjvBJcBwx4+CRokSQEhFD+jyWm AX9fY7X0O1Q5oB+lKT8Eqh4JluVKPGicM+q4QyMo9B1QteXCvj3tiQRsUvCEz1NGLksB+RMi rWGteDo0HP/vLoZV37Tn7+DHfJr4fqecfV2MMWtClVnhgqHBdHR5iUc91CCKZBmlM1X4u+lT VCabOqybdskZMdP9kZKaiRxEwcvNIqvV/3O/RiClvWrDgQR9SflL9n9rH/gUjx9Rx8yYpb7D lf5huaq6tVmt79zPR4jBc83M68gdRWnEeEjesbqvDaVMniwjxnQ8vH+nB4n8nfQBmPCDM/+5 onfSwPjcAip/pvF18xdr5c4qyh/4KyRWgXsVhl1Fx9KZzGG4KouKO0cNZgcUNdYmTe03pv7I jjGKnYhYck4sfKobj2kiOkPnC/GbgDNBjs9DjAi5AWeYSTwDYjGHbgJGuJI/SJtYjW6pA24A Yh2x5AzVyRdBrllTv1V7Pa4x+5sgO7Zrp7NFYYRjOSqaysj7X42OLCN0eaDueEr0y0AqakTG VUIeA==
- Ironport-hdrordr: A9a23:h72flqPSwakVscBcTsmjsMiBIKoaSvp037BZ7S5MoHtuA6mlfq GV7ZYmPHDP5Qr5NEtApTniAsW9qBHnn6KdiLN5VdyftWLd2FdAQrsSjrcKjweOJ8WTm9QtsZ tdTw==
- Ironport-phdr: A9a23:VgkSBB/0eEOEFv9uWUS1ngc9DxPPW53KNwIYoqAql6hJOvz6uci4Y QqDvKgm0wWBdL6YwswHotKei7rnV20E7MTJm1E5W7sIaSU4j94LlRcrGs+PBB6zBvfraysnA JYKDwc9rDm0PkdPBcnxeUDZrGGs4j4OABX/Mhd+KvjoFoLIgMm7yeC/94fcbglVhDexbrF/I AurpgjNq8cahpdvJak2xhbVuHVDZv5YxXlvJVKdnhb84tm/8Zt++ClOuPwv6tBNX7zic6s3U bJXAjImM3so5MLwrhnMURGP5noHXWoIlBdDHhXI4wv7Xpf1tSv6q/Z91SyHNsD4Ubw4RTKv5 LptRRT1iikIKiQ5/XnUhMJ+g61UrhKvqQFhzYHIb4+YL+Z+c6HHcN8GWWZMUMRcWipcCY28d YsPCO8BMP5GoobnvVsOtge+CheqBOjyyjFIm3/23bYn2OkmDQ7JxhYgH8kSsHvKqtX4L7odX vyuzKXS1jrMdPBW1S3n54fUaBwhvPKMUKt2fMHMxkYhCxnLgU+MqYz5ITyVzOINvnCU4eRgW u+hi24qpg5/rzWvxcohlpfFi4ARx17K6Ch13IY4KNKlRUB0fdKpDZRduiKbOoZqQs0uXmJlt Skmx7AGv5OwYSYEyJMixxHFavyHdZCF4hz4VOmNPDh0nW5qeLW5hxa870eg0PPzVs+o31lUt CZFlcPMtn8L2hfO6caHUuNw8lql1DuBzQze6/xILVoqmaffMZIszaY8mocXvEnNBCP6hkb7g LWYe0gn4OSk9fjrb7fgq5SBLYF7kBv+Pb4rmsGnAeQ3LAwOX2+D9OS5zrLj/En5T6tQjvEoi KXWrYzVJd8BqqGiGABV0Zwv5AyjADu8zdQYnmELLFNDeB2Zk4jkI0zCLfT2APulglmgjS1ny +7CM7H7DZjBNn3Dn63gfbZ55U5c0g0zzdVH6p1IEL4BOunzWlPvu9zeFRI2LhC7w/39BNpmz YweWniDDbWFP6/IrF+I5fojI++Xa4ANojbyN+Al5+LyjX8+gVIRY7Gl3YELZ3CgAvRmP0KZb GLwjdgbFGcKuhMyTOjriF2ZTT5efG2yXqI55jEjEo2qF4bDRoa3gLyAxii3BJNWZnpeBlCWD Xjob5mEW+sLaC+KPsBhlSUEWaG9RI8lyBGhrxT3y6FnL+rR4i0Xr4jv1Nlz5+3JlBE97yZ4D 8qH0zLFc2YhkHgDS3k926ZxrFZwzFyO+aRziLpWHppO/7VRTkNyPpqZzvdzAd32Xg+EY8yEU k2ORtS9HSp3Rds0hdYFJVt+X52+nwjOxG+jBbkSirqACbQw87nAxD7qKs9mjWve2a8nyVQqX 48HL2C5nK9j9g7cL4PPiACdhqGsM6oGmGb17mCEw1aOsUZCQSZUUL7ZRjY1b1fW6/3yoH7hC /elDq1iOQ9cw+aDLLFLY5vnlxEOT/7mPJHaYnmts2a2HxeBgL2WKMLhf2wF9CrHD1UcnhtV5 3uAPBQzHGGvuTHwFjtrQHnmeVjw/O82hm67VQdgxAiQdFFs0ZK58QVTj/afDfoYmK8H7nRy4 w5oFUqwioqFQ+GLoBBsKf00ibIV5V5G0TicrAlhJtm6KKskgFcCcgNxtkeo1hNtC4wGn9J55 Ggywl9ULqSVmEhEayvexYr5b7beMHLu8RaHZ6XNnFvU05Cf8eES66dwsE3t6TmgDVFq6HB7y 59Q2nqY6I/NCV8ZWIjqTksx3xRxvPfQaCp77oiSyH4/ebKsvGrk3NQkTPAg1g7mf9pbN/acE xTuFsQBG8W0AOkjmlykdEhCMOtJsqQ+PIWvfL2b28ZHJc5GmzSrxSRC6YF5iAeX8jZkD/TP1 NADyu2Z2Q2OU3H9ik2gu4b5g9IMYzZaBWe5xSX+YewZLqRvYYYGD3uvKMyr151/gZDqQXtR6 F+kARsPxsaofROYa1G10xdX0AwbpnmumC3wyDIR8XlhpaOFxzDDxczufwFBMGRIAmBpy0rvY MC1g90cQEm0fl0xjhL2rU3+xqVduOF+NzyKEBwOIXGwdTAkDvjV1PLKecNE5ZI2vD8CVe29Z QrfUbvhu14A1CilGWJCxTc9fjXsu5PjnhU8hnjOSRQ75HffZ8x0wg/SodLGQvsElDEPXjJkh D//ClOnedOj/pOdnNHesartMgDpHo0WaiTtwY6a4WGw7HdxHRC5t/y4gZvtGwt82CS9ytogB kCq5F7sJ4Ls0aq9K+dueEJlUUT958RNEYZ7ioIshZsU1BD2n72t9GEc2Sf2ONRfg+flaWYVA CQMyJjT6RTk30tqKjSIwZj4XzOT2Jkpa96/a2IQkiUziqICQKyd9qdYkC1drlGj6wjbYr50l XEAyrMi5WUbjOcApAc2hnzMWfZMRA8CbGqw3x2Tp8iztqBWeHqifd3SnAJlkNatAavD6gBQV XDle4szSCp578FxKlXJgzX47oDpfsWVbMpG70zP1UmZybIEbs5i85hCzTBqMm/8o3A/nusyj Bg0mIq/oJDCMWJmuqSwHh9fMDTxIcIV4DDky6hEzaP0l8iiGItsHjITUd7mV/WtRXgZvO78K wuIODE3sTGRE7mZFATZ9UQs/BetW9i7cmqaInUU14AoTxCHP1BShigYVy58lJQ6UAmhgtHiO hQchHhZ9hvzrR1CzfhtPh/0XzLEpQumXTwzTYCWMBtc6gwRr1eQK8GV6fh/Wj1J5pD05hLYM XSVPk4baANBElzBHV3oOaOioMXN4/TNTPTrNOPAOP2LuaRXH/aQmcD2g9AgoW/KbJTJZTFjF 6FpgxsYGy4gXZ6I3WlqKWRfnnDIZs+fqQ3lvCF8tYa1+vetUQmp+IjHAulXONRr9grsx6uIL KiajiU/ID0ey5BE03bMzPJ3MEc6rSZoenHtFL0BsXSIV6fMgupNCBVdbSpvNcxO5qZ63w9XO MedhMmnnrh/xuU4DVtITzmD0omgeNAKLmehNVjGGFfDNbKIIifOyt32ZqX0QKNZjeFdvRm98 TiBFEqrMjOGnjjvHxehVIMExDmcJwBbsZqhfwxFDGHiSN/8MFu3O8Qxhzc1h7Q/wG7JdCYdP TV6b0JRv+iQ4Cdf0ZAdUyRK6ntoK/XBmj7MtriDbMhP96E6RHgn8oASqG43wLZU8ixeEfl8m S+I68Vrv0njiO6EjDxuTBtJrD9PwoONp0Rrf6vDpfwiET7J+gwA6WKIBlEEvdxgX5fksrpL1 tXJvK74M3FI+dGS9MBaGsuee6fleDIxdAHkHjLZFl5PVTmwKWTWnFBQitmX/3yRo4Jg7JTng 9wEQLwdXVdzC/BQWSEHVJQSZZxwWD0ji7uSisUFsGG/oBfmT8JfppnbV/iWDJ0HzR6VhqICb RELh7rza5kQZNWTM6NKZlJh2o7AGAzZVpZQoX84BufViEBE8XxzVDd110n+LAmn4zkaHripn Uxu4jY=
- Ironport-sdr: 64872a8d_355nAvVkw8ke36lCJDrdA6/R1eYFyoowRm6cVQTNtYmdkMD wKiMHySp3v37Qt1JCRi9DAP1mmrcMKHYxS8Kmnw==
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
* Monday 26 June 2023 (AoE) *
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
- [Coq-Club] CALL FOR NOMINATION - FSCD Steering Committee Membership Election 2023, Carsten Fuhs, 06/12/2023
Archive powered by MHonArc 2.6.19+.