Welcome to the 7th Workshop on Human Aspects of Types and Reasoning Assistants (HATRA 2026) submissions site. For general information, see https://conf.researchr.org/home/splash-issta-2026/hatra-2026.
Submissions
The deadline for registering submissions has passed.