HATRA
Sun 12 - Sat 18 October 2025 SingaporeHATRA 2025 with ICFP/SPLASH 2025Programming 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 20 - Fri 25 October 2024 Pasadena, California, United StatesHATRA with SPLASH 2024Programming 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 22 - Fri 27 October 2023 Cascais, PortugalHATRA 2023 with SPLASH 2023Programming 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 ZealandHATRA 2022 with SPLASH 2022Programming 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 StatesHATRA 2021 with SPLASH 2021Programming 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 ConferenceHATRA 2020 with SPLASH 2020Programming 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 ... |
