Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
Filter
Dates
Rooms
Tracks
Badges
Your Program

Thu 22 Aug

minikanren-2019-papers
09:00 - 10:00: miniKanren 2019 - Session 1 at Elk
minikanren-2019-papers09:00 - 10:00
Tutorial
William E. ByrdUniversity of Alabama at Birmingham, USA
minikanren-2019-papers
10:30 - 12:00: miniKanren 2019 - Session 2 at Elk
Chair(s): Lisa ZhangUniversity of Toronto
minikanren-2019-papers10:30 - 11:15
Full-paper
Petr LozovSain Petersburg State University, SPbGU, Ekaterina VerbitskaiaSaint Petersburg State University, Russia, Dmitri Boulytchev
Link to publication
minikanren-2019-papers11:15 - 12:00
Full-paper
Gilmore R. Lundquist, Utsav Bhatt, Kevin HamlenUniversity of Texas at Dallas, USA
Link to publication
minikanren-2019-papers
13:30 - 15:00: miniKanren 2019 - Session 3 at Elk
Chair(s): Thomas GilrayUniversity of Maryland
minikanren-2019-papers13:30 - 14:15
Full-paper
Link to publication
minikanren-2019-papers14:15 - 15:00
Full-paper
Link to publication
minikanren-2019-papers
15:20 - 16:30: miniKanren 2019 - Session 4 at Elk
Chair(s): Dmitri Boulytchev
minikanren-2019-papers15:20 - 15:55
Full-paper
Gregory Rosenblatt, Lisa ZhangUniversity of Toronto, William E. ByrdUniversity of Alabama at Birmingham, USA, Matthew MightUniversity of Alabama at Birmingham | Harvard Medical School
Link to publication
minikanren-2019-papers15:55 - 16:30
Full-paper
Kuang-Chen LuIndiana University, USA, Weixi Ma, Daniel P. FriedmanIndiana University, USA
Link to publication
minikanren-2019-papers
16:50 - 18:15: miniKanren 2019 - Session 5 at Elk
minikanren-2019-papers16:50 - 18:15
Social Event

Thu 22 Aug 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Elk
09:00 - 10:00
10:30 - 12:00
13:30 - 15:00
15:20 - 16:30
16:50 - 18:15
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)