ICFP 2023 (series) / miniKanren 2023 (series) /
miniKanren 2023 Program
This is the miniKanren 2023 program - see the full program for ICFP 2023 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Fri 8 SepDisplayed time zone: Pacific Time (US & Canada) change
Fri 8 Sep
Displayed time zone: Pacific Time (US & Canada) change
09:00 - 10:30 | miniKanren: TutorialminiKanren at Olympic Chair(s): William E. Byrd University of Alabama at Birmingham, USA | ||
11:00 - 12:30 | miniKanren: Papers (Session 1 out of 2)miniKanren at Olympic Chair(s): William E. Byrd University of Alabama at Birmingham, USA | ||
11:00 45mTalk | klogic: miniKanren in KotlinRemote miniKanren Yury Kamenev , Dmitrii Kosarev Saint Petersburg State University, Russia, Dmitry Ivanov Huawei, Denis Fokin , Dmitri Boulytchev Saint Petersburg State University Pre-print | ||
11:45 45mTalk | Semi-Automated Direction-Driven Functional ConversionRemote miniKanren Pre-print | ||
14:00 - 15:30 | miniKanren: Papers (Session 2 out of 2)miniKanren at Olympic Chair(s): William E. Byrd University of Alabama at Birmingham, USA | ||
14:00 45mTalk | Stable Model Semantics Extension of miniKanren miniKanren Pre-print | ||
14:45 45mTalk | Goals as Constraints: Writing miniKanren Constraints in miniKanrenRemote miniKanren Evan Donahue University of Tokyo Pre-print | ||
16:00 - 17:30 | miniKanren: Discussion on the Future of miniKanrenminiKanren at Olympic Chair(s): William E. Byrd University of Alabama at Birmingham, USA | ||