Activities per year
- 3 results
Search results
-
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
-
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 types › Oral presentation
-
Scottish Programming Languages and Verification Summer School 2019
Nordvall Forsberg, F. (Organiser), Kupke, C. (Organiser) & Atkey, B. (Organiser)
5 Aug 2019 → 9 Aug 2019Activity: Participating in or organising an event types › Organiser of special symposia