HOPE 2020
Sun 23 - Fri 28 August 2020
co-located with ICFP 2020
VenueOnline
Room nameminiKanren
Floor0
Additional informationThere is no additional information of this room available.
Program

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

Thu 27 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

09:00 - 11:00: Morning KeynoteminiKanren at miniKanren
Chair(s): Dmitri BoulytchevSt. Petersburg State University, St. Petersburg, Russia
10:00 - 11:00
Keynote
miniKanren
K: Eelco VisserDelft University of Technology
11:30 - 13:30: Morning SessionminiKanren at miniKanren
Chair(s): Joseph P. NearUniversity of Vermont, Gregory RosenblattUniversity of Alabama at Birmingham, USA
11:30 - 11:50
Talk
miniKanren
Petr LozovSain Petersburg State University, SPbGU, Dmitri BoulytchevSt. Petersburg State University, St. Petersburg, Russia
Pre-print
11:50 - 12:10
Talk
miniKanren
Ekaterina VerbitskaiaJetBrains, Daniil BerezunJetBrains, Russia, Dmitri BoulytchevSt. Petersburg State University, St. Petersburg, Russia
Pre-print
12:10 - 12:30
Talk
miniKanren
Raoul SchorerGeneva University Hospitals
Pre-print
12:30 - 12:50
Talk
miniKanren
Weixi MaIndiana University, Kuang-Chen LuIndiana University Bloomington, Daniel P. FriedmanIndiana University, USA
Pre-print
12:50 - 13:10
Talk
miniKanren
Marco MaggesiUniversità di Firenze, Massimo NocentiniUniversità di Firenze
Pre-print
13:10 - 13:30
Talk
miniKanren
Dmitry RozplokhasHigher School of Economics, Dmitri BoulytchevSt. Petersburg State University, St. Petersburg, Russia
Pre-print
14:30 - 15:30: Afternoon KeynoteminiKanren at miniKanren
Chair(s): Jason HemannNortheastern University, United States
14:30 - 15:30
Keynote
miniKanren
Matthew MightUniversity of Alabama at Birmingham | Harvard Medical School
15:30 - 17:10: Afternoon SessionminiKanren at miniKanren
Chair(s): Nada AminHarvard University, Weixi MaIndiana University
15:30 - 15:50
Talk
miniKanren
Michael PattonUniversity of Alabama at Birmingham, Gregory RosenblattUniversity of Alabama at Birmingham, USA, William E. ByrdUniversity of Alabama at Birmingham, USA, Matthew MightUniversity of Alabama at Birmingham | Harvard Medical School
Pre-print
15:50 - 16:10
Talk
miniKanren
Dmitrii KosarevJetBrains Research, Saint Petersburg State University, Dmitri BoulytchevSt. Petersburg State University, St. Petersburg, Russia
Pre-print
16:10 - 16:30
Talk
miniKanren
Jason HemannNortheastern University, United States, Daniel P. FriedmanIndiana University, USA
Pre-print
16:30 - 16:50
Talk
miniKanren
Artem ChirkovUniversity of Toronto Mississauga, Gregory RosenblattUniversity of Alabama at Birmingham, USA, Matthew MightUniversity of Alabama at Birmingham | Harvard Medical School, Lisa ZhangUniversity of Toronto Mississauga
Pre-print
16:50 - 17:10
Talk
miniKanren
Julie SteeleGeorgetown Day School, William E. ByrdUniversity of Alabama at Birmingham, USA
Pre-print

Thu 27 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change