HATRA 2022
Mon 5 - Sat 10 December 2022
Auckland, New Zealand
co-located with
SPLASH 2022
Toggle navigation
Attending
Venue: University of Auckland
Program
Complete Program
Your Program
Mon 5 Dec
Tue 6 Dec
Wed 7 Dec
Thu 8 Dec
Fri 9 Dec
Sat 10 Dec
Tracks
HATRA 2022
Human Aspects of Types and Reasoning Assistants
SPLASH 2022
SPLASH-E
Organization
HATRA 2022 Committees
Track Committees
Human Aspects of Types and Reasoning Assistants
Organizing Committee
Human Aspects of Types and Reasoning Assistants
Program Committee
SPLASH
SPLASH-E
Program Committee
SPLASH-E
Steering Committee
Contributors
People Index
Search
Series
Series
HATRA
HATRA 2023
HATRA 2022
HATRA 2021
HATRA 2020
Sign in
Sign up
Search
x
Sun 1 Sep 00:08