coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: "Vassena, M. (Marco)" <m.vassena AT uu.nl>
- To: "coq-club AT inria.fr" <coq-club AT inria.fr>
- Subject: [Coq-Club] Call for papers: FCS @ CSF'25 (Extended deadline: April 6 AoE)
- Date: Wed, 26 Mar 2025 13:41:40 +0000
- Accept-language: en-GB, en-US
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=uu.nl; dmarc=pass action=none header.from=uu.nl; dkim=pass header.d=uu.nl; 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=pZYlmmgz8DRcCGTkpetXSb2RCITSFRBogVbmHCh1Ppc=; b=fkz4gk61nAjIIKzS+F7YXpq2a1pkjIyJg88wcNHbIpdQCyxml3TdhFEsjASUFwArnDkaShXAdY3S58QXwqkzxRXkC5P63nNTlubzaip/DoZSeqs9QVk2EWI02rjGfloiSURkccIu8rJqgFDQklDvkaZNzzpqiqBS7OYwxY1YaZBdHneFMiYrrjINbs0GsVxu2t5p0/HQq0XyodfeRChhbWhkTtXe0oOn8T3vzWUrWWVb0tX3mEABP/+KoGZb6TE8A7Dn8J2w/yTgRe3qAsNXy/eRKdHuHSFsLM48UBYzuhLrC3FLNUgTsBjo8pq4GyyPlOlqwiFp/Md0Yld/7U/r2Q==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=b7k79zLmL4UBvrgbYXmnavjglF2eNA9AYrwTVR7jRNSan1JcpPU/XpbSDcefXZCMb5I1x5aNZYYkSPtcS9aeVzsprb9w4mrqQvyfH6ix9Cq7tySaRhbR+2k2uDwjyLxmWXRjBkNkrBM/0ziX3ZFbnGJCURM6WReckpVKbNyMHe8ciiWEg068xHtCQgHBX4HBPrKvJhJ+QWIig70at7RzWm8Grzt6f7wzJGbApBqcjIm8sUClLzS213KeR3rDdC1Gu3DF1qaVh/Ea9VKrjAJ9Pgwl0szj/bPTWTP25UDf3CA0PUqa40uOVpr4+hpWY2R7X7E3AtpwCNUhqYpbdigcJg==
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=m.vassena AT uu.nl; spf=Pass smtp.mailfrom=m.vassena AT uu.nl; spf=Pass smtp.helo=postmaster AT DB3PR0202CU003.outbound.protection.outlook.com
- Ironport-data: A9a23:xTn3L68vGGOLAVKH/ET6DrUDiHWTJUtcMsCJ2f8bNWPcYEJGY0x3z mBOD2qEb/qKNmqnedx0aIvg8R4DvZDSyIJmQQdlriBEQiMRo6IpJ/zJdxaqZ3v6wu7rFR88s Z1GMrEsCOhuExcwcz/0auCJQUFUjP3OHPymYAL9EngZbRd+Tys8gg5Ulec8g4p56fC0GArlV ena+qUzA3f7nWcoWo4ow/jb8k43566s4GlwUmEWPJingneOzxH5M7pEfcldH1OgKqFIE+izQ fr0zb3R1gs1KD9wYj8Nuu+TnnwiGtY+DyDW4pZlc/TKbix5m8AH+v1T2Mzwxqtgo27hc9hZk L2hvHErIOsjFvWkdO81C3G0H8ziVEHvFXCuzXWX6KSuI0P6n3TE5NZ2AWRxPIkkxcktO1F/9 b8VFyE0V0XW7w626OrTpuhEqu54FPOzZttFkUw4lWqfCus6S5feRamM/cVfwDo7msFJG7DZe tYdbj1sKh/HZnWjOH9KUtRnxL7u2CS5LmIwRFG9/cLb50DWihJ4y6PgNtP9Z8HMQ8E9ckOw/ DuarzukU0FKXDCZ4Sa7w3TwjbP+pD72CYcxP42Z+MRJnnTGkwT/DzVNDgHn/pFVkHWWUNVGb kcQ5yAGtrk37EXtT9/nXhT+rmTsg/IHc99ZEul/7gaX1qrZ/hyeHmUNXDlHMYV+7ZZuGGNs0 UKVldT0AzApqKeSVX+W6raTq3W1JDQRKmgBIyQDSGPp/uUPvqkUrQrCa5FiFJKKoYfPKQDwg D21vREH0uB7YdEw6423+lXOgjSJr5fPTxIo6gi/Yo5DxlMoDGJCT9z4gWU3/cp9wJClok6pn VVspiRzxOUHDJXIkiuXXOUAAauu//uMIjra2Ac3RsB5qmvr/GO/d4dN5j04PF1uLssPZT7uZ gnUpB9V45hQenCtaMebgr5d6ex0l8AM9vy8DJg4i+aihLAtLmdrGwkyPyatM5jFyhRErE3GE c7znTyQJXgbE7976zG9Wv0Q17Qmrghnmj+JFMqkkkz+jevEDJJwdVvjGAvfBgzexPPVyDg5D /4BapvWo/mieLGgPXSPrdBPRbz0BSJkXcqu9qS7idJv0iI9Qzt9VJc9MJskeod/mL9SmPuA9 XanQidlJKnX1BX6xfGxQik7MtvHBM8nxVpiZHBEFQjyhxALP931hI9BLMRfQFXS3LA5pRKCZ 6VfI53YahmOIxybkwkggW7V9d08LUXx1FvSYUJIolEXJvZdeuAAwfe8FiOHycXEJnPfWRIW+ uX6jFHoUtAYSh58Dc3bTvuqwhnj9TIege9+FQ+AaNVaZEymosAgJj3Tn80HBZgGCSzC4T+Gi CeQIxMT/tfWr6EPrdLmuKGjrqWSKdVYIHZ0JWfh0OuJBXHoxVb7mY5ke8SUTA/ZT1LxqfmDZ /0K7vTSM88nvVdtsqglH4020KgVxsDOooVCxV9OB0T7bFWMC5JhLEKZ3MJJiLZ/+79BtSayW WON4tN8O76ZHO/ESns/fBEEaMaH3tEqwgji1+w/ehjG1XUm7Yi5XlV3FDjSri5kdZ9eEp4vm MUls+4osz2PsAIgaIu6v3oF5la3DyIyVos8vcsnG67tsA0gz29CbbH6CiPb5JKuac1GAnI1I w271bbzuLBB+nXsK3YDN2DB/e54t6Q8vBpnyFwjJVPQvvHngvQx/gNa8BVpbwBz4yhE7dlOO TlQBxUoHZmNwjZmv9gcfmaOHwoaOgaV1HaswHQ0lUrYbXKSaErzEEMHN92gxnspq1BnQmAD/ ZWz6nrUbjLxTcSgggowQRFErtLgf/xQ9yrDupmrJJmYFbIbehvguLelPkATmivkAOQwpUzJn vZr9+BOcp/GNTYcjqk4KouC35ISQwCgCE0YZN8554IPP2XXWA/q6Ai0M0rrJ/98fa3bw3G3G +lFB5xpVS3n8A2sszpCJ6oHA4Esrc4T/NBYJ4/afz8XgYC+8AhsnonbrBXlpWkRRN5rr8YxB 6XRex+GEU2SnXFkoHDMnuYVJluHZcQ4WyOk0NCX6OkpE7cxgNNoe2w20Zq2uCyxGylj9BS2o gjCRvH3y8pP9IdSpLbvQ55zX1iMFdDOVeqz4F+StfZKZojxKsvgjV4ehWTmGAV0BoEvfepLu 46Di/PJ+X/Una0XVjnZkqaRFqMS6sSVWvFWA/3NL3JbvHWjW/XHxkIpwEWUCINsk/Vjw+WOV S+9OZK8WvwLV+gAx1lTQTlUSCwZOv/Ndq26+T639MrUADdMzwXWcdGtryfoSUp5dSY4HYL0J SGpmvSp5/Fe9J9tAj1dDd5YIpZIGn3Rcop4SM/Q7B6zEXuNrm6Zn7nthz4M2GruMWaVNtT+7 bbuZAnMRD7rtI7mlNhm4pFP5DsJB3NDsMwMV0M6+fstrhulDWQDfN8vAb9fBr56yiXNhYzFP hfTZ24fCAL4bzROUTP4xP/BBg6/JOg/Cu3VFwwT3XG/SnmJXdubIb5b6C1fzW98eWLjwMGZO NguwCDMESbr8K55Z9Q4x6Kduvhm9MP413hT2EHaku7OOTg8L4gO9kRcGFtqaXSaPeDLzUnFH D1gDyQMCkS2UlX4HstcamZYUkNR9i/myzIzKzyD2pDDsoGc1/dN0+D7J/q16LAYccAWP/Qbc BsbnYdWD7y+gRT/eJfFuu7FRYdYI6mzJJDgdPXIeFVKxOe393gtON4EkWwXVsY+9QVDElTb0 D6x/3w5A0fDI0dUsFFT4Rtc4Ip/CxrgEBmQ5DMTZxef+fD68zQdUwW3igT/QX01g7a2pF1WG V/+c27Iy2B7d1LYSf1Wq+ldoFjv7QT905XbenhAc64eWStAhIOQ+H6NHq36Ox9sHKV4+7hp
- Ironport-hdrordr: A9a23:tzAqza4JFfebHeWWbgPXwVaBI+orL9Y04lQ7vn2ZFiY5TiXIra qTdaogviMc0AxhPk3I6urwQZVoIEmsg6KdhLN8AV7MZniDhILFFuBfBOjZsnTd8k/Fh4lgPM 5bGsAQZuEYZmIK7voSlTPIdurIt+P3kpxA692/815dCSVRL41w5QZwDQiWVmdsQhNdOJY/HJ 2AouJaujuJYx0sH4+GL0hAe9KGi8zAlZrgbxJDLQUg8hOygTSh76O/OwSE3y0ZTyhEzd4ZgC L4ek3Cl+ieWsOAu1DhPlzontprcRzau5p+7fm3+4Qow/PX+0aVjcpaKv6/VXsO0ZmSAR4R4a LxSlEbToxOAjrqDxuIiAqo1A/63Dk07Xj+jVeenHv4uMT8ACk3EsxbmOtiA27kAmcbzaJBOZ hwrhCknosSCQmFkDX25tDOWR0vnk2ooWA6mepWi3BES4MRZLJYsIRapSpuYeA9NTO/7JpiHP hlDcna6voTeVSGb2rBtm0qxNC3RHw8EhqPX0BHsM2I1Dpdmmx/0iIjtbgit2ZF8Ih4R4hP5u zCPKgtnLZSTtUOZaY4H+sFSdvfMB28ffqBW1jiX2gP1Jt3Sk4lh6SHn4ndvtvaBaDg5KFC5K j8bA==
- Ironport-phdr: A9a23:0w0dLxD3KoLv4AoUkkomUyQUkksY04WdBeb1wqQuh78GSKm/5ZOqZ BWZua43ygeRFtyFtqwaw8Pt8IneGkU4oqy9+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7F skRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiTSjbb9oM Bm6sQrdutQXjIZiK6s8ywbCr2dVdehR2W5nKlWfkgrm6Mu34JBt7Tlbteg7985HX6X6fqA4Q qJdAT87LW0759DluAfaQweX6XQSTmsZkhxTAwjY9x76RYv+sjH7tuVmxiaXO9D9QK0uVjSj6 6drTwLoiDsCOjUk/mzbltB8gaRGqx2muhJ/3pXUYJmLO/ViYqPTc9QaRW9bUcZQUSxKH4ewY oQLAuYEO+tTsovzqEYUrRamBQeiGv7hyiNGiHH1waI13P8sHhva0AwlBd8CrGjYoMvzOawPU e611q7IzTDbYv9Y1jjy8pPIcgs/rvGKR71/dNLdwlQoGQ/fk16crYvrMCmP1usRtGiX6uRsX v+ohm4isQ1xvCKgxtw3iobXgIIa0EvJ9ThkwIovI924TFd2bNi5G5Rfqy+ULZF5Qt8+Q252o iY6zKULtJG1cSUWzJkqxALSZ+CEfoSV/x/vSeafLSp5iX9qZr+yhgq+/EyuxOD4V8S630tGo jdZn9fMt30D2R/e58qJRPZ740yv1zGP1wXJ5eFFJ0A5jbTUJIQ6wr8wipUTsV7MHi7smEnsi 6+WbEok9vCn6+TmfrXmpoKcOJRuhgH/NaQjnNG0D+cgMgUWX2WX5/6w2KD/8UHkWrlHj/07n rPZvZ3YPcgXuK+0DxNb34sm9hqzEy2p3dUdkHUZMF5IexeKg5X0N17UJf31COqzj0qqnTx22 f3GOqDhAo7RLnfdirfvYLd96k9Cxwcr0dxS4Y9fBKsbL/LpQEDxscTVDh8nPAywxObqENtz2 54QVGyVHqGVLL3evUOW6u8xLeaAeJMZtTjnJ/gi+v7ukWQ2mVgAfamvwJQbcmi4Hu5hI0WFf 3XjnssBEWYNvgo4VuDqj0CCUSJXZ3a1WKI85Ss3B56hDYfGXoytgbqB0zmnHpBOZm1KFEqAH Wr0e4mZQfsBaSKfLtVhnzEGTbShTpUu1RCqtA/00bpnKe/U9zUdtZ75yth6/fbTlQos+jxyF cuQyHyNT3xukmMOQz86xKZ/rldlxVeZzad4m+BYFcBU5/5RTws2LYTcwPBiC9DuRgLBec+ER 0qhQtW/GD0+UtYxw8IVbEtmANWjjhXD3zKwDLMPlryLAoY08qPG0HTrKcZ90SWO6K50xVIhW 45EMXCsrq957QnaQYDT2Q3NnKGzMK8YwSTl9WGZzGPIslsOAyBqVqCQF04WfVDbq929rmaEB /+LAK4sNUoLgZqHbLVDccbki1xuWeqlPtCIMDH5oHu5GRvdnuDEV4HtYWhIgHS14CkslgkS+ SzDLg0iHmK7pGmYCjVyFFXpakeq8O9kqXr9QFVnhxqSYRhH0Ly4sgUQmeTaU+kai7dCpi46s DhyFX6gwpTQD4nIvBJvKZ1Vesh1+1JbzSTcvg15MIanKvVnwEAXaB96uUrGyggxDIET2dMyo iYSxRFpYbmdzEsHdz6c2sXoPabLL2Dp4B21Q4L8gWnkiIzOoIwysKxj7VL+oAuuC0wutW191 MVY2Ged4ZOMCxcOVZX2UQA88B0SS6jyRC476suU0HRtNfPxqTrew5czA+BjzB+8ftBZOafCF QnoEsRcCdL8YOot00OkaB4JJoUwvOY9It+mev2a2aWqIPconTSoin5C6Zx81UTE/jR1S+rB1 ZIIi/+C2Q7PWzD5hVan+sf5/OIMLTRUAGOk0iXiDaZMe+t0ecdDCGujJdG22sQrn4TkCDZT8 F+uAU9D2df8JEDUNgSkm1MNkxlI8hnF0WOiwjd5ki8ktP+a1S3KmaH5cQYff3RMTy9khEvtJ o69i5YbWlKpZk4njkjAhw6yyq5FqaB4N2SWT11Pen28Kid8W7Cru7yLS9NSrpUs+3YfQKGnb FaWR6So6R5czSr4BGZYzRgmanesvt+q+n4ywHLYJ3F1on3DfMh2zhqK/93QS8la2T8eTTV5g z3abrSlF+Gg5s7c15LKs+TkEnmkSoUWay7gi4WJqCq842RuRxy5hfG63NP9Q0A21iry1t8iU iutzl60Z8/13r+hPORuVlR1Qln4o8Z3AYBxlIIsiYpYhCJc383MuyRa1zqsedxAkbrzdn8MW SIGz5bO7Q7p1VciSxDBj4P1W3OBw9dwMtyzY2cYwCU4vIhBDKaZ6qABnDMg/wD+9FqIJ6Yg2 GpCmp5MoDYAjuoEuRQg1HCYC7EWRwxDODD00g6P5Ja4pblWY2Cmdf6x0lB/lJavFuLnwEkUV XDnd5MlBSI14N94NQeG1Tvt45r/dd/ZRc8O8BuQ2USIn61OJZQ9m+Bfzy8hJ2vmpnAjwsYmk Fpo2dvp2erPY3Uo96W/DBlCMzTzbM5G4TDhg5FVmcOO1pyuFJFsSX0bGYHlRvWyHHcOpOzqY kyQRSYkpC7RSt+9VUePrV1rpHXVH9W3OmGLcTMHmM56SkDVJVQD0lxMGmRg2MZ/TkfzmYTga BsrumhXvwan7EMKkqUxaXydGi/evFv6N21yEcDHakIQtkYbug/UKZDMs7g1RnkCuMXn9EvUd CSaf1gaUDtPAxTfQQilZv73uryiu6CZHrbsdqOSJ+nR77QYD7DRmtquytU0pT/Ub5fWZyAwA aFjghgRGiwpfqaR0zQXFX5NnnqUPZfC/UWypnUs/JL4rKWjWRqxt9GGU+IAaIw2qR7q2fzRZ 7bI3HQrbmsBs/FEjX7QlupF1QZL2Xg3LmujTexb5yWVFPqCyOgKVlYac30hbsIQtvBlh1AfN 5KD0YH7juYg3KxyVg0NEFXlnovBidUiG2imLxuHAU+KMO7DPjjX24TtZqj6T7RMjeJSvhn2u DCBEkalMC7R3zXuUhmuN6lLgkT5dFRGv5qhdx92FWX5ZP7MMSWBaIUv1xYLmeVvwHTXKWQbL D5wNVtXqaGd5j9ZhfM5HHFd6n1iLq+PnCP8jaGQJpsNsPRtCzh5jKoHujJjk+ITsnwCGaM9k TCattN0plC6juSDgiFqVhZDsHcDhY6Gu1ljJbSM9pREXiWhnlpF5mGRBhIW4tp9X4C1/fkIk 56RyeSud2QnkZqc58YXCsnKJdjSNXMgNUCsAzvIFE4fSjXtM2jDhktbmfXU93uPr5F8pIK// fhGArJdSlExEesXT0p/G9lXapIxQDo/irOdheYV+Dy4qFOCIacS9oCCTf+UDfj1fXyBiqJYY hIT3b7iBag5bbXBgxY6MHJHxNyRXU3NQdpKvyttKBcup1lA+2R/SWt13F/5bgSq4zkYEvv+z XtUwkNuJO8q8jnr+VI+IFHH8TAxnEcGktLgmTmNcTT1IfT4TcRMBiHzrUR0LoLjTlM/c1iph UI9fmShJfoZn/56eGtskgOZpZZfBasWU/hfeBFJjfCPO6d0iRIN8GP/gxcAvLaNCIM+xldyN 8f08DQYnVokNYBQR+SYJbIVnAUKwPvW5mnwkLh2mVJWJl5Roj7IPndQ4gpQcOFhfnTg//Qwu 1HY3WIbIy5UEaJt+60PlAt1OvzcnXu4j/gfdQbpcbTYdvzRunCex5SBGgpijxpRxUcZpeAkg 4B/Iy/2Hwgu1OXDTR1RbJibcFgHYZYKryqBOnrf+eTVn8AvNt3kRLmxFL2A6P5P0BL8RF57T cNRt6FjVtGtyB+Kd86/dexckEx/6lizfweOVKwRKkDMzW5PotnhnsV+hdAPf2hEU2shaX7l6 O6P/l14x6fZFJI/ZnNQNmPhHm8rHsu+yXYxV5toESTx1OZLkWBqDhfQjH/oNmGmN4BIWa/MP lVrFc28/ig5/+6uk1nL/57CJmb8c9N/ptvI7uBcrJGCWao8cA==
- Ironport-sdr: 67e4041a_7Qu//kYvhBpIGgTT1cku/banT1hh6IjHVXvj9fbN1fxR+Cg TUitIcRCP4Km4V/TYfxcpYfcfLWfhCSJF6YTy6Q==
The Workshop on Foundations of Computer Security (FCS), is co-located with CSF
in Santa Cruz, CA, USA on June 16, 2025. FCS is a friendly, in-person
1-day workshop that brings together researchers interested in laying the
foundations of secure systems.
FCS welcomes papers on all topics related to the formal underpinnings of
security and privacy, and their applications. The workshop has no formal
proceedings: you are welcome to advertise work that appeared in other venues or
submit your work-in-progress. We are seeking submissions for full-length talks
and short talks. Submissions may conform to any 2-column format accepted by
IEEE, ACM, or USENIX conferences. FCS uses a light form of double-blind
reviewing similar to CSF.
Paper submission: April 6, 2025 (AoE).
Author notification: May 1, 2025
Submission website: https://easychair.org/my/conference?conf=fcs25
For more information, please visit our website: https://fcs-workshop.github.io/fcs2025/
- [Coq-Club] Call for papers: FCS @ CSF'25 (Extended deadline: April 6 AoE), Vassena, M. (Marco), 03/26/2025
Archive powered by MHonArc 2.6.19+.