
<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">

<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>

</head>

<body dir="ltr">

<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

Second ACM SIGPLAN Workshop on Gradual Typing (WGT) to be held on

<div>January 16th, 2022 in Philadelphia co-hosted with POPL.</div>

<div><br>

</div>

<div>Important dates</div>

<div>---------------</div>

<div><br>

</div>

<div>* Submission deadline: Monday, October the 18th, 2021</div>

<div>* Notification: Sunday, November the 28th, 2021</div>

<div>* Workshop: Sunday, January the 16th, 2022</div>

<div><br>

</div>

<div>Description</div>

<div>-----------</div>

<div><br>

</div>

<div>The ACM SIGPLAN Workshop on Gradual Typing is a venue for</div>

<div>disseminating the latest results on the integration of</div>

<div>compile-time and run-time checking of program invariants, such as</div>

<div>the integration of static and dynamic type checking. The workshop</div>

<div>serves as an incubator for ideas, open problems, and manuscripts:</div>

<div>it is a place where the community can meet, discuss, and give</div>

<div>each other constructive feedback. The workshop will encourage</div>

<div>participation from researchers in both academia and industry,</div>

<div>drawing people from the many active projects on both sides of the</div>

<div>aisle.</div>

<div><br>

</div>

<div>Criteria and proceedings</div>

<div>------------------------</div>

<div><br>

</div>

<div>We expect the workshop to be informal since its goals are to</div>

<div>exchange information, foster collaboration, and establish common</div>

<div>ground. This is why not only new results, but also unfinished</div>

<div>work with stimulating ideas, or visionary work proposing new</div>

<div>research tracks will be welcome. The Program Committee will thus</div>

<div>prioritize novelty and timeliness over presentation quality. We</div>

<div>also expect authors to use the workshop as a testbed for their</div>

<div>work before submitting a polished version of it to mainstream ACM</div>

<div>conferences. Thus, the proceedings will not be a formal or</div>

<div>archival publication but they will be made available online right</div>

<div>before the workshop.</div>

<div><br>

</div>

<div>Submissions</div>

<div>-----------</div>

<div><br>

</div>

<div>Submission site: http://wgt22.hotcrp.com</div>

<div><br>

</div>

<div>Authors are invited to submit unpublished manuscripts using the</div>

<div>site above. Submissions must be in pdf and have no more than 25</div>

<div>pages of text, excluding bibliography, using the new ACM</div>

<div>Proceedings format for PACMPL. However, we hope to receive also</div>

<div>much shorter submissions typically of 5-10 pages. Why such a</div>

<div>stark difference in lengths? We think that 5-10 pages are all you</div>

<div>need to expose your unbaked topic or your brilliant idea you want</div>

<div>present at the workshop, but we do not want authors of a polished</div>

<div>work to be obliged to cut their article just for presenting their</div>

<div>results at WGT.</div>

<div><br>

</div>

<div>PACMPL templates for Microsoft Word and LaTeX can be found at the</div>

<div>[SIGPLAN author information page](http://www.sigplan.org/authorInformation.htm).</div>

<div>In particular, authors using LaTeX should use the acmart-pacmpl-template.tex</div>

<div>file (with the acmsmall option).</div>

<div><br>

</div>

<div>Submitted papers must adhere to the</div>

<div>[SIGPLAN Republication Policy](http://www.sigplan.org/republicationpolicy.htm)</div>

<div>and the</div>

<div>[ACM Policy on Plagiarism](https://www.acm.org/publications/policies/plagiarism-overview). Concurrent submissions to other</div>

<div>conferences, workshops, journals, or similar forums of</div>

<div>publication are not allowed.</div>

<div><br>

</div>

<div>Program Committee</div>

<div>-----------------</div>

<div><br>

</div>

<div>* Giuseppe Castagna (co-organizer, CNRS and Université de Paris, France)</div>

<div>* Dominique Devriese (Vrije University Brussel, Belgium)</div>

<div>* Jana Dunfield (Queen's University, Canada)</div>

<div>* Atsushi Igarashi (Kyoto University, Japan)</div>

<div>* Limin Jia (Carnegie Melon University, USA)</div>

<div>* Andrew Kennedy (Facebook, UK)</div>

<div>* Bruno Oliveira (University of Hong Kong, HK)</div>

<div>* Cyrus Omar (University Michigan, USA)</div>

<div>* Jeremy G. Siek (co-organizer, Indiana University, USA)</div>

<div>* Peter Thiemann (University of Freiburg, Germany)</div>

<div>* Matías Toro (University of Chile, Chile)</div>

<span>* David Van Horn (University of Maryland, USA)</span><br>

</div>

</body>

</html>