Clemens Kupke

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 2024

  Activity: 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 2024

  Activity: 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 2019

  Activity: Participating in or organising an event types › Organiser of special symposia