Projects per year
Fingerprint
- 1 Similar Profiles
Projects
- 1 Active
-
Maths DTP 2021/22 University of Strathclyde | Watters, Sean
Kupke, C. (Principal Investigator), Nordvall Forsberg, F. (Co-investigator) & Watters, S. (Research Co-investigator)
EPSRC (Engineering and Physical Sciences Research Council)
1/10/21 → 1/10/25
Project: Research Studentship - Internally Allocated
Research output
- 1 Paper
-
A fresh look at commutativity: free algebraic structures via fresh lists
Kupke, C., Nordvall Forsberg, F. & Watters, S., 29 Nov 2023, (E-pub ahead of print) p. 1-20. 20 p.Research output: Contribution to conference › Paper › peer-review
Open AccessFile51 Downloads (Pure)
Prizes
-
APLAS 2023 Best paper award
Nordvall Forsberg, F. (Recipient), Watters, S. (Recipient) & Kupke, C. (Recipient), 20 Oct 2023
Prize: Prize (including medals and awards)
-
British Colloquium for Theoretical Computer Science
Lambert, A. (Organiser), Nordvall Forsberg, F. (Organiser) & Watters, S. (Organiser)
14 Apr 2025 → 16 Apr 2025Activity: Participating in or organising an event types › Organiser of major conference
-
Scottish Programming Languages and Verification Summer School 2024
Allais, G. (Organiser), Watters, S. (Organiser), Atkey, B. (Organiser), Nordvall Forsberg, F. (Organiser), Mc Bride, C. (Organiser), de Muijnck-Hughes, J. (Organiser), Lambert, A. (Organiser), Altenmüller, M. (Organiser) & Kupke, C. (Organiser)
29 Jul 2024 → 2 Aug 2024Activity: Participating in or organising an event types › Organiser of special symposia