SPLASH/ISSTA 2026
Sat 3 - Fri 9 October 2026 Oakland, California, United States
SPLASH/ISSTA 2026 (series) / HATRA 2026 (series) / Human Aspects of Types and Reasoning Assistants (HATRA 2026) /

Organizing Committee HATRA

Jonathan Aldrich

Jonathan Aldrich

Carnegie Mellon University

United States

Michael Coblenz

Michael Coblenz

University of California, San Diego

United States

Will Crichton

Will Crichton

Brown University

United States