Wednesday Meeting, 2026 04 22

Wednesday Meeting, 2026-04-22

Lecture Theatre D

Attending

• Reinis Cirpons
• Joe Edwards
• Frankie Gillis
• Josh James-Lee
• James Mitchell
• Rheya Monerasinghe
• Joey Ruiz
• Finn Smith
• Andromeda Stroev
• Jake Swent
• Anuj Thakur
• Joe Ward
• Claire Young
• Isla Young
• Michael Young

Apologies

Minutes

Participant	Activity
Reinis Cirpons	Making an architecture change for a formalisation relating to the undecidability of the word problem in groups
Joe Edwards	Helping Joey, and picking some issues to slay
Frankie Gillis	Working on DigraphsUpToIsomorphism
Josh James-Lee	Reviewing PR for new presentation implementation, and maybe starting something new
James Mitchell	Talking about VIP things, reviewing PRs, talking to Jake and Andromeda
Rheya Monerasinghe	Working on presentation
Joey Ruiz	Fixing Semigroups installation
Finn Smith	Came by briefly to say hello
Andromeda Stroev	Making a PR for IsBetweenCoverAndLattice
Jake Swent	Talking through Julia stuff
Anuj Thakur	Finishing PR, and pulling things together
Joe Ward	Finalising notes for graph inverse semigroups presentation
Claire Young	Introducing the other attendees to baby Isla
Isla Young	Being adorable
Michael Young	Reviewing PRs and talking to people, and maybe increasing some digraphs code coverage

The meeting began at 14:00, where the participants were very happy to be briefly joined Claire and Isla Young. The meeting and ended around 17:00. Some attendees joined virtually via Teams.