Wednesday Meeting, 2026 05 27

Wednesday Meeting, 2026-05-27

Lecture Theatre D

Attending

• Reinis Cirpons
• Joe Edwards
• Finn Smith
• Jake Swent
• Joe Ward
• Michael Young

Apologies

• James Mitchell

Minutes

Participant	Activity
Reinis Cirpons	Working on adding tests for semigroups tutorial, then working on formalising the Boone-Novikov undecidability proof
Joe Edwards	Verifying more of the Atlas
Finn Smith	Vetting some MT3510 marking
Jake Swent	Cleaning up Semigroups.JL, and opening some PRs for future maintenance
Joe Ward	Specialising an algorithm for inverse semigroup congruences for graph inverse semigroups
Michael Young	Looking at, and trying to improve, Digraphs' code coverage

The meeting began at 14:00, and ended around 16:30. Some attendees joined virtually via Teams.