Activities per year
- 3 results
Search results
-
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 › 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 › Organiser of special symposia
-
Contributed talk TYPES 2024: "Extensional Finite Sets and Multisets in Type Theory"
Nordvall Forsberg, F. (Contributor), Watters, S. (Speaker) & Kupke, C. (Contributor)
13 Jun 2024Activity: Talk or Presentation › Oral presentation