-
Notifications
You must be signed in to change notification settings - Fork 35
Wednesday Meeting, 2022 06 22
maria edited this page Jun 30, 2022
·
1 revision
- Reinis Cirpons
- Tilman Froehlich
- Ewan Gilligan
- Olexandr Konovalov
- Artemis Konstantinidi
- Euan Lacy
- James Mitchell
- Chin Nagpal
- Maria Tsalakou
- Finn Smith
- Murray Whyte
- Michael Young
| Participant | Activity |
|---|---|
| Reinis Cirpons | Looking for a new task |
| Tilman Froehlich | Joining for an introductory meeting |
| Ewan Gilligan | Working on his dissertation |
| Olexandr Konovalov | Reviewing computer science things, hanging around |
| Artemis Konstantinidi | Working with Chin on their pull request |
| Euan Lacy | Talking to James and Michael |
| James Mitchell | Talking to participants,trying to fix some issues with matrix objects in the Semigroups package |
| Chin Nagpal | Working with Artemis on their pull request |
| Maria Tsalakou | Working on proofs for the congruences paper |
| Finn Smith | Working on the translations pull request |
| Murray Whyte | Working on his C task |
| Michael Young | Admin work and looking at Kamran's pull request |
The meeting began at about 14:05, and ended at about 17:30.