编程语言设计者寻求提供强大的工具来帮助开发人员推理他们的程序。例如，形式化方法社区寻求使开发人员能够证明其代码的正确性属性，而类型系统设计人员寻求从程序中排除不良行为的类。安全社区创建工具来帮助开发人员实现其安全目标。为了使这些方法对开发人员尽可能有效，最近的工作将人机交互研究的方法集成到编程语言设计中。本研讨会汇集了编程语言、软件工程、安全性和人机交互研究人员，研究如何使语言为程序员和软件工程师提供更强大的安全属性。
我们有两个目标：（1）为早期方法提供讨论和反馈的场所，使人们能够更有效地在其项目中实现更强的安全特性；（2） 促进对参与者感兴趣的相关主题的讨论。
HATRA对两种不同的贡献感兴趣。首先，扩展摘要，总结与研讨会主题相关的现有工作；这些演示有助于让社区熟悉已经存在的工作，社区可能是多种多样的。其次，研究论文描述了空间中的一个新想法、方法或假设，并为作者提供了一个获得社区反馈和社区从他人那里寻求灵感的机会。
这一天将分为两部分。在第一部分，被接受论文的作者将介绍他们的工作。在第二部分，我们将举行一次“非会议”式的会议。通过让参与者推动议程，我们希望将重点放在能够提供激励和启发性讨论的主题上。
HATRA 2023将是一个混合车间。参与者将能够亲自或远程加入并出席。
文件征集
HATRA欢迎两种提交：
- 扩展的摘要（一页）总结了社区感兴趣的现有出版作品。
- 研究提案、立场文件和早期结果文件。论文可能长达八页，外加无限参考。这些可以描述假设、研究思路或早期结果。目的是为作者提供一个从社区获得反馈的机会，并帮助激励参与者确定和澄清自己的研究方向。
为了鼓励提交将来可能在其他场所发表的想法，论文将不会在ACM数字图书馆发表。
感兴趣的主题包括但不限于：
- 类型系统设计
- 编程语言评估
- 编程语言和工具设计方法
- 交互式定理证明器
- 轻型规范工具
- 验证工程
- 编程心理学
- 编程语言和校对助理的社会或社会影响
我们要求在可行的情况下匿名提交论文。扩展摘要可能包括作者姓名。
论文应使用PACMPL模板（与OOPSLA程序格式相同：acmart-pacmpl-模板.tex带有acmsmall选项的文件）。
