Write a Blog >>
TyDe 2020
Sun 23 Aug 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
Executing Declarative Language Definitions
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
On Fair Relational Conjunction
miniKanren
Petr LozovSain Petersburg State University, SPbGU, Dmitri BoulytchevSt. Petersburg State University, St. Petersburg, Russia
Pre-print
11:50 - 12:10
Talk
An Empirical Study of Partial Deduction for miniKanren
miniKanren
Ekaterina VerbitskaiaJetBrains, Daniil BerezunJetBrains, Russia, Dmitri BoulytchevSt. Petersburg State University, St. Petersburg, Russia
Pre-print
12:10 - 12:30
Talk
MicroKanren in J: an Embedding of the Relational Paradigm in an Array Language with Rank-Polymorphic Unification
miniKanren
Raoul SchorerGeneva University Hospitals
Pre-print
12:30 - 12:50
Talk
λKanren: Higher-order Logic Programming with Shallow Embedding
miniKanren
Weixi MaIndiana University, Kuang-Chen LuIndiana University Bloomington, Daniel P. FriedmanIndiana University, USA
Pre-print
12:50 - 13:10
Talk
Kanren Light: A Dynamically Semi-Certified Interactive Logic Programming System
miniKanren
Marco MaggesiUniversità di Firenze, Massimo NocentiniUniversità di Firenze
Pre-print
13:10 - 13:30
Talk
Certified Semantics for Disequality
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
The Pill is in The Proof: Saving Lives with Logic
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
mediKanren: A System for Bio-medical Reasoning
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
Relational Synthesis for Pattern Matching
miniKanren
Dmitrii KosarevJetBrains Research, Saint Petersburg State University, Dmitri BoulytchevSt. Petersburg State University, St. Petersburg, Russia
Pre-print
16:10 - 16:30
Talk
Some Novel miniKanren Synthesis Tasks
miniKanren
Jason HemannNortheastern University, United States, Daniel P. FriedmanIndiana University, USA
Pre-print
16:30 - 16:50
Talk
A Relational Interpreter for Synthesizing JavaScript
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
dxo: A System for Relational Algebra and Differentiation
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