<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class="">----------------------------------------------------------------------</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class=""><br class=""></span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class=""> CALL FOR CONTRIBUTIONS</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class=""><br class=""></span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class=""> 3rd Workshop on the Implementation of Type Systems</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class=""><br class=""></span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class=""> WITS 2024</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class=""><br class=""></span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class=""> January 20, 2024</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class=""> London, United Kingdom</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class=""><br class=""></span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class=""> <a href="https://urldefense.com/v3/__https://popl24.sigplan.org/home/wits-2024__;!!IBzWLUs!Wyt_R4hBagwrfUMuOna4hv3snL_7QNCqidnjGH-PeWMAbrRDLwl4sCYhbcselgEgW_Jf_a2c1bgTEXujvIgDTjYBeGMTuwgI$" class="">https://popl24.sigplan.org/home/wits-2024</a></span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class=""><br class=""></span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class="">----------------------------------------------------------------------</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class=""><br class=""></span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class="">WITS 2024 is the third Workshop on the Implementation of Type Systems. The</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class="">workshop will be held on January 20, 2024, in London, United Kingdom, co-located</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class="">with POPL. The goal of this workshop is to bring together the implementors of a</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class="">variety of languages with advanced type systems. The main focus is on the</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class="">practical issues that come up in the implementation of these systems, rather</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class="">than the theoretical frameworks that underlie them. In particular, we want to</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class="">encourage exchanging ideas between the communities around specific systems that</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class="">would otherwise be accessible to only a very select group.</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class=""><br class=""></span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class="">The workshop will have a mix of invited and contributed talks, organized</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class="">discussion times, and informal collaboration time.</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class=""><br class=""></span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class="">*Scope*</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class=""><br class=""></span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class="">We invite participants to share their experiences, study differences among the</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class="">implementations, and generalize lessons from those. We also want to promote the</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class="">creation of a shared vocabulary and set of best practices for implementing type</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class="">systems.</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class=""><br class=""></span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class="">Here are a few examples of topics we are interested to discuss:</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class=""><br class=""></span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class=""> * syntax with binders and substitution</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class=""> * conversion modulo beta and eta</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class=""> * implicit arguments and metavariables</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class=""> * unification and constraint solving</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class=""> * metaprogramming and tactic languages</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class=""> * editor integration and automation</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class=""> * discoverability of language features</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class=""> * pretty printing and error messages</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class=""><br class=""></span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class="">This list is not exhaustive, so please contact the PC chairs in case you are</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class="">unsure if a topic falls within the scope of the workshop.</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class=""><br class=""></span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class="">*Submissions*</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class=""><br class=""></span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class="">WITS solicits two kinds of submissions:</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class=""><br class=""></span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class="">* Contributed talks on the basis of an abstract. This can be on recently</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class=""> published or submitted work, work in progress, or a project that is still in</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class=""> the idea phase.</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class=""><br class=""></span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class="">* Proposals for roundtable discussions. This can be on any topic within the</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class=""> scope of the workshop, but should have a broader scope than a contributed</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class=""> talk. If accepted, you will be in charge of leading a discussion of 45 minutes</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class=""> around the proposed topic together with other interested attendees.</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class=""><br class=""></span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class="">Both kinds of proposals should be accompanied by an abstract of max. 1 page</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class="">(exclusive of references), formatted according to the guidelines for SIGPLAN</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class="">conferences: use the `sigplan` option to the `acmart` LaTeX document class. WITS</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class="">will have no published proceedings, so submitting to WITS does not interfere</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class="">with submission (before, after, or simultaneously) with other</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class="">venues. Submissions are handled via <a href="https://urldefense.com/v3/__https://wits24.hotcrp.com/__;!!IBzWLUs!Wyt_R4hBagwrfUMuOna4hv3snL_7QNCqidnjGH-PeWMAbrRDLwl4sCYhbcselgEgW_Jf_a2c1bgTEXujvIgDTjYBeAZ5lfBD$" class="">https://wits24.hotcrp.com/</a>.</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class=""><br class=""></span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class="">*Important Dates*</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class=""><br class=""></span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class="">- Abstract submission deadline: 10 November, 2023 (AoE)</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class="">- Notification: 1 December, 2023</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class="">- Workshop in London: 20 January, 2024</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class=""><br class=""></span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class="">*Attendance and registration*</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class=""><br class=""></span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class="">WITS 2024 is colocated with POPL 2024 in London, UK. Information</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class="">on registration and attendance will be posted on the POPL website</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class="">at <a href="https://urldefense.com/v3/__https://popl24.sigplan.org/__;!!IBzWLUs!Wyt_R4hBagwrfUMuOna4hv3snL_7QNCqidnjGH-PeWMAbrRDLwl4sCYhbcselgEgW_Jf_a2c1bgTEXujvIgDTjYBeIeBnnOm$" class="">https://popl24.sigplan.org/</a>.</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class=""><br class=""></span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class="">*Program Committee*</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class=""><br class=""></span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class="">Lennart Augustsson Epic Games, Sweden</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class="">Edwin Brady St. Andrews, UK</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class="">Jesper Cockx TU Delft, Netherlands co-chair</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class="">Richard Eisenberg Jane Street, USA co-chair</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class="">Jacques-Henri Jourdan CRNS, France</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class="">Matthieu Sozeau INRIA, France</span></font></div><div class=""><font face="Consolas" class=""><span style="font-style: normal;" class="">Ningning Xie U. of Toronto, Canada</span></font></div><div class=""><br class=""></div></body></html>