Wednesday Meeting, 2026 01 14

Wednesday Meeting, 2026-01-14

Lecture Theatre D

Attending

• Reinis Cirpons
• Joe Edwards
• James Mitchell
• Joey Ruiz
• Jake Swent
• Michael Young

Apologies

• Wilf Wilson

Minutes

Participant	Activity
Reinis Cirpons	Talking to James, and doing some formalisation stuff.
Joe Edwards	Reviewing PRs and talking to James about KnuthBendix
James Mitchell	Attending Alan Hood's celebration, and talking to others
Joey Ruiz	Getting a dev version of the semigroups package
Jake Swent	Talking to James about Julia and the upcoming semester
Michael Young	Finding something to do, then leaving at three

The meeting began at 13:45 and ended rather abruptly around 14:30 due to a fire in the New Technology Centre. Some attendees joined virtually via Teams.

This very short meeting was the first of 2026, and hopefully the only one to be ended by a fire.