[TYPES/announce] WITS @ POPL 2025: Call for Contributions

[Sebastian Ullrich]

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

                        CALL FOR CONTRIBUTIONS

          4th Workshop on the Implementation of Type Systems

                             WITS 2025

                          January 25, 2025
                            Denver, USA

              https://urldefense.com/v3/__https://popl25.sigplan.org/home/wits-2025__;!!IBzWLUs!V51gyOByHkaE2bQ0SMXvdvbkI0ztIQQa6j_Gir_MiNcgWLypqltFSkpUIf5nij7_Fv2kEokstPn9dehmwdBhJ_za813j0LV9$ 

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

WITS 2025 is the fourth Workshop on the Implementation of Type Systems. The
workshop will be held on January 25, 2025, in Denver, USA, 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 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.

*Scope*

We invite participants to share their experiences, study differences among
the
implementations, and generalize lessons from those. We also want to promote
the
creation of a shared vocabulary and set of best practices for implementing
type
systems.

Here are a few examples of topics we are interested to discuss:

 * syntax with binders and substitution
 * conversion modulo beta and eta
 * implicit arguments and metavariables
 * unification and constraint solving
 * metaprogramming and tactic languages
 * editor integration and automation
 * discoverability of language features
 * pretty printing and error messages

This list is not exhaustive, so please contact the PC chair in case you are
unsure if a topic falls within the scope of the workshop.

*Submissions*

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), formatted according to the guidelines for SIGPLAN
conferences: use the `sigplan` option to the `acmart` LaTeX document class.
WITS
will have no published proceedings, so submitting to WITS does not interfere
with submission (before, after, or simultaneously) with other
venues. Submissions are handled via https://urldefense.com/v3/__https://wits25.hotcrp.com/__;!!IBzWLUs!V51gyOByHkaE2bQ0SMXvdvbkI0ztIQQa6j_Gir_MiNcgWLypqltFSkpUIf5nij7_Fv2kEokstPn9dehmwdBhJ_za88KdzjGI$ .

*Important Dates*

- Abstract submission deadline: 10 November, 2024 (AoE)
- Notification: 1 December, 2024
- Workshop in Denver: 25 January, 2025

*Attendance and registration*

WITS 2025 is colocated with POPL 2025 in Denver, US. Information
on registration and attendance will be posted on the POPL website
at https://urldefense.com/v3/__https://popl25.sigplan.org/__;!!IBzWLUs!V51gyOByHkaE2bQ0SMXvdvbkI0ztIQQa6j_Gir_MiNcgWLypqltFSkpUIf5nij7_Fv2kEokstPn9dehmwdBhJ_za84kpE-nP$ .

*Program Committee*

Andrej Bauer            U. of Ljubljana, Slovenia
Jacques Carette         McMaster U., Canada
Kuen-Bang Hou (Favonia) U. of Minnesota, USA
Chandrakana Nandi       Certora, USA
Gabriel Scherer         INRIA, France
Nikhil Swamy            Microsoft Research, USA
Sebastian Ullrich       Lean FRO, Germany         chair
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20241010/2f9ed245/attachment-0001.htm>