Welcome to the Third Workshop on Human Aspects of Types and Reasoning Assistants (HATRA '22) submissions site.

Submissions

The deadline for registering submissions has passed.