Welcome to the Fifth Annual miniKanren and Relational Programming Workshop (miniKanren 2023) submissions site.

Submissions

The deadline for registering submissions has passed.