<div dir="ltr"><p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:8pt"><span style="font-size:11pt;font-family:Arial;font-variant-east-asian:normal;vertical-align:baseline"><br class="gmail-Apple-interchange-newline">==========================================</span></p><p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:8pt"><span style="font-size:11pt;font-family:Arial;font-variant-east-asian:normal;vertical-align:baseline">                     Call for Papers</span></p><p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:8pt"><span style="font-size:11pt;font-family:Arial;font-variant-east-asian:normal;vertical-align:baseline">HATRA 2024: 5th Workshop on </span><span style="font-family:Arial;font-size:11pt">Human Aspects of </span></p><p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:8pt"><span style="font-family:Arial;font-size:11pt">           Types and Reasoning Assistants</span></p><br style="overflow-wrap: break-word;"><p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:8pt"><span style="font-size:11pt;font-family:Arial;font-variant-east-asian:normal;vertical-align:baseline">At SPLASH 2024, Pasadena, California, USA</span></p><br style="overflow-wrap: break-word;"><p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:8pt"><span style="font-size:11pt;font-family:Arial;font-variant-east-asian:normal;vertical-align:baseline">Submission deadline: July 15, 2024 (EXTENDED)</span></p><p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:8pt"><span style="font-size:11pt;font-family:Arial;font-variant-east-asian:normal;vertical-align:baseline"><a href="https://urldefense.com/v3/__https://2024.splashcon.org/home/hatra-2024__;!!IBzWLUs!SLLGEXZ0EAv89BPducZJRf_fGAVtj8P4QId6_LivGL1nv5Z0ZBjofZBD3vOlrEz1jlE-By2dgatIIc2__BWICZOkLSVriQ$">https://2024.splashcon.org/home/hatra-2024</a><br></span></p><p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:8pt"><span style="font-size:11pt;font-family:Arial;font-variant-east-asian:normal;vertical-align:baseline">==========================================</span></p><div class="gmail-tab-content gmail-bound" style="box-sizing:border-box;font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:14px"><div id="gmail-About" class="gmail-tab-pane gmail-active" style="box-sizing:border-box;padding-top:10px"><p style="box-sizing:border-box;margin:0px 0px 10px">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 these approaches as effective as possible for developers, recent work has integrated approaches from human-computer interaction research into programming language design. This workshop brings together programming languages, software engineering, security, and human-computer interaction researchers to investigate methods for making languages that provide stronger safety properties more effective for programmers and software engineers.</p><p style="box-sizing:border-box;margin:0px 0px 10px">We have two goals: (1) to provide a venue for discussion and feedback on early-stage approaches that might enable people to be more effective at achieving stronger safety properties in their programs; (2) to facilitate discussion about relevant topics of participant interest.</p><p style="box-sizing:border-box;margin:0px 0px 10px">HATRA is interested in two different kinds of contributions. First, extended abstracts that summarize an existing body of work that is relevant to the workshop’s topic; the presentations serve to familiarize the community, which may be diverse, with work that already exists. Second, research papers that describe a new idea, approach, or hypothesis in the space and are presented as an opportunity for the authors to receive community feedback and for the community to seek inspiration from others.</p><p style="box-sizing:border-box;margin:0px 0px 10px">The day will be divided into two segments. In the first segment, authors of accepted papers will present their work. In the second segment, we will conduct an “unconference”-style meeting. By allowing the participants to drive the agenda, we hope to focus on topics that provide stimulating and enlightening discussion.</p><p style="box-sizing:border-box;margin:0px 0px 10px">HATRA 2024 will be a hybrid workshop. Participants will be able to join and present in person or remotely.</p><p style="box-sizing:border-box;margin:0px 0px 10px">CALL FOR PAPERS</p></div></div><div class="gmail-tab-content gmail-bound" style="box-sizing:border-box;font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:14px"><div id="gmail-Call-for-Papers" class="gmail-tab-pane gmail-active" style="box-sizing:border-box;padding-top:10px"><p style="box-sizing:border-box;margin:0px 0px 10px">HATRA welcomes two kinds of submissions:</p><ul style="box-sizing:border-box;margin-top:0px;margin-bottom:10px"><li style="padding-bottom:0.6001em;box-sizing:border-box">Extended abstracts (one page) summarizing existing published work that would be of interest to the community.</li><li style="padding-bottom:0.6001em;box-sizing:border-box">Research proposals, position papers, and early-stage result papers. Papers may be up to eight pages long, plus unlimited references. These may describe hypotheses, ideas for research, or early-stage results. The objective is to provide an opportunity for the authors to receive feedback from the community as well as to help inspire participants to identify and clarify their own research directions.</li></ul><p style="box-sizing:border-box;margin:0px 0px 10px">To encourage submission of ideas that may be published in other venues in the future, papers will not be published in the ACM Digital Library.</p><p style="box-sizing:border-box;margin:0px 0px 10px">Topics of interest include, but are not limited to:</p><ul style="box-sizing:border-box;margin-top:0px;margin-bottom:10px"><li style="padding-bottom:0.6001em;box-sizing:border-box">Type system design</li><li style="padding-bottom:0.6001em;box-sizing:border-box">Programming language evaluation</li><li style="padding-bottom:0.6001em;box-sizing:border-box">Programming language and tool design methodology</li><li style="padding-bottom:0.6001em;box-sizing:border-box">Interactive theorem provers</li><li style="padding-bottom:0.6001em;box-sizing:border-box">Lightweight specification tools</li><li style="padding-bottom:0.6001em;box-sizing:border-box">Proof engineering</li><li style="padding-bottom:0.6001em;box-sizing:border-box">Psychology of programming</li><li style="padding-bottom:0.6001em;box-sizing:border-box">Societal or social implications of programming languages and proof assistants</li></ul><p style="box-sizing:border-box;margin:0px 0px 10px">We request that papers be submitted anonymously when feasible. Extended abstracts are likely to include author names.</p><p style="box-sizing:border-box;margin:0px 0px 10px">Papers should use the <a href="https://urldefense.com/v3/__https://www.sigplan.org/Resources/Author/__;!!IBzWLUs!SLLGEXZ0EAv89BPducZJRf_fGAVtj8P4QId6_LivGL1nv5Z0ZBjofZBD3vOlrEz1jlE-By2dgatIIc2__BWICZN8DMxADQ$" style="box-sizing:border-box;background-color:transparent;color:inherit;word-break:break-word;outline:0px">PACMPL templates</a> (the same as the OOPSLA proceedings format: acmart-pacmpl-template.tex file with the acmsmall option).</p><p style="box-sizing:border-box;margin:0px 0px 10px"></p></div></div><p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:8pt"><br class="gmail-Apple-interchange-newline"></p><div style="line-height:1.2;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-family:Arial;font-variant-east-asian:normal;vertical-align:baseline">Organizing Committee for HATRA 2024:</span></div><ul style="margin-top:0px;margin-bottom:0px"><li style="padding-bottom:0.6001em;margin-left:15px;padding-bottom:0.6em;list-style-type:disc;font-size:11pt;font-family:Arial;font-variant-east-asian:normal;vertical-align:baseline"><div style="line-height:1.2;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-variant-east-asian:normal;vertical-align:baseline">Jonathan Aldrich, Carnegie Mellon University</span></div></li><li style="padding-bottom:0.6001em;margin-left:15px;padding-bottom:0.6em;list-style-type:disc;font-size:11pt;font-family:Arial;font-variant-east-asian:normal;vertical-align:baseline"><div style="line-height:1.2;margin-top:0pt;margin-bottom:0pt">Michael Coblenz, University of California, San Diego</div></li><li style="padding-bottom:0.6001em;margin-left:15px;padding-bottom:0.6em;list-style-type:disc;font-size:11pt;font-family:Arial;font-variant-east-asian:normal;vertical-align:baseline"><div style="line-height:1.2;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-variant-east-asian:normal;vertical-align:baseline">Will Crichton, Brown University</span></div></li><li style="padding-bottom:0.6001em;margin-left:15px;padding-bottom:0.6em;list-style-type:disc;font-size:11pt;font-family:Arial;font-variant-east-asian:normal;vertical-align:baseline"><div style="line-height:1.2;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-variant-east-asian:normal;vertical-align:baseline">Cyrus Omar, University of Michigan</span></div></li></ul><br style="overflow-wrap: break-word;"><br style="overflow-wrap: break-word;"><div style="line-height:1.2;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-family:Arial;font-variant-east-asian:normal;vertical-align:baseline">Program Committee for HATRA 2024:</span></div><ul style="margin-top:0px;margin-bottom:0px"><li style="padding-bottom:0.6001em;margin-left:15px;padding-bottom:0.6em;list-style-type:disc;font-size:11pt;font-family:Arial;font-variant-east-asian:normal;vertical-align:baseline"><div style="line-height:1.2;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-variant-east-asian:normal;vertical-align:baseline">Ian Awawjo, Cornell University</span></div></li><li style="padding-bottom:0.6001em;margin-left:15px;padding-bottom:0.6em;list-style-type:disc;font-size:11pt;font-family:Arial;font-variant-east-asian:normal;vertical-align:baseline"><div style="line-height:1.2;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-variant-east-asian:normal;vertical-align:baseline">Shraddha Barke, University of California, San Diego</span></div></li><li style="padding-bottom:0.6001em;margin-left:15px;padding-bottom:0.6em;list-style-type:disc;font-size:11pt;font-family:Arial;font-variant-east-asian:normal;vertical-align:baseline"><div style="line-height:1.2;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-variant-east-asian:normal;vertical-align:baseline">Andrew Blinn, University of Michigan</span></div></li><li style="padding-bottom:0.6001em;margin-left:15px;padding-bottom:0.6em;list-style-type:disc;font-size:11pt;font-family:Arial;font-variant-east-asian:normal;vertical-align:baseline"><div style="line-height:1.2;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-variant-east-asian:normal;vertical-align:baseline">Ravi Chugh, University of Chicago</span></div></li><li style="padding-bottom:0.6001em;margin-left:15px;padding-bottom:0.6em;list-style-type:disc;font-size:11pt;font-family:Arial;font-variant-east-asian:normal;vertical-align:baseline"><div style="line-height:1.2;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-variant-east-asian:normal;vertical-align:baseline">Molly Feldman, Oberlin College</span></div></li><li style="padding-bottom:0.6001em;margin-left:15px;padding-bottom:0.6em;list-style-type:disc;font-size:11pt;font-family:Arial;font-variant-east-asian:normal;vertical-align:baseline"><div style="line-height:1.2;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-variant-east-asian:normal;vertical-align:baseline">Ben Greenman, University of Utah</span></div></li><li style="padding-bottom:0.6001em;margin-left:15px;padding-bottom:0.6em;list-style-type:disc;font-size:11pt;font-family:Arial;font-variant-east-asian:normal;vertical-align:baseline"><div style="line-height:1.2;margin-top:0pt;margin-bottom:0pt">Andrew Head, University of Pennsylvania</div></li><li style="padding-bottom:0.6001em;margin-left:15px;padding-bottom:0.6em;list-style-type:disc;font-size:11pt;font-family:Arial;font-variant-east-asian:normal;vertical-align:baseline"><div style="line-height:1.2;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-variant-east-asian:normal;vertical-align:baseline">Justin Lubin, University of California, Berkeley</span></div></li><li style="padding-bottom:0.6001em;margin-left:15px;padding-bottom:0.6em;list-style-type:disc;font-size:11pt;font-family:Arial;font-variant-east-asian:normal;vertical-align:baseline"><div style="line-height:1.2;margin-top:0pt;margin-bottom:0pt">David Moon, University of Michigan</div></li><li style="padding-bottom:0.6001em;margin-left:15px;padding-bottom:0.6em;list-style-type:disc;font-size:11pt;font-family:Arial;font-variant-east-asian:normal;vertical-align:baseline"><div style="line-height:1.2;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-variant-east-asian:normal;vertical-align:baseline">Niek Mulleners, Utrecht University</span></div></li><li style="padding-bottom:0.6001em;margin-left:15px;padding-bottom:0.6em;list-style-type:disc;font-size:11pt;font-family:Arial;font-variant-east-asian:normal;vertical-align:baseline"><div style="line-height:1.2;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-variant-east-asian:normal;vertical-align:baseline">Tim Nelson, Brown University</span></div></li><li style="padding-bottom:0.6001em;margin-left:15px;padding-bottom:0.6em;list-style-type:disc;font-size:11pt;font-family:Arial;font-variant-east-asian:normal;vertical-align:baseline"><div style="line-height:1.2;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-variant-east-asian:normal;vertical-align:baseline">Peter-Michael Osera, Grinnell College</span></div></li><li style="padding-bottom:0.6001em;margin-left:15px;padding-bottom:0.6em;list-style-type:disc;font-size:11pt;font-family:Arial;font-variant-east-asian:normal;vertical-align:baseline"><div style="line-height:1.2;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-variant-east-asian:normal;vertical-align:baseline">Bryan Parno, Carnegie Mellon University</span></div></li><li style="padding-bottom:0.6001em;margin-left:15px;padding-bottom:0.6em;list-style-type:disc;font-size:11pt;font-family:Arial;font-variant-east-asian:normal;vertical-align:baseline"><div style="line-height:1.2;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-variant-east-asian:normal;vertical-align:baseline">Hila Peleg, Technion</span></div></li><li style="padding-bottom:0.6001em;margin-left:15px;padding-bottom:0.6em;list-style-type:disc;font-size:11pt;font-family:Arial;font-variant-east-asian:normal;vertical-align:baseline"><div style="line-height:1.2;margin-top:0pt;margin-bottom:0pt">Clément Pit-Claudel, EPFL<br></div></li><li style="padding-bottom:0.6001em;margin-left:15px;padding-bottom:0.6em;list-style-type:disc;font-size:11pt;font-family:Arial;font-variant-east-asian:normal;vertical-align:baseline"><div style="line-height:1.2;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-variant-east-asian:normal;vertical-align:baseline">Josh Pollock, MIT</span></div></li></ul></div>