Update CCS SECRYPT ARES HOST ITP CAV IFIPSEC ASPLOS PLDI FM

Author: pwilke

_data/conferences.yml

@@ -1986,20 +1986,21 @@
 
 - name: ITP
   description: Interactive Theorem Proving
-  year: 2023
-  date: "Jul 31-Aug 4, 2023"
-  link: https://mizar.uwb.edu.pl/ITP2023/
-  deadline: ["2023-02-13 23:59"]
+  year: 2024
+  date: "Sep 9-14, 2024"
+  link: https://itp-conference.github.io/
+  deadline: ["2024-02-13"]
   timezone: Etc/GMT+12
-  place: Bialystok, Poland
+  place: Tbilisi, Georgia
   tags: [FORMAL, CONF]
 
 - name: CAV
   description:  International Conference on Computer Aided Verification
-  link: http://www.i-cav.org/2023/
-  date: "July 17-22, 2023"
-  deadline: ["2023-02-03"]
-  place: Paris, France
+  link: http://www.i-cav.org/2024/
+  date: "July 22-27, 2024"
+  year: 2024
+  deadline: ["2024-01-19"]
+  place: Montreal, Canada
   tags: [FORMAL, CONF]
 
 - name: EuroSys
@@ -2015,21 +2016,74 @@
 
 - name: IFIP Sec
   description: International Conference on ICT Systems Security and Privacy Protection
-  year: 2023
-  place: Poznan, Poland
-  date: "Jun 14-16, 2023"
+  year: 2024
+  link: https://ifipsec2024.co.uk
+  place: Edinburgh, United Kingdom
+  date: "Jun 12-14, 2024"
   deadline:
-    - "2023-03-12"
+    - "2024-01-15"
   tags: [SEC, CONF]
 
 - name: ASPLOS
   description: ACM International Conference on Architectural Support for Programming Languages and Operating Systems
   link: https://www.asplos-conference.org/asplos2024/cfp/
-  date: "April, 2024"
-  place: California, USA
+  date: "April 27 - May 1, 2024"
+  place: San Diego, California, USA
   year: 2024
   deadline:
     - "2023-04-13"
     - "2023-08-03"
-    - "2023-11-23"
+    - "2023-11-24"
   tags: [SYS, SEC, CONF]
+
+- name: APLAS
+  year: 2023
+  description: Asian Symposium on Programming Languages and Systems
+  link: https://conf.researchr.org/home/aplas-2023
+  date: "Nov 27-29, 2023"
+  place: Taipei, Taiwan
+  deadline: ["2023-06-15"]
+  tags: [FORMAL, SYS, CONF]
+
+
+
+- name: PLDI
+  year: 2024
+  description: ACM SIGPLAN Conference on Programming Language Design and Implementation
+  link: https://pldi24.sigplan.org/
+  date: "June 24-28, 2024"
+  place: Copenhagen, Denmark
+  deadline: ["2023-11-16"]
+  tags: [FORMAL, SYS, CONF]
+
+- name: CPP
+  year: 2024
+  description: Certified Programs and Proofs
+  link: https://popl24.sigplan.org/home/CPP-2024
+  date: "Jan 15-16, 2024"
+  place: London, UK
+  comment: Colocated with POPL
+  deadline: ["2023-09-12 23:59"]
+  timezone: Etc/GMT+12
+  tags: [FORMAL, CONF]
+
+
+- name: CC
+  year: 2024
+  link: https://conf.researchr.org/home/CC-2024
+  description: International Conference on Compiler Construction
+  date: "Mar 2-3, 2024"
+  place: Edinburgh, UK
+  deadline: ["2024-01-27"]
+  tags: [CONF, FORMAL]
+
+- name: FM
+  year: 2024
+  link: https://www.fm24.polimi.it/
+  description: International Symposium on Formal Methods
+  date: "Sep 11-13, 2024"
+  place: "Milano, Italy"
+  deadline: ["2024-04-19"]
+  comment: Abstract registration April 15th AoE (firm).
+  tags: [CONF, FORMAL]
+