<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">-----------------------------------------------------------------------------------------------------------------------------------<br><div dir="ltr">**<br>** CALL FOR EXTENDED ABSTRACTS<br>**<br>** <span class="gmail-il">WITS</span> at POPL 2026<br>** <span style="color: rgb(51, 51, 51); font-variant-ligatures: normal; orphans: 2; widows: 2; background-color: rgb(255, 255, 255); text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;">WITS 2026 is the 5th Workshop on the Implementation of Type Systems.</span><br>** January 17, 2026. Rennes, France<br>**<br>** Submission Deadline:<br>** Nov 6, 2025<br>**<br>** https://popl26.sigplan.org/home/wits-2026<br>**<br>-----------------------------------------------------------------------------------------------------------------------------------<br><br><div><p style="box-sizing: border-box; margin: 0px 0px 10px; color: rgb(51, 51, 51); font-variant-ligatures: normal; orphans: 2; widows: 2; background-color: rgb(255, 255, 255); text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;">WITS 2026 is the 5th Workshop on the Implementation of Type Systems. The workshop will be held on January 17, 2026, in Rennes, France, co-located with POPL. The goal of this workshop is to bring together the implementors of a variety of languages with advanced type systems. The goal of this workshop is to bring together the implementors of a variety of languages with advanced type systems. The main focus is on the practical issues that come up in the implementation of these systems, rather than the theoretical frameworks that underlie them. In particular, we want to encourage exchanging ideas between the communities around specific systems that would otherwise be accessible to only a very select group.</p><p style="box-sizing: border-box; margin: 0px 0px 10px; color: rgb(51, 51, 51); font-variant-ligatures: normal; orphans: 2; widows: 2; background-color: rgb(255, 255, 255); text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;">The workshop will have a mix of invited and contributed talks, organized discussion times, and informal collaboration time.</p><br>-----------------------------------------------------------------------------------------------------------------------------------<br>** IMPORTANT DATES<br>-----------------------------------------------------------------------------------------------------------------------------------<br><br>- Submission: Thu, Nov 6, 2025<br>- Notification: Mon, Dec 1, 2025<br>- <span class="gmail-il">Workshop</span>: Sat, Jan 17, 2026<br><br>-----------------------------------------------------------------------------------------------------------------------------------<br>** SUBMISSION GUIDELINES<br>-----------------------------------------------------------------------------------------------------------------------------------<br><br><p style="box-sizing: border-box; margin: 0px 0px 10px; color: rgb(51, 51, 51); font-variant-ligatures: normal; orphans: 2; widows: 2; background-color: rgb(255, 255, 255); text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;">WITS solicits two kinds of submissions: </p><p style="box-sizing: border-box; margin: 0px 0px 10px; color: rgb(51, 51, 51); font-variant-ligatures: normal; orphans: 2; widows: 2; background-color: rgb(255, 255, 255); text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;">- Contributed talks on the basis of an abstract. This can be on recently published or submitted work, work in progress, or a project that is still in the idea phase. </p><p style="box-sizing: border-box; margin: 0px 0px 10px; color: rgb(51, 51, 51); font-variant-ligatures: normal; orphans: 2; widows: 2; background-color: rgb(255, 255, 255); text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;">- Proposals for roundtable discussions. This can be on any topic within the scope of the workshop, but should have a broader scope than a contributed talk. If accepted, you will be in charge of leading a discussion of 45 minutes around the proposed topic together with other interested attendees.</p></div><div><span style="color: rgb(51, 51, 51); font-variant-ligatures: normal; orphans: 2; widows: 2; background-color: rgb(255, 255, 255); text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;">Submissions are accepted via </span><a href="https://urldefense.com/v3/__https://wits26.hotcrp.com/__;!!IBzWLUs!RZErWJxSFcKvxRO3wzdE00F5pGwxaEzeRfZzAFO2vguQE0CWhTRJvbH7mv1fqnEl-8OJsXJA-jzxMufBIl4Tr9WVDAOp0VlkqQ$" style="box-sizing: border-box; background-color: rgb(255, 255, 255); color: rgb(51, 122, 183); text-decoration: none; word-break: break-word; font-variant-ligatures: normal; orphans: 2; widows: 2;">https://wits26.hotcrp.com/</a><span style="color: rgb(51, 51, 51); font-variant-ligatures: normal; orphans: 2; widows: 2; background-color: rgb(255, 255, 255); text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;">.</span></div><div><div style="orphans: 2; widows: 2;"><font color="#333333"><span style="caret-color: rgb(51, 51, 51); background-color: rgb(255, 255, 255);"><br></span></font></div>-----------------------------------------------------------------------------------------------------------------------------------<br>** ORGANISATION<br>-----------------------------------------------------------------------------------------------------------------------------------<br><br>Program Committee:<br>- Niki Vazou (IMDEA)<br>- <span style="color: rgb(51, 51, 51); font-variant-ligatures: normal; orphans: 2; widows: 2; background-color: rgb(255, 255, 255); text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;">Andreas Abel</span> (<span style="color: rgb(51, 51, 51); font-variant-ligatures: normal; orphans: 2; widows: 2; background-color: rgb(255, 255, 255); text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;">Gothenburg University</span>)<br>- <span style="color: rgb(51, 51, 51); font-variant-ligatures: normal; orphans: 2; widows: 2; background-color: rgb(255, 255, 255); text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;">Jonathan Immanuel Brachthäuser</span> (<span style="color: rgb(51, 51, 51); font-variant-ligatures: normal; orphans: 2; widows: 2; background-color: rgb(255, 255, 255); text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;">University of Tübingen</span>)<br>- <span style="color: rgb(51, 51, 51); font-variant-ligatures: normal; orphans: 2; widows: 2; background-color: rgb(255, 255, 255); text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;">Joachim Breitner</span> (<span style="color: rgb(51, 51, 51); font-variant-ligatures: normal; orphans: 2; widows: 2; background-color: rgb(255, 255, 255); text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;">Lean FRO, LLC</span>)<br>- <span style="color: rgb(51, 51, 51); font-variant-ligatures: normal; orphans: 2; widows: 2; background-color: rgb(255, 255, 255); text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;">Yannick Forster</span> (<span style="color: rgb(51, 51, 51); font-variant-ligatures: normal; orphans: 2; widows: 2; background-color: rgb(255, 255, 255); text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;">INRIA</span>)<br>- <span style="color: rgb(51, 51, 51); font-variant-ligatures: normal; orphans: 2; widows: 2; background-color: rgb(255, 255, 255); text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;">Matthew Lutze</span> (<span style="color: rgb(51, 51, 51); font-variant-ligatures: normal; orphans: 2; widows: 2; background-color: rgb(255, 255, 255); text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;">Aarhus University</span>)</div><div>- <span style="color: rgb(51, 51, 51); font-variant-ligatures: normal; orphans: 2; widows: 2; background-color: rgb(255, 255, 255); text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;">Conor McBride </span>(U<span style="color: rgb(51, 51, 51); font-variant-ligatures: normal; orphans: 2; text-align: justify; widows: 2; text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;">niversity of Strathclyde</span>)</div><div><br></div>-----------------------------------------------------------------------------------------------------------------------------------<br><div><br></div><div>Looking forward for your submissions, </div><div>Niki Vazou (WITS’26 Chair)</div></div></body></html>