ICFP 2021
Sun 22 - Sat 28 August 2021
ICFP 2021 (series) / Virtual /

Room information: miniKanren

VenueVirtual
Room nameminiKanren
Room InformationNo extra information available
Program

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

Thu 26 Aug

Displayed time zone: Seoul change

20:00 - 21:30
Session AminiKanren at miniKanren
Chair(s): William E. Byrd University of Alabama at Birmingham, USA
20:00
5m
Day opening
Opening Remarks
miniKanren

20:05
30m
Paper
A Complexity Study for Interleaving Search
miniKanren
Dmitry Rozplokhas , Dmitri Boulytchev Saint Petersburg State University / JetBrains Research
Pre-print Media Attached
20:35
30m
Paper
metaKanren: Towards a Metacircular Relational Interpreter
miniKanren
Bharathi Ramana Joshi IIIT Hyderabad, William E. Byrd University of Alabama at Birmingham, USA
Pre-print Media Attached
21:05
25m
Paper
A New Higher-order Unification Algorithm for λKanren
miniKanren
Weixi Ma , Daniel P. Friedman Indiana University, USA
Pre-print Media Attached
22:00 - 23:30
Morning KeynoteminiKanren at miniKanren
Chair(s): Lisa Zhang University of Toronto Mississauga
22:00
60m
Keynote
Adventures in extending miniKanren
miniKanren
Nada Amin Harvard University
Media Attached
23:30 - 01:00
Session BminiKanren at miniKanren
Chair(s): Michael Ballantyne Northeastern University
23:30
30m
Paper
Prolog-Style Meta-Programming miniKanren
miniKanren
Nada Amin Harvard University, William E. Byrd University of Alabama at Birmingham, USA, Tiark Rompf Purdue University
Pre-print Media Attached
00:00
30m
Paper
Guarded Fresh Goals: Dependency-Directed Introduction of Fresh Logic Variables
miniKanren
Evan Donahue University of Tokyo
Pre-print Media Attached
00:30
30m
Paper
Universal Quantification and Implication in miniKanren
miniKanren
Ende Jin , Gregory Rosenblatt University of Alabama at Birmingham, USA, Matthew Might University of Alabama at Birmingham | Harvard Medical School, Lisa Zhang University of Toronto Mississauga
Pre-print Media Attached

Fri 27 Aug

Displayed time zone: Seoul change

01:30 - 03:00
Afternoon Keynote and Session CminiKanren at miniKanren
Chair(s): Gregory Rosenblatt University of Alabama at Birmingham, USA
01:30
60m
Keynote
Relational Content Generation
miniKanren
Chris Martens North Carolina State University
Media Attached
02:30
25m
Paper
Relational Floating-Point Arithmetic
miniKanren
Lucas Sandre University of Toronto Mississauga, Malaika Zaidi University of Toronto Mississauga, Lisa Zhang University of Toronto Mississauga
Pre-print Media Attached
02:55
5m
Day closing
Closing Remarks
miniKanren

Thu 26 Aug

Displayed time zone: Seoul change

Room20:003021:003022:003023:00300:0030
miniKanren

miniKanren

Session A

miniKanren

Morning Keynote

miniKanren

Session B

Fri 27 Aug

Displayed time zone: Seoul change

Room1:00302:0030
miniKanren

miniKanren

Afternoon Keynote and Session C

Thu 26 Aug

Displayed time zone: Seoul change

Room20:0015304521:0015304522:0015304523:00153045
miniKanren
miniKanren
Opening Remarks
20:00 - 20:05
miniKanren
A Complexity Study for Interleaving Search
20:05 - 20:35
miniKanren
metaKanren: Towards a Metacircular Relational Interpreter
20:35 - 21:05
miniKanren
A New Higher-order Unification Algorithm for λKanren
21:05 - 21:30
miniKanren
Adventures in extending miniKanren
22:00 - 23:00
miniKanren
Prolog-Style Meta-Programming miniKanren
23:30 - 00:00

Fri 27 Aug

Displayed time zone: Seoul change

Room0:001530451:001530452:00153045
miniKanren
miniKanren
Guarded Fresh Goals: Dependency-Directed Introduction of Fresh Logic Va ...
00:00 - 00:30
miniKanren
Universal Quantification and Implication in miniKanren
00:30 - 01:00
miniKanren
Relational Content Generation
01:30 - 02:30
miniKanren
Relational Floating-Point Arithmetic
02:30 - 02:55
miniKanren
Closing Remarks
02:55 - 03:00