Write a Blog >>
OCaml 2021
Sun 22 - Fri 27 August 2021
co-located with ICFP 2021
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

Fri 27 Aug

Displayed time zone: Seoul change