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