diff --git a/_news.yaml b/_news.yaml index 4ba12d00..be7e7010 100644 --- a/_news.yaml +++ b/_news.yaml @@ -1,3 +1,18 @@ +- start: 16 June 2025 + end: 20 June 2025 + description: + We are organising the 11th Conference on Algebra and Coalgebra in Computer Science and the 41st Conference on the Mathematical Foundations of Programming Semantics at Strathclyde. + +- start: 9 June 2025 + end: 13 June 2025 + description: + We are organising the 31st International Conference on Types for Proofs and Programs at Strathclyde. + +- start: 14 April 2025 + end: 16 April 2025 + description: + We are organising the 41st British Colloquium for Theoretical Computer Science at Strathclyde. + - date: 20 November 2024 description: We are hiring! Come join us as a Chancellor's Fellow in Mathematically Structured Programming. Closing date 5 January 2025.