January 2024 STMU/EGM

Published 23 Jan 2024

Hey, everyone! First STMU of 2024 is here! On Wednesday, 31st of January at 18:00 to 21:00 we will have the election of two positions and two speakers. Venue: Informatics Forum G.07.


Manifestos for the two positions are now live! Click here to view them.

Please read on to find out how to add your own, if you are interested.


The positions we’re electing are:

  • Treasurer:

    • Accountable to the committee and members for the finances of the society
    • Reimburses society members for expenses
    • Writing annual financial report
  • Technical Secretary:

    • Maintains technical services (website & Google suite)
    • In charge of technical setup for events
    • Experience with server management is recommended

If you are interested in applying for any of the two positions, you need to do two things:

You need to write a manifesto which will convince everyone to vote for you. It must be a maximum of 200 words and in PDF format. Submit them to [email protected] with your full name and the position you’re applying for in the subject (for example, John Doe, Treasurer). Also include this information in the PDF (this will not count to your word count). The deadline to submit a manifesto is 24 hours before the STMU, so the 30th at 18:00.

Although it is possible to run impromptu on the day, submitting a manifesto will typically give you much better chances to win.

You also need to prepare a speech. Technical secretary has 1 minute for the speech, treausrer has 3 minutes. You may get questions asked afterwards.


This time we have two speakers! Each will be 40 to 60 minutes long.

  • Liam O’Connor, Why domain theory matters. In this talk O’Connor will give a “whirlwind tour of denotational semantics, an oft-neglected but very important branch of theoretical computer science, which truly connects computer programs to mathematics.””
  • Matt Henderson, Animating Mathematically. Matt Henderson has worked as a researcher in conversational language understanding at Google, Apple, PolyAI, and Reka. But in his spare time he creates mathematical animations, explaining concepts like chaos theory with bouncing balls, breadth first search with lightning strike simulations, and cellular automata with Pokémon battles. In this talk, Henderson will dive into a few of his animations, and the code used to generate them.

Finally, we will, as always, have pizza and drinks for you too.

Amendments to the Constitution

We will be voting on an constitutional amendment, which is on our GitHub, see:

CompSoc <3 You!