Write a Blog >>
miniKanren 2020
Sun 23 - Fri 28 August 2020
co-located with ICFP 2020
Conference Editions
Sun 23 - Fri 28 August 2020

miniKanren 2020 with ICFP 2020

The miniKanren and Relational Programming Workshop is a new workshop for the miniKanren family of relational (pure constraint logic programming) languages: miniKanren, microKanren, core.logic, OCanren, Guanxi, etc. The workshop solicits papers and talks on the design, implementation, and application of miniKanren-like languages. A major goal of the workshop is to bring together researchers, implementors, and user ...

Sun 18 - Fri 23 August 2019 Berlin, Germany

miniKanren 2019 with ICFP 2019

The miniKanren and Relational Programming Workshop is a new workshop for the miniKanren family of relational (pure constraint logic programming) languages: miniKanren, microKanren, core.logic, OCanren, Guanxi, etc. The workshop solicits papers and talks on the design, implementation, and application of miniKanren-like languages. A major goal of the workshop is to bring together researchers, implementors, and user ...