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)
Activity: Participating in or organising an event types › Organiser of special symposia