add workshop link to index

logsem · May 28, 2024 · b1a9cc2 · b1a9cc2
1 parent de173e7
commit b1a9cc2
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/index.html b/index.html
@@ -103,6 +103,7 @@ <h2>Learning Iris</h2>
           <a name="events"></a>
           <h2>Events</h2>
           <ul>
+            <li>3 June–7 June 2024: <a href="workshop-2024">The Fourth Iris Workshop</a>, Zürich, Switzerland</li>
             <li>15 January 2024: <a
                 href="https://popl24.sigplan.org/details/POPL-2024-tutorialfest/4/Verified-Message-Passing-Concurrency-in-Iris-Separation-Logic-Meets-Session-Types">Tutorial
                 on Iris and Session Types</a> at POPL, London, UK</li>