diff --git a/VERSION b/VERSION
index 7ca8bebe1965379b4b6043b19fd08c236febf3b1..0f31a88fe9c117485030123185d39c06d6e65787 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-17.0+dev
+18.0-beta
\ No newline at end of file
diff --git a/VERSION_CODENAME b/VERSION_CODENAME
index a2870067846d269a565794e0fe80a937844dee8f..fadca8279f3625001cf7cc3aba222a3640c7c4da 100644
--- a/VERSION_CODENAME
+++ b/VERSION_CODENAME
@@ -1 +1 @@
-Chlorine
\ No newline at end of file
+Argon
\ No newline at end of file
diff --git a/opam/opam b/opam/opam
index 35cd093072a9fc0fac35630479dc8ec48ab32fc7..df7158ed6fb625a5804c020bf4ed21ce0b1e56f7 100644
--- a/opam/opam
+++ b/opam/opam
@@ -1,7 +1,7 @@
 opam-version: "2.0"
 name: "frama-c"
 synopsis: "Platform dedicated to the analysis of source code written in C"
-version: "20180502"
+version: "18.0"
 maintainer: "francois.bobot@cea.fr"
 authors: [
   "Michele Alberti"