Welcome to the Human Aspects of Types and Reasoning Assistants (HATRA 2020) submissions site. For general information, see https://2020.splashcon.org/home/hatra-2020.
Submissions
The deadline for registering submissions has passed.
Welcome to the Human Aspects of Types and Reasoning Assistants (HATRA 2020) submissions site. For general information, see https://2020.splashcon.org/home/hatra-2020.
The deadline for registering submissions has passed.