[ lecturer ] adding Jean-Marie

scottish-pl-institute · Jul 29, 2024 · 0332b95 · 0332b95
1 parent 8798e5f
commit 0332b95
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git a/2024-strathclyde/index.md b/2024-strathclyde/index.md
@@ -217,6 +217,12 @@ These required lectures cover foundational knowledge.
 
 Our guest lecture series opens a window to a related field.
 
+**Introduction to Separation Logic**<img class="avatar" src="assets/placeholder.jpg" />
+: **Invited Lecturer:** [Jean-Marie Madiot](https://madiot.fr/)
+: <details open>
+    <summary>Abstract</summary>
+
+  </details>
 
 <details markdown="1">
 <summary>Cancelled</summary>

diff --git a/2024-strathclyde/strath.css b/2024-strathclyde/strath.css
@@ -138,7 +138,7 @@ summary {
 }
 .invited::before {
   color: white;
-  content: "Cancelled";
+  content: "Jean-Marie";
 }
 .registration {
   background-color: lightyellow;