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