Write a Blog >>
TyDe 2020
Sun 23 Aug 2020
co-located with ICFP 2020
ICFP 2020 (series) / TyDe 2020 (series) / Online /

Room information: miniKanren

VenueOnline
Room nameminiKanren
Floor0
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 27 Aug

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 11:00
Morning KeynoteminiKanren at miniKanren
Chair(s): Dmitri Boulytchev St. Petersburg State University, St. Petersburg, Russia
10:00
60m
Keynote
Executing Declarative Language Definitions
miniKanren
K: Eelco Visser Delft University of Technology
11:30 - 13:30
Morning SessionminiKanren at miniKanren
Chair(s): Joseph P. Near University of Vermont, Gregory Rosenblatt University of Alabama at Birmingham, USA
11:30
20m
Talk
On Fair Relational Conjunction
miniKanren
Petr Lozov Sain Petersburg State University, SPbGU, Dmitri Boulytchev St. Petersburg State University, St. Petersburg, Russia
Link to publication
11:50
20m
Talk
An Empirical Study of Partial Deduction for miniKanren
miniKanren
Ekaterina Verbitskaia JetBrains, Daniil Berezun JetBrains, Russia, Dmitri Boulytchev St. Petersburg State University, St. Petersburg, Russia
Link to publication
12:10
20m
Talk
MicroKanren in J: an Embedding of the Relational Paradigm in an Array Language with Rank-Polymorphic Unification
miniKanren
Raoul Schorer Geneva University Hospitals
Link to publication
12:30
20m
Talk
λKanren: Higher-order Logic Programming with Shallow Embedding
miniKanren
Weixi Ma Indiana University, Kuang-Chen Lu Indiana University Bloomington, Daniel P. Friedman Indiana University, USA
Link to publication
12:50
20m
Talk
Kanren Light: A Dynamically Semi-Certified Interactive Logic Programming System
miniKanren
Marco Maggesi Università di Firenze, Massimo Nocentini Università di Firenze
Link to publication
13:10
20m
Talk
Certified Semantics for Disequality
miniKanren
Dmitry Rozplokhas Higher School of Economics, Dmitri Boulytchev St. Petersburg State University, St. Petersburg, Russia
Link to publication
14:30 - 15:30
Afternoon KeynoteminiKanren at miniKanren
Chair(s): Jason Hemann Northeastern University, United States
14:30
60m
Keynote
The Pill is in The Proof: Saving Lives with Logic
miniKanren
Matthew Might University of Alabama at Birmingham | Harvard Medical School
15:30 - 17:10
Afternoon SessionminiKanren at miniKanren
Chair(s): Nada Amin Harvard University, Weixi Ma Indiana University
15:30
20m
Talk
mediKanren: A System for Bio-medical Reasoning
miniKanren
Michael Patton University of Alabama at Birmingham, Gregory Rosenblatt University of Alabama at Birmingham, USA, William E. Byrd University of Alabama at Birmingham, USA, Matthew Might University of Alabama at Birmingham | Harvard Medical School
Link to publication
15:50
20m
Talk
Relational Synthesis for Pattern Matching
miniKanren
Dmitrii Kosarev JetBrains Research, Saint Petersburg State University, Dmitri Boulytchev St. Petersburg State University, St. Petersburg, Russia
Link to publication
16:10
20m
Talk
Some Novel miniKanren Synthesis Tasks
miniKanren
Jason Hemann Northeastern University, United States, Daniel P. Friedman Indiana University, USA
Link to publication
16:30
20m
Talk
A Relational Interpreter for Synthesizing JavaScript
miniKanren
Artem Chirkov University of Toronto Mississauga, Gregory Rosenblatt University of Alabama at Birmingham, USA, Matthew Might University of Alabama at Birmingham | Harvard Medical School, Lisa Zhang University of Toronto Mississauga
Link to publication
16:50
20m
Talk
dxo: A System for Relational Algebra and Differentiation
miniKanren
Julie Steele Georgetown Day School, William E. Byrd University of Alabama at Birmingham, USA
Link to publication

Thu 27 Aug

Displayed time zone: Eastern Time (US & Canada) change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
miniKanren

miniKanren

Morning Keynote

miniKanren

Morning Session

miniKanren

Afternoon Keynote

miniKanren

Afternoon Session

Thu 27 Aug

Displayed time zone: Eastern Time (US & Canada) change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
miniKanren
miniKanren
Executing Declarative Language Definitions
10:00 - 11:00
miniKanren
On Fair Relational Conjunction
11:30 - 11:50
miniKanren
An Empirical Study of Partial Deduction for miniKanren
11:50 - 12:10
miniKanren
MicroKanren in J: an Embedding of the Relational Paradigm in an Array L ...
12:10 - 12:30
miniKanren
λKanren: Higher-order Logic Programming with Shallow Embedding
12:30 - 12:50
miniKanren
Kanren Light: A Dynamically Semi-Certified Interactive Logic Programmin ...
12:50 - 13:10
miniKanren
Certified Semantics for Disequality
13:10 - 13:30
miniKanren
The Pill is in The Proof: Saving Lives with Logic
14:30 - 15:30
miniKanren
mediKanren: A System for Bio-medical Reasoning
15:30 - 15:50
miniKanren
Relational Synthesis for Pattern Matching
15:50 - 16:10
miniKanren
Some Novel miniKanren Synthesis Tasks
16:10 - 16:30
miniKanren
A Relational Interpreter for Synthesizing JavaScript
16:30 - 16:50
miniKanren
dxo: A System for Relational Algebra and Differentiation
16:50 - 17:10