[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
-----------------------------------------------------------------------------------------------------------------------------------
**
** 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!TZGVTTUbn7mf0CT8DXFGVAPnK9f2uWnCQcWDGGYeMvB7wb827VdrPhPYqys4Nn_MU9mNwt0g02rw9_ljfZoR-6VUvkmXy_b7Zw$
**
-----------------------------------------------------------------------------------------------------------------------------------
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!TZGVTTUbn7mf0CT8DXFGVAPnK9f2uWnCQcWDGGYeMvB7wb827VdrPhPYqys4Nn_MU9mNwt0g02rw9_ljfZoR-6VUvkmLZ9uljQ$
.
-----------------------------------------------------------------------------------------------------------------------------------
** 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)
