Wednesday Meeting, 2026 06 10

Wednesday Meeting, 2026-06-10

Online via Teams

Attending

• Reinis Cirpons
• Joe Edwards
• James Mitchell
• Finn Smith

Apologies

• Michael Young

Minutes

Participant	Activity
Reinis Cirpons	Working on Thompson's Group formalisation
Joe Edwards	Implementing RPO alphabet inference
James Mitchell	Implementing RPO alphabet inference
Finn Smith	Recovering from misconduct board, and writing reference letters

The meeting began at 14:00, and ended around 17:00 after a brief hiatus in the middle. This meeting was held on Teams.