merge

Author: pwilke

_data/conferences.yml

@@ -141,6 +141,62 @@
   place: Willemstad, Curacao
   tags: [SEC, CRYPTO, CONF]
 
+- name: FPS
+  year: 2022
+  date: "Dec 12–14"
+  description: 15th International Symposium on Foundations & Practice of Security
+  link: https://www.fps-2022.com
+  deadline: ["2022-10-07 23:59"]
+  place: Ottawa, Ontario, Canada
+  tags: [SEC, PRIV, CRYPTO, CONF]
+
+- name: SSR
+  description: Security Standardisation Research Conference
+  year: 2023
+  link: https://ssresearch2023.github.io/
+  deadline: ["2023-01-05 23:59"]
+  date: "April 22-23, 2023"
+  place: Lyon, France
+  tags: [SEC, PRIV, CRYPTO, CONF]
+
+- name: SEED
+  description: IEEE International Symposium on Secure and Private Execution Environment Design
+  year: 2022
+  link: https://seed22.engr.uconn.edu/
+  deadline: ["2022-06-10 23:59"]
+  comment: Title and abstract deadline on June 3
+  date: September 26-27
+  place: Online Event
+  tags: [SEC, PRIV, CONF]
+
+- name: CARDIS
+  year: 2022
+  description: 21st Smart Card Research and Advanced Application Conference
+  link: https://events.cs.bham.ac.uk/cardis2022/
+  deadline: ["2022-06-23 23:59"]
+  timezone: Europe/London
+  date: November 7-9
+  place: Birmingham, UK
+  tags: [SEC, PRIV, CONF]
+
+- name: ICICS
+  year: 2023
+  date: November 18–20
+  description: 25th International Conference on Information and Communications Security
+  link: https://icics23.nankai.edu.cn
+  deadline: ["2023-03-30 23:59"]
+  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
@@ -204,127 +260,14 @@
   place: Leipzig, Germany
   tags: [SEC, PRIV, CONF]
 
-# Privacy
-
-- name: PETS
-  description: Privacy Enhancing Technologies Symposium
-  year: 2025
-  link: https://www.petsymposium.org/cfp25.php
-  deadline:
-    - "%Y-05-31 23:59"
-    - "%Y-08-31 23:59"
-    - "%Y-11-30 23:59"
-    - "%y-02-28 23:59"
-  comment: Rolling deadline every quarter
-  timezone: Etc/GMT+11
-  date: July 2025 (TBC)
-  place: Washington, DC
-  tags: [PRIV, CONF]
-
-- name: LPW
-  description: Location Privacy Workshop
-  year: 2023
-  link: http://security.ucc.ie/lpw23/
-  deadline: ["2023-03-27 23:59"]
-  comment: Co-located with Euro S&P 2023
-  date: July 7
-  place: Delft, The Netherlands
-  tags: [SEC, PRIV, CRYPTO, SHOP]
-
-# Crypto
-
-- name: Inscrypt
-  year: 2023
-  description: International Conference on Information Security and Cryptology
-  link: https://inscrypt2023.github.io/
-  deadline: ["2023-07-15 23:59"]
-  timezone: Etc/GMT-8
-  date: November 11-12
-  place: HangZhou, China
-  tags: [SEC, PRIV, CRYPTO, CONF]
-
-- name: SAC
-  description: Selected Areas in Cryptography
-  year: 2023
-  link: https://sac-workshop.github.io/sac-2023/
-  deadline: ["2023-05-16 11:59"]
-  date: August 16-18
-  place: Fredricton, NB, Canada
-  tags: [CRYPTO, CONF]
-
-- name: Crypto
-  description: International Cryptology Conference
-  year: 2024
-  link: https://crypto.iacr.org/2024/
-  deadline: ["2024-02-13 11:00"]
-  date: August 18-22
-  place: Santa Barbara, CA, USA
-  tags: [CRYPTO, CONF]
-
-- name: Eurocrypt
-  description: European Cryptology Conference
-  year: 2024
-  link: https://eurocrypt.iacr.org/2024/
-  deadline: ["2023-10-06 23:59"]
-  date: May 26-30
-  place: Zurich, Switzerland
-  tags: [CRYPTO, CONF]
-
-- name: Asiacrypt
-  description: International Conference on the Theory and Application of Cryptology and Information Security
-  year: 2024
-  link: https://asiacrypt.iacr.org/2024/
-  deadline: ["2024-05-26 11:59"]
-  timezone: Etc/UTC
-  date: December 9-13
-  place: Kolkata, India
-  tags: [CRYPTO, CONF]
-  
-- name: AFT
-  description: ACM Conference on Advances in Financial Technologies
-  year: 2023
-  link: https://aftconf.github.io/aft23/
-  deadline: ["2023-06-15 23:59"]
-  date: "September 23–26"
-  place: Princeton, NJ, USA
-  tags: [SEC, PRIV, CRYPTO, CONF]
-
-- name: TCC
-  description: Theory of Cryptography Conference
-  year: 2023
-  link: https://tcc.iacr.org/2023/
-  deadline: ["2023-06-01 23:59"]
-  date: "November 29-December 2"
-  place: Taipei, Taiwan
-  tags: [CRYPTO, CONF]
-
-- name: PKC
-  description: International Conference on Practice and Theory of Public Key Cryptography
-  year: 2024
-  link: https://pkc.iacr.org/2024/
-  deadline: ["2023-10-15 09:59"]
-  timezone: Etc/UTC
-  date: April 15-17
-  place: Sydney, Australia
-  tags: [CRYPTO, CONF]
-
-- name: CT-RSA
-  description: RSA Conference Cryptographers’ Track
-  year: 2024
-  link: https://ct-rsa-2024.aau.at/
-  deadline: ["2023-10-02 23:59"]
-  date: May 6-9
-  place: San Francisco, CA, USA
-  tags: [CRYPTO, CONF]
-
 - name: SECRYPT
   description: International Conference on Security and Cryptography
   year: 2024
   link: https://secrypt.scitevents.org/ImportantDates.aspx
   deadline: ["2024-02-15 23:59"]
   date: July 8-10
   place: Dijon, France
-  tags: [CRYPTO, CONF]
+  tags: [SEC, CRYPTO, CONF]
 
 - name: CHES
   description: IACR Transactions on Cryptographic Hardware and Embedded Systems
@@ -468,6 +411,25 @@
   place: Bertinoro, Italy
   tags: [SEC, CONF]
 
+- name: ACSW
+  description: Workshop on Automotive Cyber-Security
+  year: 2024
+  link: https://acsw.unimore.it/
+  deadline: ["2024-03-15 23:59"]
+  date: July 8
+  place: Vienna, Austria
+  tags: [SEC, PRIV, SHOP]
+  
+- name: OSVS
+  description: Workshop on Operating Systems and Virtualization Security
+  year: 2024
+  link: https://osvs.pages.dev/
+  deadline: ["2024-03-15 23:59"]
+  date: July 12
+  place: Vienna, Austria
+  tags: [SEC, PRIV, SHOP]
+
+
 # Others, less frequently updated
 
 - name: SSR
@@ -1444,7 +1406,7 @@
   date: May 9
   place: Bologna, Italy
   tags: [SEC, PRIV, CRYPTO, SHOP]
-  
+
 - name: WASP
   description: Workshop on Attacks and Software Protection
   year: 2023
@@ -2020,3 +1982,54 @@
   link: https://popl24.sigplan.org/
   deadline: ["2023-07-11 AoE"]
   place: London, UK
+  tags: [FORMAL, CONF]
+
+- 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"]
+  timezone: Etc/GMT+12
+  place: Bialystok, Poland
+  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
+  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: 2023
+  place: Poznan, Poland
+  date: "Jun 14-16, 2023"
+  deadline:
+    - "2023-03-12"
+  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
+  year: 2024
+  deadline:
+    - "2023-04-13"
+    - "2023-08-03"
+    - "2023-11-23"
+  tags: [SYS, SEC, CONF]