-
Notifications
You must be signed in to change notification settings - Fork 36
Wednesday Meeting, 2022 09 28
Reinis Cirpons edited this page Nov 16, 2022
·
1 revision
- Reinis Cirpons
- Joe Edwards
- James Mitchell
- Oscar Raunio
- Finn Smith
- Maria Tsalakou
- Murray Whyte
- Michael Young
| Participant | Activity |
|---|---|
| Reinis Cirpons | Improving the equal in free band code in Semigroups, working on improved Stephens method. |
| Joe Edwards | Arriving dressed very smart, possibly the most smartly dressed anyone ever has arrived to these meetings. Implementing the Hopcroft-Karp algorithm for checking if two automata recognize the same language. |
| James Mitchell | Making releases of lots of things, talking to Murray and anyone else, and, failing that, working on the code side of the congruences paper. |
| Oscar Raunio | Reading about edge-transitivity and vertex-transitivity. |
| Finn Smith | Finishing off the translations pull request, doing various things for other stuff. |
| Maria Tsalakou | Adding proofs to the congruences paper. |
| Murray Whyte | Implementing the Hopcroft-Karp, tidying up symmetric group presentations in libsemigroups. |
The meeting began at about 14:05, and ended at about 17:30.