-
Notifications
You must be signed in to change notification settings - Fork 36
Wednesday Meeting, 2020 11 04
Finn Smith edited this page Nov 11, 2020
·
1 revision
- Marina Anagnostopoulou-Merkouri
- Tom Conti-Leslie
- Luke Elliott
- Ewan Gilligan
- James Mitchell
- Yann Peresse
- Finn Smith
- Michael Torpey
- Maria Tsalakou
Samantha Harper
| Participant | Activity |
|---|---|
| Marina Anagnostopoulou-Merkouri | Working on fixing issues with dominators algorithm identified by Marina and Sam |
| Tom Conti-Leslie | Working on decomposing normal cryptogroups into semilattices of completely simple semigroups |
| Luke Elliott | Building large (and efficient?) transducer to verify and conjecture |
| Ewan Gilligan | Writing second graph-colouring algorithm |
| James Mitchell | Working with Marina and Tom on various things |
| Yann Peresse | Working on IsCryptoGroup implementation in Semigroups |
| Finn Smith | Writing matrix paper, working with Yann |
| Michael Torpey | Marking, using leftover time for PackageManager refactoring and issues |
| Maria Tsalakou | Working on pybind11 documentation |
The meeting began at about 14:00 and ended at around 18:45.