Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Final CFP: Formal Methods and Programming Languages Track at CCS'24

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Final CFP: Formal Methods and Programming Languages Track at CCS'24


Chronological Thread 
  • From: Catalin Hritcu <catalin.hritcu AT gmail.com>
  • To: security AT fosad.org, types-announce AT lists.seas.upenn.edu, Coq Club <coq-club AT inria.fr>, CSF-Announcements AT lists.ieee-security.org, csf-attendees AT mail-infsec.cs.uni-saarland.de
  • Subject: [Coq-Club] Final CFP: Formal Methods and Programming Languages Track at CCS'24
  • Date: Wed, 20 Mar 2024 11:08:34 +0100
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=catalin.hritcu AT gmail.com; spf=Pass smtp.mailfrom=catalin.hritcu AT gmail.com; spf=None smtp.helo=postmaster AT mail-pg1-f178.google.com
  • Ironport-data: A9a23:QKqvMa6LCECYVY3PoNT3UQxRtJTDchMFZxGqfqrLsTDasY5as4F+v mtKWW3Sbq2MZGSjeownaYixpEtXvZ+Em9NnGQc6q31hZn8b8sCt6faxfh6hZXvKRiHgZBs6t JtGMoGowOQcFCK0SsKFa+C5xZVE/fjUAOC6UoYoAwgpLSd8UiAtlBl/rOAwh49skLCRDhiE0 T/Ii5S31GSNhXgsbQr414rZ8Ekz5K+o4GtB1rADTakjUGH2xyF94K03fvnZw0vQGuF8AuO8T uDf+7C1lkuxE8AFV7tJOp6iGqE7aua60Tqm0hK6aID+6vR2nRHe545gXBYqhei7vB3S9zx54 I0lWZVd0m7FNIWU8AgWe0Ew/y2TocSqUVIISJSymZX78qHIT5fj6+RzU2okNqtHxsVQCnhk8 NESMxwwYinW0opawJrjIgVtrsEqLc2uJIxG/385kmGfAvEhTpTOBa7N4Le03h9q3pEITauYP ZNEL2MwPHwsYDUXUrsTIJk3gO6sh3+5cydZtFmIjaUy6mnXigd21dABNfKMJ4PXGpwExh/wS mTuoGb7XDNLCc6jzyuF3Eqcp+XSgwnWcddHfFG/3qU32QXMlzJ75ActfVC8uLyyjlO0c8lOL lQdvCsot6k7skKxJuQRRDW9qX+A+wYTAp9eSrJqrg6KzaXQ7kCSAW1soiN9hMIOpdJpbi4h8 AC1vPTiHBZqnbeOZU+Rz+LBxd+tAhQ9IWgHbC4CaAIK5dj/vY0+5i4jqP4zQMZZafWlSVnNL yC2kcQou1kEYSc2O0iT+FnGh3e0qcGMQFdqtkPYWWWq6g4/b4mgD2BJ1bQ5xaYdRGp6ZgDe1 JThpyR4xL5XZX1qvHLXKNjh5Jnzu5643MT02DaD5aUJ+TW34GKEdotN+jx4L0oBGp9bIGe5P xSL518Nv8Y70J6WgUlfM9LZ5yMCnfiIKDgZfqmPBjazSsEtKlXdrX4wDaJu9zqxzBh3+U3AB XtrWZ3xVC5FWPoPIMueSOAa3rsmjiE4ziW7eHwI50XP7FZqX1bMEe1tGALWMIgRtfrYyC2Lq Yo3H5XRkH13DrauChQ7BKZJcjjm21BgVc6owyGWH8bfSjdb9JYJUqSKmep/JNA5wMy4VI7gp xmAZ6OR83Kn7VWvFOlAQikLhGrHBM4k9SAILmY3MEy22nMuR4+q4e1NP9E0ZLQrvqgrh/J9U /BPKY3KD+VtWwb33W0XTaD8i4h+KzWtpwaFZBS+bBYFIpVPeg3u+/3fRDXJyhUgNCSMmPUbn 6yBzSLeGJoKeBRjBp3ZadWp1FKAgkIek+NTAWrNe9laR1rw+6dhOwjOv+8RMc4RG0+S2AnAx wKyBDEGr9LsuK4wysHC3oqfnreqEsx/P0tUJHba5rCILhvn/nKv7ItDceSQdxXPfTnQ1IT7Q ssN1ND6EvkMvGgSgrpGC7wxkJ4PvYr+lYFV3iFPPSvtbW3yLphCP3Pf/81ElpMV949joQHsB 36+oIhLC46oZvHgPkUafjc+T+K50voRpDnewNI1LGj+5w515LC3alpTDTbdlB1iKKZJD619z dcDoMI27ymNuiguOPuCjQFW8D2oBV4EWKMFqJobIdHKjiwG91J8WqHfWxTGuMy3V9ZxM0cRM mC1gojGjO9i3UbsSSc4OkXM+ut/vq4wni524mUMHWnUpeqdtMQLhEVQ1R8VUjVqyg521rMvG 2pzaGxwC6a83xZpo8lhWWqTNRlLL0Cb8Bapyn8itm7Qf2+3XEPjcUw/Pues+hgC0mR+JzJ0w pCR+FzHYx3LIv7j/3IVclF3jtDeVvpNzx3mtOH7OtWaDr84TCHAgKTzVVEXqhDiP9w9tHfHq cZu4ux0T6/xbgwUnIEWFKiY0qY2WjmfBWkfX8xkwrwFLVvcdB62xzKKDUK7IeFJBv7S9H6HG 95cHd1OWzu+xRSxgGgiX4BUGIBNndkt+NYmUZHoLzRfs7Kg8xxYgKiJ/S363GIWU9FilPgmE bzodhWAL3exgEVFkGqcvehGPWuFOeM/XjPe59zs0us1FMMkitpOIGUSybq/ukuHPDR3pyy0u BzxXI6I7uhA57k1oa7SPPRiPSuWJ+n3dty0yyGoktEXbdrwIcbE7AwUjV/8PjVpB7gaWvUpt LGBrO/I2FjhuZAoWVv4gLiELbFCvu+pbdpUM+X2DXhUpjSDU8nS+Ck++3i0BJhKsdFF7Oyle lecRO6vU+UKAvFx6WZwaSdMNzo8UYHMcbbGtyexi9+uGyot+1XLA/3//EC4cFwBUDEDPqPPL zPdutGsw4t9h5tNDhpVPMNWKcZ0D3G7UJR3auCrkyeTC1SppVawurHCsx4EwhOTA1mmFPfK2 770diLcRj+T5p6RlMp4trZstCI5FHx+2Ok8XnwM8u5M1gyVMjQ0EvQ/A74nVLdvjS3A5LPpb mrsbUwjKxnHcxZqTBHe2OnnDyCjXrEgG9GgKjIQqhbeL2/8AY6bG7Ju+xtx+3o8KHOp0OijL spY4XHqeAS4xpZyX+sI+/inmqFdy+jHwm4Ts1XI+yAo783y3Z1RvJCgIOZMacADO8TElUGOP WdsAG4dHxH9Rkn2HsJtPXVSHXn1ed8pIyoANU+yLBT34u13D9GsDNXwPujy1vsIa8FiyHsmW ybsX2XUi4yJ8iV7hEbq0u7FRYd7DPuKGo6xK6qLqcj+WU2vwjxPAv7uVhbjgC3vFMCz3r8de vSRD6ACOXm4
  • Ironport-hdrordr: A9a23:C/Ul9K+YfGJOYynAaHluk+C9I+orL9Y04lQ7vn2ZKCYlEfBw+P rFoB1273PJYVUqOE3I++rvBEDoexq1nqKdirN/AV7NZmTbUROTTb1f0Q==
  • Ironport-phdr: A9a23:gLh1YR+xpCmqtP9uWdS1ngc9DxPPW53KNwIYoqAql6hJOvz6uci4b QqOub413RfgZsby1bFts6nsj+jYQ2sO4JKM4jgpUadncFs7s/gQhBEqG8WfCEf2f7bAZi0+G 9leBhc+pynoeUdaF9zjaFLMv3a88SAdGgnlNQpyO+/5BpPeg9642uys/5DfeQFFiTWybb9uK Bi9sBncuNQRjYZ+Jak9zQfErGFPd+pK221jOEidnwz75se+/Z5j9zpftvc8/MNeUqv0Yro1Q 6VAADspL2466svrtQLeTQSU/XsTTn8WkhtTDAfb6hzxQ4r8vTH7tup53ymaINH2QLUpUjms8 6tnVBnlgzocOjUn7G/YlNB/jKNDoBKguRN/xZLUYJqIP/Z6Z6/RYM8WSXZEUstXSidPAJ6zb 5EXAuUOPehWoYrzqUYQoxSiHgSjHv/jxyVSi3PqwaE30eIsGhzG0gw6GNIOtWzZocvvO6cOS ++1yKjIzTPeZP1Uwzf96ZTIfQw8ofqRWr9/bdDeyVU1GAPBj1WQr5bpPzOP1uQMr2iU8/dgW Pmgi24isQ5xozyvyt0whYnOg4IY01bJ/jh2z4gpP9O3UlJ7YcK6H5tKsSGXL4t7T90iTWxqp Ss3yqAKt56ncSYK1Zkr2R/SZuKIfYSV/h7tVOmcLStliH57ZL6zmRe//0i9x+DiVse63lJHo jZDn9LRuH4N0BnT5dKGSvt75kqhwjeP1w/I6u5ePU84j63bK4QuwrM2i5EdslzDEzfolEnqi KKabEYp9+iy5+j5f7nrpoWQO5J2hwz9NKklh9KyAeAlMggVQ2iU5/682qDi/Uz4XrpHluE6n 6/Eu57AP8sbvLS2AwpN34Yj9Rm/CzCm3cwdnXYdLVJFfAuLj5DmO13TOfz4A+qzjlavnTtxy PDGObrhAprJLnfdirvuYbF960tExAoyy9BQ+Y5UB6kfLP7vXkL9rt/VAx8jPwCq3urqCM9x2 p4cVG+MGqOZNbndsV6M5uIhOemMY4oVtS7hJPc/+/7hl3s5mV4bfaWz3ZsXcnG4Huh6LEWEe nfsjdIBHn0Lvgo6VuDllFqCUTtLa3a0RK0z/is7B56+DYffWoCth6SM0DqjEp1Mem9GEkyME Wvvd4icR/gMbzuSLtZ9nTwASLiuUJQs1QqutQ//07poNPDY+iwetZL51dh6/ffflR8o9W88M 8PIyGyGUnt1gnIgSTgt1aw5plZyjh+fwLB1mLlRE9pU+vVCXy8+NIXA1KphBtnpHB/Zc9GPD luqX5HuKjYoBvk13tVGN016ApCpig3J9yusGb4c0bKRUth82ZnymlH3IcFgzX3L0aQnk0IOR spUKXbgh6Ny+k3ICoXUiUSFhuCtb6tYlCXW+iKK0XaDuk1VXRVYVKzEWTUeYEXNoN+/7ViEU rmvTK8uOxFFwMiObKdHOfPzilATb/7/MdDfZSqRgWasDgvAkriFcIPuemNb3D/cFEMZuw8W9 HeCcwM5A3Hy8CrlEDVyGAe3MAvX+u5kpSb+Fxdsp+nrR0ho1r7vvwUQmeTZUfQYmLQNpCYmr TxwWle7xdPfTdSa9EJ6ZKsJR9Q77R9c0H7B8RRnN8mrJrxrgl8YNQRtvl/lyj14D4xBlY4hq 3Z5hBFqJ/eg2UhaPyidwYi2P7TWLmfo+xX6YKfK01Xf1pCW4KYT4+kQpFDqvQXvHU0noD18y 9cA9Xya693RCRYKF5L8VkFi7x9hu7TTeTUw/avR3HxodLG763rMgo15QuQizRmkcpFUN6bs+ BbaNcocCoDuLeUrnwLsdRcYJKVI86VyOcq6dvyA0artPeB6nTvgg34VqIZ6mlmB8SZxUIuql 94M3u2Y0w2bVjz9kEbps8b5nppBbC0TGWz3wDbtBYpYbKl/NYgRDmLmL8qyz9R4z5njPhwQv FWqG1oC2cnveQCTc1fg9QJV3EUT53egnGrwzjB5lS0osrvKxDbHkIGAPFIMPm9GQnUnjE+5e 9DlyYBHGhLxMk5wy0v2gCSyj7JWr6l+MWTJFEJBfiysanpnTrP1rL2JJchG9JIvtyxTFuW6e 1GTDLDn8H54m2vuGXVTwDcjenSkoJL8ylZxgX6UKHd16nrDeN172D/Q4dXdQbha2T9MF0waw XHHQ0OxOdWk54DenJ7fu+S/USShTJxPejTDwoaJtS/97mpvS07a/bj7ipjsFg401jX+3t9hW HDTrRryVYLs0ryzLeNtekQA6EbU08NhAck+l4IxgMtVwn0GntCP+nFBl27vMNJd0Ka4bXwXR DdNzcSHqATi3URiKDqOyeebHj2Wy9doY9i8JGMM2z428uhFDa6V6PpPmi49rlejrA3XaORwh X9HkapouCNc2bhU/lNynm2UGdVwVQFAMDbplgiU4tz2t6hRaGu1MPCx2Ed4gdG9HeSHqwBYV mz+f8RHf2c45cF+PVTQlXzrv9u8KZ+AMJRJ70DSykiQ3I03YNorm/EHhDRqIzf4tHwhkasgi AB2mIu9t86BInls+6SwBlhZMCf0boUd4GKI7+4Wk8CI0oSoBpgkFC8MWc6iRvu0GTYTs7LnL QeSGyAUpXKSGL6ZFgiaohQDzTqHA9WwOnebKWNMh95rWBCZJUoZgBoVQD4ntpE8HwGugsfmd Q0qg1JZrk69oRxKxOVyMhD5WWqKvwakZAA/T52HJQZX5AVPtA/FdNaT5eVpE2RE74Ws+UaTf 3eDaV0CXgRrEgSUQkruNb606Zzc/viEU6CgeuDWb+zGqPQCBazVg8v+is08o2nKboLVYjFjF 6FphBYFBysiXZ2Hw3NXDHVG8kCFJ8+D+EXipGsu9pr5qLKzH1i3rYqXV+kMb5M1p0Hw0f/Fb 6nK3G54MWoKiclKnCOOkelFmgZV0nELFXHlEKxc53GRCvuKx+kPSUZcMn07NdMUvftkjk8UZ pGd2pWtkeQhxv8tVwUcCgenw5D1I5RMeybkajalTA6KLOjUf2WahZGqJ/rmGfsIy7wL/xyo5 WTBShGlY2TFzmizEUjoaLAEjTnHbkYH5sfnKUcrUjKlFJW/O3jZeJdhhDkyi9XYn1vsMmgRe Xh5ekJJ9PiL6D9Ax+94ECpH52ZkKu+Nn2CY6fPZI9AYq6kjBCM8jO9c7HkgrtkdpChZWPx4n jfTpd9yshmnlOeI0D9uTBtJrH5CmouKuUxoPaiR+INHXD7I+xcE7GPYDBpvxZMtEtr0p6VZ0 cTCjor2ITZGtsrbpI4SXpeEbs2AN3UlPFziHzuVRAoJQDi3NH3O0kxQlPbBkx/d5pM+q5Xqh N8PUuoBDA1zRq5cUB04WoVdcMQSPHtsi7OQgc8W6GDrqRDQQJ8fpZXbTreIBv6pLj+FjL5Cb h9OwLXiLI1VOJeovi4qIlR8gonOHFLdGN5XpSg0JAQ9vExJ8X44Tncyx0n4Qgyo6X4XU/Wzm 1Rl72k2KfRo7zrq71otcxDSozAslUAqhdj/qTWYcTq0NKjpGI8PVHqyuE82PZf2BQ1yaEfh+ C4sfCeBTLVXgbx6cGltgwKJoppDF8lXSqhcaQMRz/WaDx3H+VtZoySjg0RA4LmcYXODvA4jc Jrpt30Zngw6M45zKqvXK65EiFNXg/DW1sdN/u80yQ4aYU0K9THKEBM=
  • Ironport-sdr: 65fab5ca_sMYdRE4B9cGXCdIdlX/0zKokZ7ei8MOw7gsPd+LFkrBXuoX 7GgS+WB4+0NevSPDbzPGYzhSRbUQQniWkKsFQQw==

Dear colleagues,

I would like to draw your attention to the Formal Methods and Programming Languages (FM&PL) Track at the 31st ACM Conference on Computer and Communications Security (CCS'24), for which the second submission deadline is coming up soon:
  • Second Review Cycle deadline: April 29th, 2024 (updated!)
The extended composition of the Program Committee on the FM&PL track of CCS'24 is as follows:
  • Adrien Koutsos (Inria Paris, France)
  • Alejandro Russo (Chalmers University, Sweden)
  • Bas Spitters (Aarhus University, Denmark)
  • Benjamin Gregoire (Inria Sophia-Antipolis, France)
  • Boris Köpf (Azure Research, Microsoft, Cambridge, UK)
  • Bruno Blanchet (Inria Paris, France)
  • Cas Cremers (CISPA Helmholtz Center for Information Security, Saarbrücken, Germany)
  • Clara Schneidewind (MPI-SP, Bochum, Germany)
  • Frank Piessens (KU Leuven, Belgium)
  • Frédéric Besson (Inria Rennes, France)
  • Guido Schmitz (Lancaster University Leipzig, Germany)
  • Ioana Boureanu (University of Surrey, UK)
  • Joshua Gancher (CMU, Pittsburgh, PA, USA)
  • Justin Hsu (Cornell University, Ithaca, NY, USA)
  • Limin Jia (CMU, Pittsburgh, PA, USA)
  • Marco Guarnieri (IMDEA Software Institute, Spain)
  • Mohsen Lesani (University of California, Riverside, CA, USA)
  • Stéphanie Delaune (CNRS, Rennes, France)
  • Swarn Priya (Virginia Tech, Blacksburg, VA, USA)
For more details please check the CCS'24 call for papers:
https://www.sigsac.org/ccs/CCS2024/call-for/call-for-papers.html

Kind regards,
Catalin Hritcu (MPI-SP, Bochum, Germany -- FM&PL Track Chair)



  • [Coq-Club] Final CFP: Formal Methods and Programming Languages Track at CCS'24, Catalin Hritcu, 03/20/2024

Archive powered by MHonArc 2.6.19+.

Top of Page