Welcome to the 6th International Workshop on Human Aspects of Types and Reasoning Assistants (HATRA 2025) submissions site.

Submissions

The deadline for registering submissions has passed.