[ news ] conferences

_news.yaml

@@ -1,3 +1,18 @@
+- start: 16 June 2025
+  end: 20 June 2025
+  description:
+    We are organising the <a href="https://www.coalg.org/calco-mfps-2025/">11th Conference on Algebra and Coalgebra in Computer Science and the 41st Conference on the Mathematical Foundations of Programming Semantics</a> at Strathclyde.
+
+- start: 9 June 2025
+  end: 13 June 2025
+  description:
+    We are organising the <a href="https://msp.cis.strath.ac.uk/types2025/">31st International Conference on Types for Proofs and Programs</a> at Strathclyde.
+
+- start: 14 April 2025
+  end: 16 April 2025
+  description:
+    We are organising the <a href="https://msp.cis.strath.ac.uk/bctcs2025/">41st British Colloquium for Theoretical Computer Science</a> at Strathclyde.
+
 - date: 20 November 2024
   description:
     We are hiring! Come join us as a <a href="https://www.jobs.ac.uk/job/DKR108/strathclyde-chancellors-fellow-in-mathematically-structured-programming">Chancellor's Fellow in Mathematically Structured Programming</a>. Closing date 5 January 2025.