Wednesday Meeting, 2023 07 05

Wednesday Meeting, 2023-07-05

Lecture Theatre D

Attending

• Reinis Cirpons
• Finn Smith
• Maria Tsalakou
• Murray Whyte

Apologies

• James Mitchell
• Michael Young

Minutes

Participant	Activity
Reinis Cirpons	Working on making the Kuth-Bendix backtrack algorithm faster
Finn Smith	Doing the recursive proof stuff for the one relation monoids.
Maria Tsalakou	Working on thesis related things.
Murray Whyte	Reading over work done on symmetric inverse monoid and checking if its correct.

The meeting began at about 13:55, and ended at about 17:30.