Activities per year
-
Scottish Programming Languages and Verification Summer School 2024
Guillaume Allais (Organiser), Sean Watters (Organiser), Bob Atkey (Organiser), Fredrik Nordvall Forsberg (Organiser), Conor Mc Bride (Organiser), Jan de Muijnck-Hughes (Organiser), Alasdair Lambert (Organiser), Malin Altenmüller (Organiser) & Clemens Kupke (Organiser)
29 Jul 2024 → 2 Aug 2024Activity: Participating in or organising an event types › Organiser of special symposia
-
Contributed long talk TYPES 2022: TypOS: An “Operating System” for Typechecking Actors
Fredrik Nordvall Forsberg (Speaker), Conor McBride (Contributor), Georgi Nakov (Contributor), Guillaume Allais (Contributor), Malin Altenmüller (Contributor) & Craig Roy (Contributor)
22 Jun 2022Activity: Talk or presentation types › Oral presentation