Welcome to the 2020 Second miniKanren and Relational Programming Workshop (mK 20) submissions site.

Submissions

The deadline for registering submissions has passed.