Add program details

content/program.md

@@ -4,12 +4,27 @@ metadata: none
 weight: 50
 ---
 
-We are excited to announce that the conference program for the 24th International Conference on Runtime Verification is now available! You can explore the complete program for the conference, including speakers and special sessions, at the following link: 
+We are excited to announce that the conference program for the 24th International Conference on Runtime Verification is now available! 
+
+You can explore the complete program for the conference, including speakers and special sessions, at the following link: 
 
 {{< button color="primary" tooltip="https://easychair.org/smart-program/RV2024" href="https://easychair.org/smart-program/RV2024/" class="my-4 p-4">}}
-    Conference Program via EasyChair
+    Conference Program
+{{< /button >}}
+
+The proceedings of the conference are available at:
+
+{{< button color="primary" tooltip="https://link.springer.com/book/9783031742330" class="my-4 p-4">}}
+    Conference Proceedings
 {{< /button >}}
 
+### Social Dinner
+
+The social dinner will take place at [Rumelihisari Iskele](http://www.rumelihisariiskele.com/), a fish and small-plates restaurant located at the narrowest point of the Bosphorus, just a 15-minute walk from the conference venue. The dinner will be held on Wednesday, October 16th, starting from 19:00.
+
+
+{{< image src="img/dinner.jpg" caption="Rumelihisari Iskele Restaurant">}}
+
 ### Tool Showcase
 
 There will be a Tool Showcase session on 16 October, for which we call for tool presentations. We encourage all developers of RV-related tools to present their software (independently of whether or not they have a paper accepted at RV'24). Tables and poster stands will be provided. To register for presentation, please send an email to [[email protected]]() with the name(s) of the presenter(s) and of the tool.