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 https://ifl23.github.io/call_papers_wits.html