diff --git a/README.md b/README.md
index dd171b0d3c1839fd86fd8d700cb1c81f8d17e107..9a3fb812c6fc4ac86c3cd448698440a7ff1f91d5 100644
--- a/README.md
+++ b/README.md
@@ -108,6 +108,9 @@ that should be compatible with this version:
 * [Iron](https://gitlab.mpi-sws.org/iris/iron) is a linear separation logic
   built on top of Iris for precise reasoning about resources (such as making
   sure there are no memory leaks).
+* [Actris](https://gitlab.mpi-sws.org/iris/actris) is a separation logic
+  built on top of Iris for session-type based reasoning of message-passing
+  programs.
 
 ## Further Resources