remove duplicates

Author: pwilke

_data/conferences.yml

@@ -188,15 +188,6 @@
   place: Tianjin, China
   tags: [SEC, PRIV, CONF]
 
-- name: NordSec
-  year: 2022
-  description: The 27th Nordic Conference on Secure IT Systems
-  link: https://nordsec2022.ru.is/
-  deadline: ["2022-08-22 23:59"]
-  date: "November 30 - December 2"
-  place: Reykjavik, Iceland
-  tags: [SEC, PRIV, CONF]
-
 - name: Euro S&P
   description: IEEE European Symposium on Security and Privacy
   year: 2024
@@ -224,6 +215,24 @@
   place: Bordeaux, France
   tags: [SEC, PRIV, CRYPTO, CONF]
 
+- name: ISC
+  description: Information Security Conference
+  year: 2024
+  link: https://isc24.cs.gmu.edu/
+  deadline: ["2024-06-06 23:59"]
+  date: "October 23-25"
+  place: Arlington, VA, USA
+  tags: [SEC, PRIV, CONF]
+  
+- name: TrustCom
+  description: International Conference on Trust, Security and Privacy in Computing and Communications
+  year: 2023
+  link: https://hpcn.exeter.ac.uk/trustcom2023/
+  deadline: ["2023-07-01 23:59"]
+  date: "November 1 - 3"
+  place: Exeter, UK
+  tags: [SEC, PRIV, CONF]
+  
 - name: IMF
   year: 2024
   date: "September 17–18"
@@ -470,6 +479,16 @@
   place: Tianjin, China
   tags: [SEC, PRIV, CONF]
 
+- name: Security for Space Systems (3S)
+  year: 2024
+  date: "May 27 - 28"
+  description: ESA Security for Space Systems Conference
+  timezone: Etc/UTC-2
+  deadline: ["2024-02-08 23:59"]
+  link: https://atpi.eventsair.com/24a06---3s2024/
+  place: ESTEC, Noordwijk, Netherlands
+  tags: [SEC, CONF]
+
 - name: NordSec
   year: 2022
   description: The 27th Nordic Conference on Secure IT Systems
@@ -1974,165 +1993,3 @@
     - "2023-04-01 23:59"
   tags: [CONF, FORMAL, SYS]
 
-
-- name: POPL
-  description: ACM SIGPLAN Symposium on Principles of Programming Languages
-  year: 2024
-  date: "Jan 17-19, 2024"
-  link: https://popl24.sigplan.org/
-  deadline: ["2023-07-11 AoE"]
-  place: London, UK
-  tags: [FORMAL, CONF]
-
-- name: ITP
-  description: Interactive Theorem Proving
-  year: 2024
-  date: "Sep 9-14, 2024"
-  link: https://itp-conference.github.io/
-  deadline: ["2024-02-13"]
-  timezone: Etc/GMT+12
-  place: Tbilisi, Georgia
-  tags: [FORMAL, CONF]
-
-- name: CAV
-  description:  International Conference on Computer Aided Verification
-  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
-  description: European Conference on Computer Systems
-  link: https://www.eurosys.org/news/eurosys-2024
-  date: "April 23-26"
-  year: 2024
-  deadline:
-    - "2023-05-24"
-    - "2023-10-19"
-  place: Athens, Greece
-  tags: [SYS, CONF]
-
-- name: IFIP Sec
-  description: International Conference on ICT Systems Security and Privacy Protection
-  year: 2024
-  link: https://ifipsec2024.co.uk
-  place: Edinburgh, United Kingdom
-  date: "Jun 12-14, 2024"
-  deadline:
-    - "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 27 - May 1, 2024"
-  place: San Diego, California, USA
-  year: 2024
-  deadline:
-    - "2023-04-13"
-    - "2023-08-03"
-    - "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 23:59"]
-  comment: Abstract registration April 15th AoE (firm).
-  tags: [CONF, FORMAL]
-
-- name: iFM
-  year: 2024
-  link: https://ifm2024.cs.manchester.ac.uk/submissions.html
-  description: International Conference on Integrated Formal Methods
-  date: "November 13-15, 2024"
-  place: "Manchester, UK"
-  deadline: ["2024-06-10 23:59"]
-  comment: Abstract registration June 3rd
-  tags: [CONF, FORMAL]
-
-- name: ICFP
-  year: 2024
-  link: https://icfp24.sigplan.org/
-  description: International Conference on Functional Programming
-  place: "Milan, Italy"
-  deadline: ["2024-02-28 23:59"]
-  date: "Sep 2-7, 2024"
-  tags: [CONF, FORMAL]
-
-- name: SPLASH
-  year: 2024
-  link: https://2024.splashcon.org
-  description: "ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity"
-  date: "Oct 20-25, 2024"
-  place: "Pasadena, CA, USA"
-  deadline:
-    - "2023-10-20 23:59"
-    - "2024-04-05 23:59"
-  tags: [CONF, FORMAL]
-
-- name: ETAPS
-  year: 2024
-  link: https://www.etaps.org/2024
-  description: "European Symposium On Programming"
-  date: "Apr 6-11, 2024"
-  place: "Luxembourg"
-  deadline:
-    - "2023-10-12 23:59"
-  tags: [CONF, FORMAL]
-
-- name: SOSP
-  year: 2024
-  link: https://sigops.org/s/conferences/sosp/2024/
-  description: "Symposium on Operating Systems Principles"
-  date: "Nov 4-6, 2024"
-  place: "Austin, Texas, USA"
-  deadline:
-    - "2023-04-01 23:59"
-  tags: [CONF, FORMAL, SYS]