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
- Date: Mon, 10 Mar 2025 22:00:35 +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=wRDFjenyPwnwsGukA7f6dnUzdrTLG4dur+Aq9Z2QTbs=; b=XHm/zN+M/tq/NlxO2zy4dx2j9IA23EbS9Dyp8JYLsA9NRMsDITu2n5hSgdu/MlXM+HXOaNPfw7wEfM2Onf+//xBx7/U2o/PcNvmSNK8/orCbxHZYaMDVRP/1T7yD21dKLgdH3mJ0m16CZAQ7APKzhneGye9jXFTPdpZktcxsCRjmAuMVlD2yr3GS6Xv02qhfjSSgez01bItfVxhOsXjONXYznRpPvhHpDAwtswhnj9BmYBnDjHjQGipxMVDMETME13cdhQuQGwKUf9mgYPhtRmmYVt37YIhSwOMcC6uKxY4Lmdv9QCY4CzkdH+z3CNtz+xfJqbOCpIsr0SRkxxV8xA==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=QHSnPIUkeA+1HLvnUYGjHcHHiEVPSDGsVf8IuzQioiof77KprVXlXsDky7OpIEY2hPf2Kzd3ra8pL5mCxD2Y0d/fTDwdAWXDRMkVc+lZFfy5lATFGgyVk47HcYgib3I23tdhEoZ9kCZFkuYgeqsg11lrzg2j8Aw8U5jl9bNaoXMZOxIcEbJgFDVLN0fBvXZ0SzPf3ZsWbtFYc0WvkL8YKrqVo8XK/P2sthKfdC4IhPKUCZz254mJ4cF8sZoEOitkEUk8y7+/CNMor3f+17UpeFfq8mTLlLmda0pusrODTVNF2IJ/xWtXB+G3AjazBKPnHZ4/g6VJkKcCPhA1FQoczQ==
- Authentication-results: mail3-smtp-sop.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 EUR03-VI1-obe.outbound.protection.outlook.com
- Ironport-data: A9a23:j402CKNUI0JtBQ/vrR3WnMFynXyQoLVcMsEvi/4bfWQNrUp20jVUx 2pLXj3UM67fM2ujLtAgYYW/oBhSupTTmIIxG3M5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48T8mk/vgqoPUUIbsIjp2SRJvVBAvgBdin/9RqoNziLBVOSvU0 T/Ji5OZYQPNNwJcaDpOtvrY8Us35pwehRtB1rAATaAT1LPhvyJNZH4vDfnZB2f1RIBSAtm7S 47rpF1u1j6xE78FU7tJo56jGqE4aua60Tum1hK6b5Ofbi1q/UTe5EqU2M00Mi+7gx3R9zx4J U4kWZaYEW/FNYWU8AgRvoUx/4iT8sSq9ZeeSUVTv/B/wGX2cljOnd8wLnhmZ4E++ON8D05u0 vAHfWVlghCr34pawZqWd9M03YEdDZCuO4kS/HZ90TveEPAqB4jZRLnH7sNZ2zF2gd1SGfHZZ IwSbj8HgBboP0UJYw9ITstmx6H12BETcBUAwL6Rja9x/WHI1wF32ZDwLZzTfrRmQO0Mxx/B9 zmdoDqR7hcyFe2C13mqwmyXqtDgvAnBZsELBbu536s/6LGU7jdIUkFJPbehmtGyjVf7UNZCI WQP6y82pO4z8laqR5/zRXWFTGWsuxcdX59OErQ39RvVka3SuV7EWC4DUyJLb8EguIkuXzs22 1SVntTvQztyrLmSTnHb/bCRxd+vBcQLBV8DRg1aZ1Un2om5rKcxixnBYfZEHLHg27UZBgrM6 zyNqSE/gZAagsgKy7i38Dj7b9SE9sWhoukdtlW/Y4610j6VcrJJcKSB1TDmARtoKY+YShyfv SEJhtLGt+cIV8nQymqKXfkHG6yv67CdKjrAjFVzHp4nsTOw53qkeoMW6zZ7TKuIDirmUWC1C KMwkVoLjHO2AJdMRfQoC25WI5hxpZUM7fy/CpjpgiNmO/CdjjOv8iB0flK31GvwikUqmqxXE c7ELZ/xUStCWfk/lGDeqwIhPVkDln1WKYT7FcGT8vhb+eTDOiX9pUotbAXRM7hlsv/sTPv9q IkCbpfbo/mgbAEOSnKMq9JMRbz7BX06DorxsMtZaqaIJRB+cFzN+NeAqY7Nj7dNxvwP/s+Rp i/VchYBlDLX2yebQS3UMSoLQO20Av5CQYcTZ31E0aCAgCB7Od7HAWZ2X8dfQITLA8Q6laYqE KdeKpTcahmNIxyekwkggVDGhNQKXHyWacimZkJJuRBmJ8cwFT/asMTpZBXu/yQoBy+6/5l26 b652w+RBdJJSw1+BYyEILii3nGgj0g7wehSZkrvJsUMWUPO9IMxFTf9oMVqKO4xKDLC5ACg6 SCoPTkiq9Pw/rAFqOvyufjcrqOCMfdPIU5BLmyKsZe0LXb7+0Sg869hUcGJX2nRbz7p8o6Df sRQ9en3a9ccrWZJsq19Mrdl9r0/7N3RvI1nzhxoMXHITlazAJViKWmi8egVk4MV3Z5fmw+9e nzXy+lgIb/TZf/USg8AFjQqfsGo9K8ymACLyd8XPU+jxit83ITfYHVoJxPW1RBsdupkArgEn 9UkltUdsTGkqxwQNd2DsCBY2kKMIlEEUIQlrpsqO5DquCV61mB9ZYHgNQGu7KGtc9lsNmwYE g2QjofGhJVewRPmWFg3Hn7vw+FcpMovvDZn8Vw8HGmKy+H13qIP4B5s8DoMXlt0yDdD2LlNI WRFDRB+CpiP2DZKv/J9eV6QNTtPPzCjwXyp+WA1zDXYa2KKSl3yKHYMPLfR3UIBrENZUDtp3 JCZ72fHCDrRIdz79QopeEtfs/e4Z8dAxg7Dv8GGHsq+AJgxZwT+sJKufWYlrxjGA9s7ok/Mt c1G3bxVR/XgFCgyp6YbNdGr5Y4IQkrZGF0YEOBTwqwZOEr9Jhew4GGqAGKscJpvI/fqzxeJO /Z2LJgSayXkhTe8lRFFN6siOLQuoeUI4uAFcbbVJWIrlbuTgz5qkZDI/BjFm24ZbIRyoPk5N 7/uWWqOIk6IiVtQvl39ns1OF267QNsDPSnX/uS+9scXHJMi7sBoV2wP0YWPgnbECzs/oiqov z7CaZTGkM1k64BnxLX3Hot5Wg6bFNLUVcazyj6VjehgV930HPnrixI0sXjiZgRfAqsQUY94l JOLq9/G43nGt7cXDUHapae8FYBbwfuAfs9sa9zGKURHl3C8AP7pskIJ/lmlIrxrjt9y2Mura A+mYsrta9IlYcxXnixPTy14DRwmKr/Wa534rniXtMW8CRk60C3GIui49HTvU3ppSy8QN7D6C S72o/yL5O0EiKhpGzk/GOBBL7pjBl3oSY8KVobWi2GDL2+KhliihOPTpSA442uWNkjeQdfI3 53VYzPfKjGgs77s5/NEudVQuhY3Mi5MsdModBhAx+8s2iGIN09YH+EzKp5cN4p1lBb135TGZ D3gSmsuJCH+fDZceyXH/9XRcVaDN9MKJ+vGCGQlz2GMZweyIbGwMr9r2yNjwnVxIx/I7uWsL /MA8XzRYDm15LxURtgo2//qutc/m8vmxU8J936kwoa2S1wbDK4R3XNsIBtVWGaVW4vRnUHMP i4uSXoCXEi/TlXrHN19f2JOXisUpy7r0y5ieBLnLAwzYGlH5LYoJDzD1+DPPnkrQfkwfOVLe 1KuAmyH7iaRx2AZvrYvt5Qxm6hoBPmXH8+8aqj+WQkVmKL24WMiVy/HtTRaV9ksoWazDHuE/ gRAIVBnbKhGFKyV8KCLjwMNk360emxZFCnH1WYTuhef+SHUDLHll9yC0R+9L5WYR20PealHa G96UXt9aGF6eNcpSfeSexjbSpG67RktKET5
- Ironport-hdrordr: A9a23:Gc87s6yxVPdo65GYuw5ZKrPxsuskLtp133Aq2lEZdPULSKGlfp GV9sjziyWetN9IYgBHpTnyAtj4fZq8z+8C3WB1B9uftWbdyQ+Vxe1ZjLcKoAeQUhEWlNQtsp uIGpIWYLKfMbEQt7eY3ODMKadE/DDxytHLuQ6x9RdQZDAvT5slwxZyCw6dHEEzbhJBH4AFGJ 2V4dcCjya8eFwMB/7LTUUtbqzmnZnmhZjmaRkJC1oM8w+Vlw6l77b8DlyxwgoeaTVS2r0vmF K12TARp5/T/s1T+CWsmFM73K4m1ucJDeEzRfBkv/JlZgkETDzYJLiJFYfy/wzd69vfkGrC2O O82CvIef4Do085N1vF2yfFyk3u1i0j5GTlzkLdiXz/odbhTDZ/EMZZg5lFGyGpnnbIkesMo5 6j5VjpxaZ/HFfFhmDw9tLIXxZlmg69pmcji/caizhaXZEFYLFcoIQD9AcNea1wax7S+cQiCq 1jHcvc7PFZfReTaG3YpHBmxJipUm4oFhmLT0Aesoie0iRQnnp+00wErfZv6kso5dY4Ud1J9u 7EOqNnmPVHSdIXd7t0AKMbTc6+GgX2MGLx2C74GyWYKEjGAQO9l3fa2sRL2AjxQu108HIbou W8bG9l
- Ironport-phdr: A9a23:9Yd+lxOtWZ2DyhuJYakl6nb6BRdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDvq8r1AeCBN+Dt6IMotGVmp6jcFRD26rJiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wE ZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhFiiSxbaluI Bmqogndq9cajZdtJ6sy1xDEvmZGd+NKyGxnIl6egwzy6sCs8pB97i9eoegh98lOUaX7e6Q3U 7lVByk4Pm42+cPmqwDNQROA6XUAXGoWlAFIAxXe4xHhQpjxqCr6ufFj1yScIMb7UKo7WTWm7 6dsVR/olCIKPCM3/W3LlsB9ir9QrxW8qRxi2I7UeJ+aO+Zifq3TetMaQHBOXsdXVydcBo+xY I8CA+8HMO1FrYfyukEOoAO+CweyGe3v1jFGiHzq0qI1yOkuCx3K3Ak6Et4SrHjYstP4P7oSX +Cvy6nIyC3OY/1Z1jjn84jIaQ4uofeWUr11acba1E4hGxnYhVmUroLqJSmV2fgKs2Se4eZrS OWii2s9pwFvuDev3dwshZfPho0P0V3E6Dh5zJwzJd28UUN2Z8OvH5RMuS+ALYR2Xt8iTH9yu CY80rALtpC2cTQOxZkk2xPTd/+Kf5WV7x7+VOidPDZ1iX17db++mxq/9Uaux+n9W8e7zVpGs zZInNnNu34D1BHe6MaJR/1g9Umv3jaP0hrc6uBCIU0si6XUMYUhw74smZoTq0vDHzX2lF/xj K+MeUUo4ueo6+X7YrXmu5+TLJV4igD5Mqkoh8exAvw4PxABUmSH4+iwyaHv8E/jTLlXkvE7n LPVvZDbKMgDuKK0AhNZ34gm5hqiEzupytUVkHwZIF5Zex+KipXlN0zUL/39CPqznkqgnTF2z P3YOr3hH47NLmTdn7f7YLh96k9dxxQrwNxD4Z9fF6sPL+jpWkDrsdzVFh85PBKww+bgENhz2 Y0RV36TDqKXKa/dvlyG6v82L+mLf4AapizxK/845/7ylnA5nkIdfa+00pcNcHC4BPNmI1mHb nXwntcBEGAKvgwkQOztlV2CTTpTZ3G1X6I//D00FIWmDYLbSoCshryOwju7E4VZa2xaEFyAD GvkeoeeV/sRdC6fLNVtnzwFWLS5To8uzxCutAv0y7p9KerU/zUVtZf52Nhr/eLTjgoy+iJyD 8uHyGyNUnx0knkORz8yxKx/p1dyxU+Z0adkm/xYCcBT5/RRXwsnLZLc1fB1C8juWgLdedeEU EqpQtK/AT0oUt0xx8IObF1mFtW5jhHD2jKqDKUPm7yKApw06KPc0GLrK8Zz0XaVnJUm2hMtR dIKPmm7jIZ+8RLSDsjHiQ/Rw62tbOEX2DPH3GaF12uH+k9CBl1eS6LACDohb1DNoNLwogvnC ffuLL09OQwAg4bWL+1UY8bygFNPbOr+ftLaNTHi01ysDAqFk+vfJLHhfH8QiXmMYKBluwUa/ HLdcBM7Gj/kuGXGSjpnCVPoZUrot+h4snKyCEEunEmRd0M08b2z91YOgOCEDesJ1+cB/jkos C55Gl+Vws+QDd7T7xF5cvBkaMgmqExCyXqfsgV8OpK6KKU3gxgAeh9sskXn/whqTINEwoAxt H1/9ANpMuqD1U9ZMTOV2ZelIrrMNmz75wyicYb752uGi5Oo2/5K7/417VL+oAuuC0wutW191 MVY2Ged4ZOMCxcOVZX2UQA88B0SS6jyRC476suU0HRtNfLxqTrew5cyA/NjzB+8ftBZOafCF QnoEsRcCdL8YOot00OkaB4JJoUwvOY9It+mev2a2aWqIPconTSoin5C6Zx81UTE/jR1S+rB1 ZIIi/+C2Q7PWzD5hVan+sf5/OIMLTRUAGOk0iXiDaZMe+t0ecdDCGujJdG22sQrn4TkCDZT8 F+uAU9D2df8JULUNgSim1QIjgJK/y/C+2Pw1TF/njA3o7DK2SXPx7+nbx8bIitQQ3Eki17wI I+yhtRcXU6ybgFvmgH2gCSyj6Vduql7KHHeBElSeC2jZWQkTKKrrbeEauZS9dUutW8EGPT5e l2cRrPn9lEflT3qBHBTwjkTaizsvJGzzHkYwCqNaX10qnTeY8R5wxzSscfdSfBm1T0DXCBki DPTCzBQJvGR9M6P39fGu+G6DCe6U4FLNDLs1cWGvTe64mtjBVu+meqyk5vpC1py3Sj+3thsH SLGyXS0Koytya2hKu9hd2F1GRn674J2F5p/nY05mJwLkSRCwMzNojxeyTy1bIsT0Lm2dHcXQ D8X39PZqBPo3kFuNDPspcqxV3mQxNdge8jvZ2oX3iwn6MUZQKyQ7bFCgW50ug/k9USIOac7x 29Gj6Zwuxt4y6kTtQEgzzuQGOUXFEhcZmn3kgiQqsu5tONRbXqudr650Ax/m8qgBfeMuFI5O j6xd5E8ECt39sg6PkjL1Si578f6ccLLYNQangCJ1RHExbsdONcqm/wGiDAyc2e7o3Q+0OM9h DRzwNe8uMLUTgcltLL8CRleODrvYsoV8Ty4lqdSkPGd2IW3F4lgEDEGD9P4COilGzUIubH7J h6DRXci/2yDF+OVTmr9oA926mjCGJexOzSLKWkFmJ98EQKFKhUXgRhIDmli2M9jUFjsnIu4L Q94/mxDuga+80MTjLoub16mDAK97E+pcmtmFcLZdUIOqFkEvwCMbISf9r4hQnsep8X76lTLc ivCOUxJFT1bBxbCXgi4eOHovZ6ZrI36TqK/N6ecOO3S77ABEa/OndX2jcNn52jebMzXZys7V qRp1BYbBSIrXJiJ/ldHAy0PyXCXZpbC9k7lo3958pjkoqasBFOn5JPRWeFbaYw9oknv06nfb 7XC1H4hcWQKkc5VoB2AgLkHggxIgnk3JWD0SOYO6XaWHqmIwvcFXVlGMmtyLJUatatkh1sUY JeJhI+tjex21qZtWQUCCAap38itYYZiz3iVDFrcHw7LMb2HIWaO2MTreeanTqUWiuxIthq2s DLdEkn5Pz3FmSO7HxyoNOhNimmcMnk88MmldQ1xDGH4UN/8QjCGCocsyAMXmPgzjH6MMnMAO z9hdU8LtqeX8S5TnvR4HSpG82ZhKu6H3S2e6oy6Yt4avOBqDSJ9i+9BqChijeINs2cdHKczx XWap8Umu1y8l+iT1jdrGAFDrDpGnsPDvElvP7nY6ogVWXvA+0Fojy3YABALqt15T9z37vwIj IGXy+SqcGwEroyHmKlUT9LZI8+GLnc7ZB/gGTqPSRAAUSbuLmbHwUpUjPCV8HSR6Jk8sJnl3 pQUGdo5HBQ4EO0XDkN9EZkMOpByC3kh16CSl9UF43OWsQSXQsEQ7fWlHrqCRO7iLjqUl+wOf xwT3bbxNpgeLKXW5nY6MRxEvd2PHEDdG9dQvidmcwk45l1X92RzRXEy3ESjbR6x5HgUFri/m Rt82W4cKaw9sTzr5VkwPF/DoiA9xVIwldvSijeUaDftLa20UNIeG2/uukM2KJ++XxdtYFj4g xl/LDmdDeE07fMoZSVxhQTbo5cKBfNMUfgOfkoL3f/OL/QwjQYA8mP2nwkfo7OCUMYqlRN2I 8L06SsYhEQ7KoZyfPK1RuIBz0AM1P/U+HbwjqZphldZfhtF8XvOKnNS/hVQbP9+YXLvp7Ik6 BTeyWYZPjFUDLxy5KotrxxYWazIzjq8gecbdgbtaKrHafve4jeIlNbWEAk5jhpazhAcr7Yqi Z9xIQ3IByVNhPOQD0pbb8OacFMMNpMA+iSLJnTc9rmciZNtYdfnH7ixH7bX7fQa3hr/TlZxR 9xevINcR/zOmAnZNZm1drddkEd0vV25KgndV6ZCIErTwmVA/pj3zYcpj9NUfmhPWDwkYyvrv u2FqFdy2KjRG4psKjITWo9OXprZcNCn3Shd7S0o5Nif/98jkFPH0R6l4yPaAX/7csZpY+qSa VV0Etaq9D4j8q+wz1nK7pHZIGK8PtNn6IanAQYyuovBDfcGFdFA
- Ironport-sdr: 67cf6104_j1fz7AOP1jzNffK7GTXVANrWmmuwOyn9BXSytw3V8Aon9LG 0IhZCjpMscm8E47l6j3JflgngmPHSlnZMi7coMg==
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: March 30, 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, Vassena, M. (Marco), 03/10/2025
Archive powered by MHonArc 2.6.19+.