[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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://urldefense.com/v3/__https://www.sigsac.org/ccs/CCS2024/call-for/call-for-papers.html__;!!IBzWLUs!WkzwcOIm7nqeNvMqBM1RTM9Vvu7289rInPvD-yd73bVL9JaoxjpQQs_rIBI3YWWxyPdKR96THGA1wTcnt8nQFNKfPZOJy23UHhyD92E$ Kind regards, Catalin Hritcu (MPI-SP, Bochum, Germany -- FM&PL Track Chair)