[TYPES/announce] Final CFP: Formal Methods and Programming Languages Track at CCS'24

[Catalin Hritcu]

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)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240320/fbfdb864/attachment.htm>