<div dir="ltr">----------------------------------------------------------------------<br>
<br>
                        CALL FOR CONTRIBUTIONS<br>
<br>
          4th Workshop on the Implementation of Type Systems<br>
<br>
                             WITS 2025<br>
<br>
                          January 25, 2025<br>
                            Denver, USA<br>
<br>
              <a href="https://urldefense.com/v3/__https://popl25.sigplan.org/home/wits-2025__;!!IBzWLUs!V51gyOByHkaE2bQ0SMXvdvbkI0ztIQQa6j_Gir_MiNcgWLypqltFSkpUIf5nij7_Fv2kEokstPn9dehmwdBhJ_za813j0LV9$" rel="noreferrer" target="_blank">https://popl25.sigplan.org/home/wits-2025</a><br>
<br>
----------------------------------------------------------------------<br>
<br>
WITS 2025 is the fourth Workshop on the Implementation of Type Systems. The<br>
workshop will be held on January 25, 2025, in Denver, USA, co-located<br>
with POPL. The goal of this workshop is to bring together the implementors of a<br>
variety of languages with advanced type systems. The main focus is on the<br>
practical issues that come up in the implementation of these systems, rather<br>
than the theoretical frameworks that underlie them. In particular, we want to<br>
encourage exchanging ideas between the communities around specific systems that<br>
would otherwise be accessible to only a very select group.<br>
<br>
The workshop will have a mix of invited and contributed talks, organized<br>
discussion times, and informal collaboration time.<br>
<br>
*Scope*<br>
<br>
We invite participants to share their experiences, study differences among the<br>
implementations, and generalize lessons from those. We also want to promote the<br>
creation of a shared vocabulary and set of best practices for implementing type<br>
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 chair in case you are<br>
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 recently<br>
  published or submitted work, work in progress, or a project that is still in<br>
  the idea phase.<br>
<br>
* Proposals for roundtable discussions. This can be on any topic within the<br>
  scope of the workshop, but should have a broader scope than a contributed<br>
  talk. If accepted, you will be in charge of leading a discussion of 45 minutes<br>
  around the proposed topic together with other interested attendees.<br>
<br>
Both kinds of proposals should be accompanied by an abstract of max. 1 page<br>
(exclusive of references), formatted according to the guidelines for SIGPLAN<br>
conferences: use the `sigplan` option to the `acmart` LaTeX document class. WITS<br>
will have no published proceedings, so submitting to WITS does not interfere<br>
with submission (before, after, or simultaneously) with other<br>
venues. Submissions are handled via <a href="https://urldefense.com/v3/__https://wits25.hotcrp.com/__;!!IBzWLUs!V51gyOByHkaE2bQ0SMXvdvbkI0ztIQQa6j_Gir_MiNcgWLypqltFSkpUIf5nij7_Fv2kEokstPn9dehmwdBhJ_za88KdzjGI$" rel="noreferrer" target="_blank">https://wits25.hotcrp.com/</a>.<br>
<br>
*Important Dates*<br>
<br>
- Abstract submission deadline: 10 November, 2024 (AoE)<br>
- Notification: 1 December, 2024<br>
- Workshop in Denver: 25 January, 2025<br>
<br>
*Attendance and registration*<br>
<br>
WITS 2025 is colocated with POPL 2025 in Denver, US. Information<br>
on registration and attendance will be posted on the POPL website<br>
at <a href="https://urldefense.com/v3/__https://popl25.sigplan.org/__;!!IBzWLUs!V51gyOByHkaE2bQ0SMXvdvbkI0ztIQQa6j_Gir_MiNcgWLypqltFSkpUIf5nij7_Fv2kEokstPn9dehmwdBhJ_za84kpE-nP$" rel="noreferrer" target="_blank">https://popl25.sigplan.org/</a>.<br>
<br>
*Program Committee*<br>
<br>
Andrej Bauer            U. of Ljubljana, Slovenia<br>
Jacques Carette         McMaster U., Canada<br>
Kuen-Bang Hou (Favonia) U. of Minnesota, USA<br>
Chandrakana Nandi       Certora, USA<br>
Gabriel Scherer         INRIA, France<br>
Nikhil Swamy            Microsoft Research, USA<br>
Sebastian Ullrich       Lean FRO, Germany         chair</div>