<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 id="divtagdefaultwrapper" style="font-size:12pt;color:#000000;font-family:Calibri,Helvetica,sans-serif;" dir="ltr">
<p></p>
<div>----------------------------------------------------------------------<br>
<br>
CALL FOR CONTRIBUTIONS<br>
<br>
1st Workshop on the Implementation of Type Systems<br>
<br>
WITS 2022<br>
<br>
January 22, 2022<br>
Philadelphia, PA, USA<br>
<br>
https://popl22.sigplan.org/home/wits-2022<br>
<br>
----------------------------------------------------------------------<br>
<br>
WITS 2022 is the first Workshop on the Implementation of Type<br>
Systems. The workshop will be held on January 22, 2022, in<br>
Philadelphia, PA, United States, co-located with POPL. The goal of<br>
this workshop is to bring together the implementors of a variety of<br>
languages with advanced type systems. The main focus is on the<br>
practical issues that come up in the implementation of these systems,<br>
rather than the theoretical frameworks that underlie them. In<br>
particular, we want to encourage exchanging ideas between the<br>
communities around specific systems that would otherwise be accessible<br>
to only a very select group.<br>
<br>
Given the importance of collaboration among the attendees at WITS, if<br>
circumstances around covid-19 force POPL (and its co-located events)<br>
to go virtual, WITS will be deferred until a time when we can come<br>
together safely in person.<br>
<br>
The workshop will have a mix of invited and contributed talks,<br>
organized discussion times, and informal collaboration time.<br>
<br>
*Scope*<br>
<br>
We invite participants to share their experiences, study differences<br>
among the implementations, and generalize lessons from those. We also<br>
want to promote the creation of a shared vocabulary and set of best<br>
practices for implementing type systems.<br>
<br>
Here are a few examples of topics we are interested to discuss:<br>
<br>
* syntax with binders and substitution<br>
* conversion modulo beta and eta<br>
* implicit arguments and metavariables<br>
* unification and constraint solving<br>
* metaprogramming and tactic languages<br>
* editor integration and automation<br>
* discoverability of language features<br>
* pretty printing and error messages<br>
<br>
This list is not exhaustive, so please contact the PC chairs in case<br>
you are unsure if a topic falls within the scope of the workshop.<br>
<br>
*Submissions*<br>
<br>
WITS solicits two kinds of submissions:<br>
<br>
* Contributed talks on the basis of an abstract. This can be on<br>
recently published or submitted work, work in progress, or even a<br>
project that is still in the idea phase.<br>
<br>
* Proposals for roundtable discussions. This can be on any topic<br>
within the scope of the workshop, but should have a broader scope<br>
than a contributed talk. If accepted, you will be in charge of<br>
leading a discussion of 45 minutes around the proposed topic<br>
together with other interested attendees.<br>
<br>
Both kinds of proposals should be accompanied by an abstract of max. 1<br>
page (exclusive of references), formatted according to the guidelines<br>
for SIGPLAN conferences: use the `sigplan` option to the `acmart`<br>
LaTeX document class. WITS will have no published proceedings, so<br>
submitting to WITS does not interfere with submission (before, after,<br>
or simultaneously) with other venues. Submissions are handled via<br>
https://wits22.hotcrp.com/.<br>
<br>
*Important Dates*<br>
<br>
- Abstract submission deadline: 16 November, 2021 (AoE)<br>
- Notification: 1 December, 2021 (AoE)<br>
- Workshop in Philadelphia: 22 January, 2022<br>
<br>
*Attendance and registration*<br>
<br>
WITS 2022 is colocated with POPL 2022 in Philadelphia, USA. More<br>
information on registration and attendance will be announced later.<br>
<br>
*Program Committee*<br>
<br>
William J. Bowman, U. of British Columbia, Canada<br>
Jesper Cockx, TU Delft, Netherlands (co-chair)<br>
Leonardo de Moura, Microsoft Research, USA<br>
Richard A. Eisenberg, Tweag, USA (co-chair)<br>
András Kovács, Eotvos Lorand U., Hungary<br>
Pierre-Marie Pédrot, INRIA, France<br>
Aaron Stump, U. of Iowa, USA<br>
Niki Vazou, IMDEA, Spain<br>
<br>
</div>
<br>
<p></p>
</div>
</body>
</html>