Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Thu 27 Aug 2020 14:30 - 15:30 at miniKanren - Afternoon Keynote Chair(s): Jason Hemann

Precision medicine offers the promise of individualized care tailored to the specific (usually molecular) characteristics of the patient. Finding hyper-individualized treatments requires collection and analysis of large amounts of data against the backdrop of large amounts of biomedical knowledge. Moreover, adoption of any recommendation by clinicians requires a justification of the recommendation that clearly explains why a given treatment is likely to be effective. Synthesis of physician-understandable proofs turns out to be a task well-suited to relational programming. This talk explores the use of miniKanren for precision medicine as embodied by the drug-repurposing tool mediKanren.

Professor of Internal Medicine and Computer Science, UAB

Hugh Kaul Endowed Chair in Personalized Medicine

Director, Hugh Kaul Precision Medicine Institute

Senior Lecturer, Harvard Medical School

Thu 27 Aug

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

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