HATRA '21

Sign in


Conference information

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

Submissions

The deadline for registering submissions has passed.