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
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Thu 27 Aug
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

minikanren-2020-papers
09:00 - 11:00: miniKanren 2020 - Morning Keynote at miniKanren
Chair(s): Dmitri BoulytchevSt. Petersburg State University, St. Petersburg, Russia
minikanren-2020-papers10:00 - 11:00
Keynote
Eelco VisserDelft University of Technology
minikanren-2020-papers
11:30 - 13:30: miniKanren 2020 - Morning Session at miniKanren
Chair(s): Joseph P. NearUniversity of Vermont, Gregory RosenblattUniversity of Alabama at Birmingham, USA
minikanren-2020-papers11:30 - 11:50
Talk
Petr LozovSain Petersburg State University, SPbGU, Dmitri BoulytchevSt. Petersburg State University, St. Petersburg, Russia
Pre-print
minikanren-2020-papers11:50 - 12:10
Talk
Ekaterina VerbitskaiaJetBrains, Daniil BerezunJetBrains, Russia, Dmitri BoulytchevSt. Petersburg State University, St. Petersburg, Russia
Pre-print
minikanren-2020-papers12:10 - 12:30
Talk
Raoul SchorerGeneva University Hospitals
Pre-print
minikanren-2020-papers12:30 - 12:50
Talk
Weixi MaIndiana University, Kuang-Chen LuIndiana University Bloomington, Daniel P. FriedmanIndiana University, USA
Pre-print
minikanren-2020-papers12:50 - 13:10
Talk
Marco MaggesiUniversità di Firenze, Massimo NocentiniUniversità di Firenze
Pre-print
minikanren-2020-papers13:10 - 13:30
Talk
Dmitry RozplokhasHigher School of Economics, Dmitri BoulytchevSt. Petersburg State University, St. Petersburg, Russia
Pre-print
minikanren-2020-papers
14:30 - 15:30: miniKanren 2020 - Afternoon Keynote at miniKanren
Chair(s): Jason HemannNortheastern University, United States
minikanren-2020-papers14:30 - 15:30
Keynote
Matthew MightUniversity of Alabama at Birmingham | Harvard Medical School
minikanren-2020-papers
15:30 - 17:10: miniKanren 2020 - Afternoon Session at miniKanren
Chair(s): Nada AminHarvard University, Weixi MaIndiana University
minikanren-2020-papers15:30 - 15:50
Talk
Michael PattonUniversity of Alabama at Birmingham, Gregory RosenblattUniversity of Alabama at Birmingham, USA, William E. ByrdUniversity of Alabama at Birmingham, USA, Matthew MightUniversity of Alabama at Birmingham | Harvard Medical School
Pre-print
minikanren-2020-papers15:50 - 16:10
Talk
Dmitrii KosarevJetBrains Research, Saint Petersburg State University, Dmitri BoulytchevSt. Petersburg State University, St. Petersburg, Russia
Pre-print
minikanren-2020-papers16:10 - 16:30
Talk
Jason HemannNortheastern University, United States, Daniel P. FriedmanIndiana University, USA
Pre-print
minikanren-2020-papers16:30 - 16:50
Talk
Artem ChirkovUniversity of Toronto Mississauga, Gregory RosenblattUniversity of Alabama at Birmingham, USA, Matthew MightUniversity of Alabama at Birmingham | Harvard Medical School, Lisa ZhangUniversity of Toronto Mississauga
Pre-print
minikanren-2020-papers16:50 - 17:10
Talk
Julie SteeleGeorgetown Day School, William E. ByrdUniversity of Alabama at Birmingham, USA
Pre-print

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.