diff --git a/submissions/COLIBRI.json b/submissions/COLIBRI.json
new file mode 100644
index 000000000..27f3339c7
--- /dev/null
+++ b/submissions/COLIBRI.json
@@ -0,0 +1,22 @@
+{
+    "name": "COLIBRI",
+    "contributors": [
+        "Bruno Marre", "François Bobot", "Christophe Junke"
+    ],
+    "contacts": ["François Bobot <francois.bobot@cea.fr>"],
+    "archive": {
+        "url": "https://zenodo.org/records/20639619/files/colibri-2026.06-v5.tar.gz?download=1"
+    },
+    "website": "http://colibri.frama-c.com/",
+    "system_description": "https://colibri.frama-c.com/assets/documents/colibri_2026.pdf",
+    "command": ["colibri-2026.06-v5/colibri", "--memlimit", "5000"],
+    "solver_type": "Standalone",
+    "participations": [
+        {
+            "tracks": ["SingleQuery"],
+            "divisions": ["QF_FPArith"]
+        }
+    ],
+    "seed": 0,
+    "final" : true
+}
diff --git a/submissions/colibri2.json b/submissions/colibri2.json
new file mode 100644
index 000000000..52f8c79ff
--- /dev/null
+++ b/submissions/colibri2.json
@@ -0,0 +1,30 @@
+{
+    "name": "colibri2",
+    "contributors": [
+        "François Bobot",
+        "Hichem Rami Ait El Hara",
+        "Christophe Junke"
+    ],
+    "contacts": ["François Bobot <francois.bobot@cea.fr>"],
+    "archive": {
+        "url": "https://zenodo.org/records/20639259/files/colibri2_ef72cb1a.tar.gz?download=1"
+    },
+    "website": "http://colibri.frama-c.com/",
+    "system_description": "https://colibri.frama-c.com/assets/documents/colibri2_2026.pdf",
+    "solver_type": "Standalone",
+    "seed": "72",
+    "final": true,
+    "participations": [
+        {
+            "tracks": ["SingleQuery"],
+            "divisions": ["QF_FPArith"],
+            "command": ["bin/colibri2"]
+        },
+        {
+            "tracks": ["SingleQuery"],
+            "divisions": ["FPArith"],
+            "command": ["bin/colibri2", "--try-disprove-forall-using-domain" ],
+            "experimental" : true
+        }
+    ]
+}