[TYPES/announce] Call for Abstracts WITS'26

[Niki Vazou]

-----------------------------------------------------------------------------------------------------------------------------------
**
**    CALL FOR EXTENDED ABSTRACTS
**
**    WITS at POPL 2026
**    WITS 2026 is the 5th Workshop on the Implementation of Type Systems.
**    January 17, 2026. Rennes, France
**
**    Submission Deadline:
**    Nov 6, 2025
**
**    https://urldefense.com/v3/__https://popl26.sigplan.org/home/wits-2026__;!!IBzWLUs!RZErWJxSFcKvxRO3wzdE00F5pGwxaEzeRfZzAFO2vguQE0CWhTRJvbH7mv1fqnEl-8OJsXJA-jzxMufBIl4Tr9WVDAOFBE5wcw$ 
**
-----------------------------------------------------------------------------------------------------------------------------------

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.

The workshop will have a mix of invited and contributed talks, organized discussion times, and informal collaboration time.


-----------------------------------------------------------------------------------------------------------------------------------
** IMPORTANT DATES
-----------------------------------------------------------------------------------------------------------------------------------

- Submission: Thu, Nov 6, 2025
- Notification: Mon, Dec 1, 2025
- Workshop: Sat, Jan 17, 2026

-----------------------------------------------------------------------------------------------------------------------------------
** SUBMISSION GUIDELINES
-----------------------------------------------------------------------------------------------------------------------------------

WITS solicits two kinds of submissions: 

- 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. 

- 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.

Submissions are accepted via https://urldefense.com/v3/__https://wits26.hotcrp.com/__;!!IBzWLUs!RZErWJxSFcKvxRO3wzdE00F5pGwxaEzeRfZzAFO2vguQE0CWhTRJvbH7mv1fqnEl-8OJsXJA-jzxMufBIl4Tr9WVDAOp0VlkqQ$ .

-----------------------------------------------------------------------------------------------------------------------------------
** ORGANISATION
-----------------------------------------------------------------------------------------------------------------------------------

Program Committee:
- Niki Vazou (IMDEA)
- Andreas Abel (Gothenburg University)
- Jonathan Immanuel Brachthäuser (University of Tübingen)
- Joachim Breitner (Lean FRO, LLC)
- Yannick Forster (INRIA)
- Matthew Lutze (Aarhus University)
- Conor McBride (University of Strathclyde)

-----------------------------------------------------------------------------------------------------------------------------------

Looking forward for your submissions, 
Niki Vazou (WITS’26 Chair)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20251006/d239ae99/attachment-0001.htm>