Welcome to the 5th Workshop on Human Aspects of Types and Reasoning Assistants (HATRA 2024) submissions site.

Submissions

Sign in to manage submissions.

Deadline: Monday Jul 8, 2024, 11:59:59 AM UTC