Conference · International Conference on Types for Proofs and Programs
TYPES 2027
Official page- Type
- Conference
- Organisation
- International Conference on Types for Proofs and Programs
- Location
- Udine, Italy
- Takes place
- 7 June 2027 to 11 June 2027
- Found
- 26 September 2026
About this listing
International Conference on Types for Proofs and Programs. Held in Udine, Italy. Topics: type systems, theorem proving, logic, semantics. Listed by PLFM (https://pl-fm.github.io/, MIT).
Last checked 9 October 2026. Found via PLFM (pl-fm.github.io).