ICFP 2022 (series) / miniKanren 2022 (series) /
miniKanren 2022 Program
This is the miniKanren 2022 program - see the full program for ICFP 2022 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 11 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
Sun 11 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
08:00 - 09:00 | RegistrationCatering & social at Foyer 2 +120h +48h +96h +72h All speakers speaking in the morning session should arrive early to submit the slides. We recommend that you arrive already at 8:00. | ||
08:00 60mRegistration | Registration Catering & social |
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee break Catering & social |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering & social |
15:30 - 16:00 | |||
15:30 30mCoffee break | Coffee break Catering & social |
Mon 12 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
Mon 12 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
08:00 - 08:50 | RegistrationCatering & social at Foyer 2 If you are a speaker in the first morning session you should submit your slides the day before, or arrive early in the morning to submit, preferrably already at 8:00. | ||
08:00 50mRegistration | Registration Catering & social |
08:50 - 09:00 | |||
08:50 10mDay opening | Welcome Catering & social |
10:00 - 10:30 | |||
10:00 30mCoffee break | Coffee break Catering & social |
12:10 - 13:40 | |||
12:10 90mLunch | Lunch Catering & social |
15:20 - 15:50 | |||
15:20 30mCoffee break | Coffee break Catering & social |
16:50 - 17:00 | |||
16:50 10mBreak | Break Catering & social |
19:00 - 20:00 | |||
19:00 60mSocial Event | Guided tour of Ljubljana Catering & social |
20:00 - 22:00 | |||
20:00 2hSocial Event | Reception & SRC poster presentation Catering & social |
Tue 13 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
Tue 13 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
08:00 - 09:00 | RegistrationCatering & social at Foyer 2 If you are a speaker in the first morning session you should submit your slides the day before, or arrive early in the morning to submit, preferrably already at 8:00. | ||
08:00 60mRegistration | Registration Catering & social |
10:00 - 10:30 | |||
10:00 30mCoffee break | Coffee break Catering & social |
12:10 - 13:40 | |||
12:10 90mLunch | Lunch Catering & social |
15:20 - 15:50 | |||
15:20 30mSocial Event | CARES session Catering & social C: Gabriele Keller Utrecht University, C: Simon Peyton Jones Epic Games , C: Stephanie Weirich University of Pennsylvania |
15:20 - 15:50 | |||
15:20 30mCoffee break | Coffee break Catering & social |
16:50 - 17:00 | |||
16:50 10mBreak | Break Catering & social |
18:30 - 21:00 | |||
18:30 2h30mDinner | Women@ICFP Catering & social |
Wed 14 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
Wed 14 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
08:00 - 09:00 | RegistrationCatering & social at Foyer 2 If you are a speaker in the first morning session you should submit your slides the day before, or arrive early in the morning to submit, preferrably already at 8:00. | ||
08:00 60mRegistration | Registration Catering & social |
10:00 - 10:30 | |||
10:00 30mSocial Event | CARES session Catering & social C: Gabriele Keller Utrecht University, C: Simon Peyton Jones Epic Games , C: Stephanie Weirich University of Pennsylvania |
10:00 - 10:30 | |||
10:00 30mCoffee break | Coffee break Catering & social |
12:10 - 13:40 | |||
12:10 90mLunch | Lunch Catering & social |
15:20 - 15:50 | |||
15:20 30mCoffee break | Coffee break Catering & social |
16:50 - 17:00 | |||
16:50 10mBreak | Break Catering & social |
Thu 15 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
Thu 15 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
08:00 - 09:00 | |||
08:00 60mRegistration | Registration Catering & social |
09:00 - 10:30 | |||
09:00 30mTalk | On a Declarative Guideline-Directed UI Layout SynthesisVirtual, Live miniKanren Dmitrii Kosarev Saint Petersburg State University, P: Petr Lozov St. Petersburg State University, St. Petersburg, Russia, Denis Fokin , Dmitri Boulytchev St. Petersburg State University, St. Petersburg, Russia Pre-print File Attached | ||
09:30 30mTalk | On a Direction-Driven Functional ConversionVirtual, Live miniKanren P: Ekaterina Verbitskaia JetBrains, Daniil Berezun JetBrains Research, Dmitri Boulytchev St. Petersburg State University, St. Petersburg, Russia Pre-print File Attached | ||
10:00 30mTalk | Wildcard Logic VariablesVirtual, Live miniKanren P: Dmitrii Kosarev Saint Petersburg State University, Daniil Berezun JetBrains Research, Petr Lozov St. Petersburg State University, St. Petersburg, Russia Pre-print File Attached |
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee break Catering & social |
11:00 - 12:30 | |||
11:00 30mTalk | A Tutorial Reconstruction of miniKanren with constraintsVirtual Tutorial miniKanren Pre-print File Attached | ||
11:30 60mTutorial | Relational Interpreters, Conversion, and SynthesisVirtual Live Tutorial miniKanren File Attached |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering & social |
14:00 - 15:30 | |||
14:00 30mTalk | Efficient Variational Inference in miniKanren with Weighted Model CountingVirtual, Live miniKanren Pre-print File Attached | ||
14:30 30mTalk | Some criteria for implementations of conjunction and disjunction in microKanrenVirtual, Live miniKanren Pre-print | ||
15:00 30mTalk | Fail Fast and Profile On: Towards a miniKanren ProfilerVirtual, Live miniKanren P: Sloan Chochinov University of Toronto Mississauga, P: Daksh Malhotra University of Toronto Mississauga, Gregory Rosenblatt University of Alabama at Birmingham, Matthew Might University of Alabama at Birmingham | Harvard Medical School, Lisa Zhang University of Toronto Mississauga Pre-print |
15:30 - 16:00 | |||
15:30 30mCoffee break | Coffee break Catering & social |
17:30 - 20:00 | |||
17:30 2h30mSocial Event | Industrial reception Catering & social |
Fri 16 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
Fri 16 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
08:00 - 09:00 | |||
08:00 60mRegistration | Registration Catering & social |
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee break Catering & social |
12:30 - 14:00 | |||
12:30 90mSocial Event | OCaml Industry Lunch Catering & social |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering & social |
15:30 - 16:00 | |||
15:30 30mCoffee break | Coffee break Catering & social |
19:00 - 21:00 | OCaml & farewell receptionCatering & social at Ljubljana Zoo See event details for information on travel and free zoo entry. | ||
19:00 2hSocial Event | OCaml & farewell reception Catering & social |