Add iFM

Author: pwilke

_data/conferences.yml

@@ -1711,7 +1711,7 @@
     - "2024-03-01"
     - "2024-06-24"
     - "2024-10-18"
-  tags: [SYS, SEC, CONF]
+  tags: [SYS, SEC, CONF, FORMAL]
 
 - name: APLAS
   year: 2023
@@ -1744,7 +1744,6 @@
   timezone: Etc/GMT+12
   tags: [FORMAL, CONF]
 
-
 - name: CC
   year: 2024
   link: https://conf.researchr.org/home/CC-2024
@@ -1764,6 +1763,16 @@
   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/