diff --git a/README.md b/README.md
index c09bcdbdc7b529efd107f4ecea37acc197fb6cb6..ad38e54ca7909d568db13ac02d1a790edede1e70 100644
--- a/README.md
+++ b/README.md
@@ -1,6 +1,6 @@
 # IRIS COQ DEVELOPMENT
 
-This is the Coq development of the [Iris Project](http://plv.mpi-sws.org/iris/).
+This is the Coq development of the [Iris Project](http://iris-project.org).
 
 ## Prerequisites