Skip to Content.
Sympa Menu

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

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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


Chronological Thread 
  • From: Catalin Hritcu <catalin.hritcu AT gmail.com>
  • To: 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, fosad AT cs.unibo.it
  • Subject: [Coq-Club] CFP: Formal Methods and Programming Languages Track at CCS'24
  • Date: Mon, 22 Jan 2024 06:00:00 +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-pj1-f50.google.com
  • Ironport-data: A9a23:EnJWbKvh2bYhlFFNnWrkjBx8lufnVJ5bMUV32f8akzHdYApBsoF/q tZmKWCPPKyNZWb8KdtwOoSwph8BvcPUnYU3HlE6ri09FyNHgMeUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOgTrSCYEidfCc8IA85kxVvhuUltYBhhNm9Emult Mj7yyHlEAbNNwVcbCRMtspvlDs15K6u4GpC5wRlDRx2lAa2e0c9XMp3yZ6ZdCOQrrl8RoaSW +vFxbelyWLVlz9F5gSNz94X2mVTKlLjFVDmZkh+A8BOsTAezsAG6ZvXAdJHAathZ5plqPgqo DlFncTYpQ7EpcQgksxFO/VTO3kW0aGrZNYriJVw2CCe5xSuTpfi/xlhJF80GYRDueA0PTBx2 MU1dBQOUwKqgsvjldpXSsE07igiBMziPYdaonM5iD+EVbApRpfMR6iM7thdtNsyrpoWTLCOO oxDMGQpMUyojx5nYj/7DLo1lfuhgnj5NT1CqU6euII45mHSyEp6172F3N/9I4DVFZ4NzxbIz o7A12PGKRIUBPyu8hmIyVaRne7BlhvwYY1HQdVU8dYv2jV/3Fc7AxoPEFC/vPORkV+7Q9sZK koO+yNoo7JayaCwZtz0Xhn9uHzd+xBBA5xfFOo17AzLwa3Ri+qEOlU5ovd6QIROnKcLqfYCj zdlRvuwXWYx4o6GA2mQ7KmVpj6UMC0YZz1KLywdQAdPp5GprIgvh1idBpxuAYykvO3TQDvQ+ jGtqDRhprMxicVQ6b6302qaiB2Rp7/IbDUP2CPpYkyf4DhUXrWVP76T1QCD7NJrDpqocV2aj X1Vx+mc9L8vCL+OpgysQcIMPrej2NidOhaBg1Q1R5gF3Bau8k6FYop/zmxfJkBoE8BcYh7vQ hbZlj1w7a9pHkmBTPFIcaPoLO81343MKM/DasnESvZvPr1gax6h/gx1QEybglDWj0knlJ8gN aehccqDCWgQDYJlxmGUQ9gx/KAKxCcs43H6XrH+kgqa1ISBaE6vSbsqNEWEasY75vimpCTX6 9NuCNuY+S5AUeHRYjjlzqBLFAokdUMEPJHRr9BbUsWhIQA8QWEoNKL38IMbIodgm/xYq/fM8 nSDQXRn8VvYh0DcCAC0e3tmOaLOX5F+kCoBBhYSH22UglotXYX+y50kVcoTXaIm/+ld3/JLX 6E7W8GfMM9uFBXD2RogNKfYkqIzWiivtwy0OwidXAMeZL9lHgzAxc/ldFDg9Q4IFSuGivE9q LyBiCLeTYYyeAB5KMPwdviU7kiQuEIFk7lYRHr4Idh0eWTt/rN1Kif3sOQFHsEUJTjHxRqYz wyzAypEgcXovKkO74DvqY2fioWmAc9SPxB/JHbKy6SyOQ3x3HuR8aUZXMmmJTniBX7JooO8b uBr/tTAGfwgnnMRlqFjErxunJkM1/G2q5B0lg1bTWj2NXK1AbZdI16D78lFlotJ4pR74QKWe Ea+yuN2CIWzGvHOMQAufVI+T+G5y/srtCHY7q01LGXE9SZHxue7fnsIDSacqh52DeVTC5wk8 9cDqcRNyg2YizgWCPikoB1Q1VyxKi0nb/16mLAcWJTmmyg6+GFkOJb8MBL70LuLStdLM3QpH AOqubr/t+xc6HbvI3sXPlrR7NVZnqUL6UxrzkddBlGnmejlp/4Q3T9NwAszVSBl5Axi6Lt2H FRCKn8vdLu8pSdsoM1lQWqXOhpgASeB8Rfb0Go5l2z+TmipWFfSLWY7B/2/wUAB/09YfRlZ5 Lu92k+/dRrLJebfhjATX2xhoNzdFe1BzBXIwp2bLp7UDqsEbirAqY7wQ2gx8j/MI9473W/Dr slUpNdAU7Xxb3MskvdqGruh9OoiTT6fLzZ/WtBnxqQCGF/cdByU2TSjL0OQeNtHF8fV8H2XW tBfGcZSayuQjCq+jCgXJaopEY9GmPQE4NkjeLSyAUUkt7CZjCRisbOO1yzYqVIofe5TkpcGG tuMTw6BL22euyIF0SuF5sxJIXGxbtQ4dRXxlrL9uvkAE5UY9vpgawcu27+zpG+YKxZj4wnSh g7YeqvK1KZ3/OyARWc3/nlrXG1Y6O8fVdhkNCi2utVKKMvNaILA6ltTpV7gMABbe7AWXrybU FhLXMHfhCv4UHQeCgg1WKVt04FG4MyzWKxcNcefwLxyg36ZQMG1i/cc0znQFHGK+e+xIuGoQ gK5bI27ctt9txKxApFKQ3A2LivxwJgbokstSe1RYhhM5tUgPdT7Ee6a
  • Ironport-hdrordr: A9a23:BaxlYKMlOEN6xcBcTsyjsMiBIKoaSvp037BL7TEXdfUxSKalfq +V7ZcmPHPP6Ar5O0tApTnjAtjjfZq0z/ccirX5Vo3SOTUO1lHYSL2KLrGP/9QjIUDDHyJmup uIupIRNOHN
  • Ironport-phdr: A9a23:1Geo8xLMqL9//79tM9mcuI9vWUAX0o4c3iYr45Yqw4hDbr6kt8y7e hCFtbM33AKCAtiTwskHotSVmpijY1BI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yN s1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9JDffQZFiCCjbb5xL Bi6ogfcu8kLioZ+N6g9zQfErXRPd+lK321kIk6dkQjh7cmq5p5j9CpQu/Ml98FeVKjxYro1Q 79FAjk4Km45/MLkuwXNQguJ/XscT34ZkgFUDAjf7RH1RYn+vy3nvedgwiaaPMn2TbcpWTS+6 qpgVRHlhDsbOzM/7WrakdJ7gr5Frx29phx/24/Ub5+TNPpiZaPWYNcWSXNcUspNSyBNB4WxZ JYNAeUcJ+ZVt4byqVsAoxW9GAeiGv/gxyRSiXPqx6A3yfgtHR3E0QEmAtkAsG7UrNLwNKoKT +261rXIwi/Hb/NX3zf29YrGcgogofGQQb1wbNfaxE4zGAzfklWfs4jlPzKT1ugXs2ib9etgV f6zhG46sAxxrT2vyd0tionNnI4a1lfE9SBgzYszONa3R1J1b8S+H5tMqyGVKZF2QsU6Tmxop is0yr8LtIO7cSQXyJoq2x7RZuGZf4WJ/B/tW/udLSt4in9qZL6zmgi+/VS+xuD9Vse5zUhHo CpLnNTIqnwA0QHY5MaASvt45Eih2DCP2hjI6uFFLkA0jrDUJII7zr43jJoTvkLOFTL1lkXul KKaaFko9+yy5+nkYrjqvIGQO5J1hw3kMqkihsqyCvkmPwgKQmib4vi826P5/UPkQbVLj+M5n 7HFvJ3cOM8VvLS2AxVP3YYm8xu/Dymp0NAfnXQfKVJKYhOHj4zwN1HWIvD0EO6zg1qsnTt33 fzGMbrhApLCLnjHjrjtZ6py60lZyAYrzNBf4YxbCq0ZLf7tRkP8sMbUAxw5PgCu3errFdRw2 pkeVG6TGqOZNbndsV6M5uIhOemMY4oVtS7hJPc/+/7hl3s5mV4bfaWz3ZsXcnG4Huh6LEWEe nfsjdIBHn0Lvgo6VuDllFqCUTtLa3a0RK0z/is7B56+DYffWoCth6SM0DqjEp1Mem9GEkyME Wvvd4icR/gMbzuSLtZ9nTwASLiuUJQs1QqutQ//07poNPDY+iwetZL51dh6/ffflR8o9W88M 8PIz3CVQnoxl2UOQCIw161XpU1m1kzFyqVxmLpFDdFV4bVEXhp+fbXb1qRRD834ElbKec7MQ 1K7SP2nByswR5Q/2YlKK21GNZCLiBbEwiyhDroYkaCQLJg16b7HmXn8Kss40HvNybMgk0hgR dFAcSWtnaA6/hTPCojFnkiCv6OjdKBZ3SjD72qIi2GV+lxeUUtrWKzfWXkZag3aoJCx6ETZR rOGAq9hLw1Aw8nEK7cZRMfuiABtTevqPNXYK0Krmnu7GF7czbqQZY7rfSMdxiTBA1UsnAUa/ HLAPg87UHTy61nCBSBjQAq8K3jn9vNz/TbiFhdcJ2CiakRg0+Dw4RsJnbmGTPhV2LsYuSAno jEyHVCn3tuQBcDT7xF5cvB6ZtUwqExCyXqfrxZ0a5epM6lmh1hYcx52o0jz/xpyA4RE18Mtq SBi1xJ8fJqRy0gJbDaExdb1M7zTJHP1+UWkYrLf3lDYltaM+7sE9dw3rlziuEeiEU9xu25/3 Yxz1H2Rro7PEBJUUZ/1VRMv8ANmorjBfiQnz4bd1HkpKavt9zGfg5QmA+wqzhvmdNBaWE+dP Cn1FcBSR82nKehw3kOscgpBJudZsqg9I8KhcfKCnq+tJudp2jy83yxB58hm30SA+jAZKKaA1 osZw/yewgqMVivtxFanvMftnIlYZDYUVmOhwCngDYRVa+V8Z4EOQWupJsS2wJ15ifuPEzZT/ UKqA1IAns+zeAaZcnTy2ARR0QIcpnnm0Sq0wjpoki04+7KF1X+roayqfx4GN2hXAWh62A20c M7k0pZABRbuMlB68XntrVz3zKVauqllemzaQEMSOjPzM3knSKy78LyLf89I7pos9yRRSuW1J 16AGduf61MX1T3uG2xGyXU1bTav79/ylgBzjGObanZprWbSZOl/wB7e4JrXQvsbjV9kDGFoz CLaAFSxJYzj9tyInpPCtKa+TWO9XYB7fizizIfGvyy+rz4PY1X3j7W4ndvpFhI/2Cnw2oxxV CnGmx37Z5Hiy6WwNe8PklBAPFbn8II6H4h/ltF1n5QMwT0AgZ7T+3MbkGD1ONEd2KTkbXNLS yRZi9LS5QHk3gVkIBfrj8ryX2mUxspnIdmgY38dxwoy6slLDOGf67kMkSZuo1W+pB7cerAnx mZbmaZosidExbxR8AM2q0fVSqgfB0xZITDhm1yT4tayob8WLGejfL6s1VZvyNWoDbWMuAZZC z7yfpYvGzM1790qagqdli2urNu9Jp+NNYF21FXciRrLgulLJYhkk/MLgXAiImfhpTg/zOV9i xVy3Ja8tYzBKmN3/av/DAQLU1+9L84V5Dzpir5T28iM2IX6VJ5oBjwPXZ2uTeipDDkPnfviP geKVjY7rz3IfNiXVR/a80pgo3/VRtqgPm2eIHgfi9V4RQWWOWRQhQkVWHMxmZtzRWXIjITxN Ux+4D4W/FvxrBBBn/lpOxfIWWDavA60az0wRcvXPF9M4wpF/UuQLd2G47c5AXRD5pP45l/oS CTTd0FSAGoOQEDBG13zIuzk+4zb6+bBTuumc6mVPPPX+LQYDavXg8roiNcu/i7QZJvTeCM5V LtihBIFBTcgSqG7030OU3BFyXyLNpbB4k/6omot9oi+6Ki5Blypv9feTesKd40ooUj+gL/fZ bHKwn8lb28JjNVUgiaYrdpXlF8K13MxK3/0S+lG7WiVC/uO0q5PU0xCM3M1bZQXqfJ6hk4XY Ibako+nj+EjyKdkVxEdEwSmw5/MB4RCInnhZgmfVQDbafLff22Nm4auPuu9UeEC1rwK8UDg/ 2/KSQm7eW3S3zjxC0L1aL8K1nrKekcE/tn6K0cIayCrWtviblfT3MZfqzowzPV0g3rLMTRZK j1gawZXqbbW6ypEg/J5EmgH73x/LODClTzLp+/fYo0bt/dmGEEW36pT/Wg6xr1J7SpFWO09m S3cqcRrqk2nle/HwyRuUR5HoDJGzIyRukAqNaLc/5hGEXHKmXBFpX2XEAgPrsB5B8fHvqlRz p3Xlvu2Jmoatd3T+sQYCo7fL8fGeHstPBz1GSLFWQsISTn4UAOXz0dZkfyU6jiUts1g8smqy MdIEOYFEgFtRZZ4Qgx/EdcPIYl6RGYhmL+f1osT4Gam6QPWT4Nct4zGUfSbBbPuLiyYhP9Kf Uhto/uwIIINO4n8w0EnZEN9mdGAEEPMVNRMpGthdA4oq1hl/313T2l10EXgIFDIgjdbBbuvk xg6hxErK/wq7yvp6kwrK0DioSIxlAwpm4ygj23JNjH2K6i0UMddDC++5C1TetvrBg1yawO1h 0ltMjzJEqlQg7VXfmdukAbAuJFLFJa0ooVLZRYRwbecYPB6iDy0Sw2izE5DoPPHUN5syVNsf pmroHZNnQlkaYxtTUQ1DKVMx1lUwKmJu33wvt0=
  • Ironport-sdr: 65adf6ac_1TN21d3rOhy1K3Yn9hMDqiJhTBMJfeML/VDSknUb1ndMY3a NMqUlblm4OnHdeU+BftofWDM03cZbc07ypDAihw==

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 submission deadlines are coming up soon:
  • First Review Cycle: Jan 28, 2024
  • Second Review Cycle: April 14th, 2024 (tentative)
The 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)
  • Clara Schneidewind (MPI-SP, Bochum, Germany)
  • Frank Piessens (KU Leuven, Belgium)
  • Frédéric Besson (Inria Rennes, France)
  • Ioana Boureanu (University of Surrey, UK)
  • 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] CFP: Formal Methods and Programming Languages Track at CCS'24, Catalin Hritcu, 01/22/2024

Archive powered by MHonArc 2.6.19+.

Top of Page