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 K: Eelco Visser | |
| The Pill is in The Proof: Saving Lives with Logic miniKanren |
Thu 27 AugDisplayed 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 60mKeynote | Executing Declarative Language Definitions miniKanren | ||
14:30 - 15:30 | Afternoon KeynoteminiKanren at miniKanren Chair(s): Jason Hemann Northeastern University, United States | ||
14:30 60mKeynote | 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 20mTalk | 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 20mTalk | 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 20mTalk | Some Novel miniKanren Synthesis Tasks miniKanren Link to publication | ||
16:30 20mTalk | 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 20mTalk | dxo: A System for Relational Algebra and Differentiation miniKanren Link to publication | ||
Accepted Papers
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.
| Thu 27 Aug 2020 Workshop |
| Fri 17 Jul 2020 Camera-ready version |
| Thu 25 Jun 2020 Author notification |
| Fri 22 May 2020 Submission deadline (Extended) |
Dmitri BoulytchevPC Chair
St. Petersburg State University, St. Petersburg, Russia
Adam Foltzer
Fastly
Jason HemannGeneral Chair
Northeastern University, United States
United States
Ekaterina Komendantskaya
Heriot-Watt University, UK
Jan Midtgaard
University of Southern Denmark
Denmark
Joseph P. Near
University of Vermont
Gregory Rosenblatt
University of Alabama at Birmingham, USA
Canada
Ilya Sergey
Yale-NUS College and National University of Singapore
Singapore
Kanae Tsushima
National Institute of Informatics, Japan
Japan