diff --git a/README.txt b/README.txt
index dbab903..2dbe193 100644
--- a/README.txt
+++ b/README.txt
@@ -1,6 +1,6 @@
 
             SLiVER 3.0-PREVIEW
-              14 March 2022
+               11 May 2022
 
 The SLiVER LAbS VERification tool
 
diff --git a/__about__.py b/__about__.py
index 5346e68..5c6b232 100644
--- a/__about__.py
+++ b/__about__.py
@@ -7,4 +7,4 @@
 __uri__ = "https://github.com/labs-lang/sliver"
 
 __version__ = "3.0-PREVIEW"
-__date__ = "14 March 2022"
+__date__ = "11 May 2022"