modified: index.html

index.html

@@ -268,8 +268,18 @@
 	picture-in-picture" allowfullscreen></iframe>
       </center>
 
-      <h3 id="program">Program</h3>
+            <h3>Proceedings</h3>
+
+      <p>
+	The RAMiCS-18 proceedings are available
+	at <a href="https://link.springer.com/book/10.1007/978-3-030-88701-8">the
+	  Springer website</a>.
+	<!--
+	and
+	at <a href="http://link.springer.com/openurl.asp?genre=issue&issn=0302-9743&volume=12062">SpringerLink</a>. -->
+      </p>
 
+      <h3 id="program">Program</h3>
       
 
       All times in CET; click on time to convert to other time zones.