31st Conference on Types for Proofs and Programs
- Allais, G. (Organiser)
- Allais, G. (Member of programme committee)
- Nordvall Forsberg, F. (Organiser)
- Nordvall Forsberg, F. (Chair)
- Gale, S. (Organiser)
Activity: Participating in or organising an event types › Organiser of major conference