Call for abstracts WITS 2027

Announcements CFPs
1

-----------------------------------------------------------------------------------------------------------------------------------
**
** CALL FOR ABSTRACTS
**
** WITS 2027 is the 6th Workshop on the Implementation of Type Systems.
** January 16, 2027
** Hilton Mexico City Reforma (same venue as POPL), Mexico City, Mexico
**
** Submission Deadline:
** Nov 11, 2026 (AoE). Strict deadline, no extensions.
**
** https://wits2027.github.io
**

WITS 2027 is the 6th Workshop on the Implementation of Type Systems. The workshop will be held on January 16, 2027, in Mexico City, Mexico, located in the same venue as POPL. 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.

Registration to the workshop is free.

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

** IMPORTANT DATES

  • Submission: Wed, Nov 11, 2026 (AoE). Strict deadline, no extensions.
  • Notification: Thu, Dec 3, 2026
  • Workshop: Sat, Jan 16, 2027

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

Both kinds of proposals should be accompanied by an abstract of max. 1 page (exclusive of references), using the sigplan option to the acmart LaTeX document class:

\\documentclass\[sigplan,10pt,review,anonymous,nonacm\]{acmart} 
\\settopmatter{printfolios=true,printccs=false,printacmref=false}

Please do not use LLMs to generate any text in the abstract.

WITS will have no published proceedings, so submitting to WITS does not interfere with submission (before, after, or simultaneously) to other venues.

Submissions are accepted via https://types-hotcrp.paris.inria.fr/wits27 (enabled soon).

** ORGANISATION

Program Committee:

  • Yannick Forster (INRIA Paris, chair)
  • Chris Martens (Northeastern University)
  • Conor Titania McBride (University of Strathclyde)
  • Joachim Breitner (Lean FRO)
  • Liang-Ting Chen (Academia Sinica)
  • Lourdes del Carmen González Huesca (Universidad Nacional Autónoma de México)
  • Meven Lennon-Bertrand (ENS Rennes)
  • Ningning Xie (University of Toronto)

Looking forward to your submissions,
Yannick Forster (WITS’27 Chair)