Skip to content

Wednesday Meeting, 2023 06 28

reiniscirpons edited this page Aug 16, 2023 · 1 revision

Wednesday Meeting, 2023-06-28

Lecture Theatre D

Attending

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

Apologies

  • James Mitchell

Minutes

Participant Activity
Reinis Cirpons Making the Knuth-Bendix backtrack faster.
Finn Smith Finishing up accesibility template, getting recursive proofs going.
Maria Tsalakou Writing thesis, leaving at 3pm for another meeting.
Murray Whyte Working on something to do with symmetric inverse monoid.

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

Clone this wiki locally