HATRA 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
co-located with SPLASH 2023
All Editions
Sun 22 - Fri 27 October 2023 Cascais, Portugal

HATRA 2023 with SPLASH 2023

Programming language designers seek to provide strong tools to help developers reason about their programs. For example, the formal methods community seeks to enable developers to prove correctness properties of their code, and type system designers seek to exclude classes of undesirable behavior from programs. The security community creates tools to help developers achieve their security goals. In order to make ...

Mon 5 - Sat 10 December 2022 Auckland, New Zealand

HATRA 2022 with SPLASH 2022

Programming language designers seek to provide strong tools to help developers reason about their programs. For example, the formal methods community seeks to enable developers to prove correctness properties of their code, and type system designers seek to exclude classes of undesirable behavior from programs. The security community creates tools to help developers achieve their security goals. In order to make ...

Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States

HATRA 2021 with SPLASH 2021

Programming language designers seek to provide strong tools to help developers reason about their programs. For example, the formal methods community seeks to enable developers to prove correctness properties of their code, and type system designers seek to exclude classes of undesirable behavior from programs. The security community creates tools to help developers achieve their security goals. In order to make ...

Sun 15 - Fri 20 November 2020 Online Conference

HATRA 2020 with SPLASH 2020

Programming language designers seek to provide strong tools to help developers reason about their programs. For example, the formal methods community seeks to enable developers to prove correctness properties of their code, and type system designers seek to exclude classes of undesirable behavior from programs. The security community creates tools to help developers achieve their security goals. In order to make ...