Welcome to the 6th International Workshop on Human Aspects of Types and Reasoning Assistants (HATRA 2025) submissions site.
Sign in using your HotCRP.com username and password.
New to the site? Create an account
Sign in to manage submissions.
Deadline: Thursday Jul 3, 2025, 11:59 AM UTC