Program - ICFP 2019

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Thu 22 Aug
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00	Session 1miniKanren at Elk

09:00 60m Tutorial		Tutorial on miniKanren miniKanren William E. Byrd University of Alabama at Birmingham, USA

10:30 - 12:00	Session 2miniKanren at Elk Chair(s): Lisa Zhang University of Toronto

10:30 45m Full-paper		Relational Interpreters for Search Problems miniKanren Petr Lozov Sain Petersburg State University, SPbGU, Ekaterina Verbitskaia Saint Petersburg State University, Russia, Dmitri Boulytchev Link to publication
11:15 45m Full-paper		Relational Processing for Fun and Diversity: Simulating a CPU relationally with miniKanren miniKanren Gilmore R. Lundquist , Utsav Bhatt , Kevin Hamlen University of Texas at Dallas, USA Link to publication

13:30 - 15:00	Session 3miniKanren at Elk Chair(s): Thomas Gilray University of Maryland

13:30 45m Full-paper		Certified Semantics for miniKanren miniKanren Dmitry Rozplokhas , Andrey Vyatkin , Dmitri Boulytchev Link to publication
14:15 45m Full-paper		Constructive Negation for miniKanren miniKanren Evgenii Moiseenko Link to publication

15:20 - 16:30	Session 4miniKanren at Elk Chair(s): Dmitri Boulytchev

15:20 35m Full-paper		First-order miniKanren representation: Great for tooling and search miniKanren Gregory Rosenblatt , Lisa Zhang University of Toronto, William E. Byrd University of Alabama at Birmingham, USA, Matthew Might University of Alabama at Birmingham \| Harvard Medical School Link to publication
15:55 35m Full-paper		Towards a miniKanren with fair search strategies miniKanren Kuang-Chen Lu Indiana University, USA, Weixi Ma , Daniel P. Friedman Indiana University, USA Link to publication

16:50 - 18:15	Session 5miniKanren at Elk

16:50 85m Social Event		Q&A with audience miniKanren

miniKanren 2019 Program

Thu 22 Aug
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tracks

Workshops

Co-hosted Symposia

miniKanren 2019 Program

Switch Program View

Program Display Configuration

Thu 22 AugDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Get Calendar (iCal)

Thu 22 Aug
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change