Conference · Workshop on Human Aspects of Types and Reasoning Assistants
HATRA 2026
Official page- Type
- Conference
- Organisation
- Workshop on Human Aspects of Types and Reasoning Assistants
- Location
- Oakland, California, United States
- Takes place
- 4 October 2026
- Found
- 26 September 2026
About this listing
Workshop on Human Aspects of Types and Reasoning Assistants. Held in Oakland, California, United States. Programming languages, software engineering, security, and human-computer interaction together on what makes stronger safety properties usable by the programmers who have to live with them. Held with SPLASH 2026. Topics: type systems, programming languages, theorem proving, verification. Listed by PLFM (https://pl-fm.github.io/, MIT).
Last checked 4 October 2026. Found via PLFM (pl-fm.github.io).