ICFP 2020 (series) / miniKanren 2020 (series) /
miniKanren 2020 Program
This is the miniKanren 2020 program - see the full program for ICFP 2020 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Thu 27 AugDisplayed time zone: Eastern Time (US & Canada) change
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 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 |