Skip to content

Wednesday Meeting, 2026 04 15

Joseph Edwards edited this page Apr 15, 2026 · 1 revision

Wednesday Meeting, 2026-04-15

Lecture Theatre D

Attending

  • Reinis Cirpons
  • Joe Edwards
  • Frankie Gillis
  • Gabby Glass
  • Josh James-Lee
  • Jess Levine
  • James Mitchell
  • Rheya Monerasinghe
  • Finn Smith
  • Jake Swent
  • Anuj Thakur
  • Joe Ward
  • Michael Young

Apologies

  • Andromeda Stroev

Minutes

Participant Activity
Reinis Cirpons Making a dependency graph for the theorems and lemmas in relation to the monoid generalisation of Thompson's ubiquitous group V
Joe Edwards Updating webhooks, updating doxygen to v1.16.1, and maybe some KnuthBendix stuff
Frankie Gillis Working on DigraphsUpToIsomorphism
Gabby Glass Working on vertex connectivity dissertation
Josh James-Lee Popped in briefly before dissertation presentation; working on some libsemigroups presentation examples
Jess Levine Finishing of dissertation, and bundling the code into a GAP package
James Mitchell Participating in visiting day
Rheya Monerasinghe Checking the doc for colour refinement, and working on VIP presentation
Finn Smith Getting translational hull computation running, and then working on some Matrix stuff
Jake Swent Popped in briefly after dissertation presentation; speaking to James and doing other coursework
Anuj Thakur Working on tests for PRs
Joe Ward Working on graph inverse semigroups presentation
Michael Young Looking at Digraphs PRs, and merging some crossing number things

The meeting began at 14:00 and ended around 17:00. Some attendees joined virtually via Teams.

Clone this wiki locally