diff --git a/submissions/iprover.json b/submissions/iprover.json
new file mode 100644
index 00000000..e50a97a5
--- /dev/null
+++ b/submissions/iprover.json
@@ -0,0 +1,27 @@
+{
+    "name": "iProver v3.9",
+    "contributors": [       
+        { "name": "Konstantin Korovin", "website": "http://www.cs.man.ac.uk/~korovink/" }
+    ],
+    "contacts": ["Konstantin Korovin <kostyakor@gmail.com>"],
+    "archive": {
+        "url": "TBA",
+        "h": { "sha256": "012345" }
+    },
+    "website": "https://gitlab.com/korovin/iprover",
+    "system_description": "http://www.cs.man.ac.uk/~korovink/iprover-smt-comp-2024.pdf",
+    "command": ["TBA relative_cmd", "TBA default_command_line"],
+    "solver_type": "wrapped",
+    "participations": [
+        { "tracks": ["SingleQuery"],
+          "divisions" :["Arith","Equality","Equality+LinearArith","Equality+NonLinearArith",],
+          
+          "logics": ["ALIA, ANIA, AUFDTLIA, AUFDTLIRA, AUFDTNIRA, AUFLIA, AUFLIRA, AUFNIA, AUFNIRA, LIA, LRA, NIA, NRA, UF, UFDT, UFDTLIA, UFDTLIRA, UFDTNIA, UFDTNIRA, UFIDL, UFLIA, UFLRA, UFNIA"] },
+          { "tracks": ["Parallel"],
+          "divisions" :["Arith","Equality","Equality+LinearArith","Equality+NonLinearArith"],
+          
+          "logics": ["ALIA, ANIA, AUFDTLIA, AUFDTLIRA, AUFDTNIRA, AUFLIA, AUFLIRA, AUFNIA, AUFNIRA, LIA, LRA, NIA, NRA, UF, UFDT, UFDTLIA, UFDTLIRA, UFDTNIA, UFDTNIRA, UFIDL, UFLIA, UFLRA, UFNIA"] }
+        
+      
+    ]
+}