Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 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 users from the miniKanren community, and to share expertise and techniques for relational programming. Another goal for the workshop is to push the state of the art of relational programming — for example, by developing new techniques for writing interpreters, type inferencers, theorem provers, abstract interpreters, CAD tools, and other interesting programs as relations, which are capable of being “run backward,” performing synthesis, etc.

Morning and Afternoon Keynotes

Title
Executing Declarative Language Definitions
miniKanren
The Pill is in The Proof: Saving Lives with Logic
miniKanren
You're viewing the program in a time zone which is different from your device's time zone change time zone

Thu 27 Aug

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 11:00
Morning KeynoteminiKanren at miniKanren
Chair(s): Dmitri Boulytchev St. Petersburg State University, St. Petersburg, Russia
10:00
60m
Keynote
Executing Declarative Language Definitions
miniKanren
K: Eelco Visser Delft University of Technology
11:30 - 13:30
Morning SessionminiKanren at miniKanren
Chair(s): Joseph P. Near University of Vermont, Gregory Rosenblatt University of Alabama at Birmingham, USA
11:30
20m
Talk
On Fair Relational Conjunction
miniKanren
Petr Lozov Sain Petersburg State University, SPbGU, Dmitri Boulytchev St. Petersburg State University, St. Petersburg, Russia
Link to publication
11:50
20m
Talk
An Empirical Study of Partial Deduction for miniKanren
miniKanren
Ekaterina Verbitskaia JetBrains, Daniil Berezun JetBrains, Russia, Dmitri Boulytchev St. Petersburg State University, St. Petersburg, Russia
Link to publication
12:10
20m
Talk
MicroKanren in J: an Embedding of the Relational Paradigm in an Array Language with Rank-Polymorphic Unification
miniKanren
Raoul Schorer Geneva University Hospitals
Link to publication
12:30
20m
Talk
λKanren: Higher-order Logic Programming with Shallow Embedding
miniKanren
Weixi Ma Indiana University, Kuang-Chen Lu Indiana University Bloomington, Daniel P. Friedman Indiana University, USA
Link to publication
12:50
20m
Talk
Kanren Light: A Dynamically Semi-Certified Interactive Logic Programming System
miniKanren
Marco Maggesi Università di Firenze, Massimo Nocentini Università di Firenze
Link to publication
13:10
20m
Talk
Certified Semantics for Disequality
miniKanren
Dmitry Rozplokhas Higher School of Economics, Dmitri Boulytchev St. Petersburg State University, St. Petersburg, Russia
Link to publication
14:30 - 15:30
Afternoon KeynoteminiKanren at miniKanren
Chair(s): Jason Hemann Northeastern University, United States
14:30
60m
Keynote
The Pill is in The Proof: Saving Lives with Logic
miniKanren
Matthew Might University of Alabama at Birmingham | Harvard Medical School
15:30 - 17:10
Afternoon SessionminiKanren at miniKanren
Chair(s): Nada Amin Harvard University, Weixi Ma Indiana University
15:30
20m
Talk
mediKanren: A System for Bio-medical Reasoning
miniKanren
Michael Patton University of Alabama at Birmingham, Gregory Rosenblatt University of Alabama at Birmingham, USA, William E. Byrd University of Alabama at Birmingham, USA, Matthew Might University of Alabama at Birmingham | Harvard Medical School
Link to publication
15:50
20m
Talk
Relational Synthesis for Pattern Matching
miniKanren
Dmitrii Kosarev JetBrains Research, Saint Petersburg State University, Dmitri Boulytchev St. Petersburg State University, St. Petersburg, Russia
Link to publication
16:10
20m
Talk
Some Novel miniKanren Synthesis Tasks
miniKanren
Jason Hemann Northeastern University, United States, Daniel P. Friedman Indiana University, USA
Link to publication
16:30
20m
Talk
A Relational Interpreter for Synthesizing JavaScript
miniKanren
Artem Chirkov University of Toronto Mississauga, Gregory Rosenblatt University of Alabama at Birmingham, USA, Matthew Might University of Alabama at Birmingham | Harvard Medical School, Lisa Zhang University of Toronto Mississauga
Link to publication
16:50
20m
Talk
dxo: A System for Relational Algebra and Differentiation
miniKanren
Julie Steele Georgetown Day School, William E. Byrd University of Alabama at Birmingham, USA
Link to publication

Call for Papers

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 users from the miniKanren community, and to share expertise and techniques for relational programming. Another goal for the workshop is to push the state of the art of relational programming — for example, by developing new techniques for writing interpreters, type inferencers, theorem provers, abstract interpreters, CAD tools, and other interesting programs as relations, which are capable of being “run backward,” performing synthesis, etc.

We want to encourage all kinds of submissions. We expect short papers as well as longer papers. As a rough guideline, with the new ACM format, a short paper would be 2 to 7 pages and a long paper 8 to 25 pages.

Authors are encouraged to publish any code associated with their papers under an open-source license, so that reviewers may try the code and verify the claims.

Paper submissions must use the format acmart and its sub-format acmlarge. They must be in PDF, printable in black and white on US Letter size. Microsoft Word and LaTeX templates for this format are available at http://www.sigplan.org/Resources/Author/

Proceedings will be printed as a Technical Report at Northeastern University.

Publication of a paper at this workshop is not intended to replace conference or journal publication and does not preclude re-publication of a more complete or finished version of the paper at some later conference or in a journal.

Questions? Use the miniKanren contact form.