advertise conferences

_templates/default.html

@@ -35,10 +35,14 @@ <h2><a id="a-uos" href="http://www.strath.ac.uk/">University of Strathclyde</a><
                 {{content}}
             </div>
             <div class="sidebar">
-              <h3>Lecturer/Senior Lecturer position</h3>
-                <p>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.
-                {{contact}}
-              </div>
+              <h3>BCTCS 2025</h3>
+                <p>We are organising the <a href="https://msp.cis.strath.ac.uk/bctcs2025/">41st British Colloquium for Theoretical Computer Science</a> 14&ndash;16 April 2025.</p>
+              <h3>TYPES 2025</h3>
+                <p>We are organising the <a href="https://msp.cis.strath.ac.uk/types2025/">31st International Conference on Types for Proofs and Programs</a> 9&ndash;13 June 2025.</p>
+              <h3>CALCO/MFPS 2025</h3>
+                <p>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> 16&ndash;20 June 2025.</p>
+              {{contact}}
+            </div>
 
         </section>
         <div class="footer">