Welcome to the miniKanren 2022 (miniKanren22) submissions site.
Sign in using your HotCRP.com username and password.
New to the site? Create an account
The deadline for registering submissions has passed.