Wednesday Meeting, 2025 12 10

Wednesday Meeting, 2025-12-10

Lecture Theatre D

Attending

• Devansh Chopra
• Reinis Cirpons
• Joe Edwards
• James Mitchell
• Michael Young

Apologies

Minutes

Participant	Activity
Devansh Chopra	Looking at a few issues on GitHub CI with Michael
Reinis Cirpons	Writing a formalisation of HNN extensions, and reviewing some digraphs PRs
Joe Edwards	Working on overlap iterators for KnuthBendix
James Mitchell	Looking into semester 2 VIP, starting a libsemigroups v3 release, fixing some order things
Michael Young	Doing some marking and speaking with James

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

This slightly scarce meeting was the final meeting of 2025 before the winter break. Meetings will resume in January.