If you are at the Agda meeting you heard it there first, but either way you hear it here second:

The Second Workshop on the Implementation of Type Systems (WITS '23) will take place on the 28th of August in Braga (Portugal), colocated with IFL '23. If you want to lead a discussion or give a talk, you can submit a 1-page abstract (submission site will open soon).

All information on the workshop can be found on

Sign in to participate in the conversation

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.