Search for media from: "Henning Basold"

Accelerating Program Synthesis in miniKanren

Lightning talk by Robert Zinkov, Michael Ballantyne, Gregory L. Rosenblatt and William E. Byrd

From  Henning Basold 0 likes 40 plays

Binding-Time Analysis for miniKanren

Lightning talk by Ekaterina Verbitskaia, Irina Artemeva and Daniil Berezun

From  Henning Basold 0 likes 24 plays

Dale Miller: Structural Proof Theory and Logic Programming

Live session 1, full recording

From  Henning Basold 0 likes 57 plays 0  

Davide Ancona, Luca Franceschini, Angelo Ferrando and Viviana Mascardi: A SWI-Prolog based implementation of RML

Live session 1, full recording

From  Henning Basold 0 likes 6 plays 0  

Discussion Session, 28 May 2020

Live session 1, full recording

From  Henning Basold 0 likes 10 plays 0  

Dmitry Rozplokhas and Dmitry Boulytchev: Certified Semantics for Disequality Constraints

Live session 1, full recording

From  Henning Basold 0 likes 13 plays 0  

Marco Maggesi and Enrico Tassi: Private types in Higher Order Logic Programming

Live session 1, full recording

From  Henning Basold 0 likes 11 plays 0  

Olivier Hermant and James Lipton: Eliminating Cuts in HoiC

TEASE-LP Session 2 Full

From  Henning Basold 0 likes 1 plays 0  

Panel: Discussion of the future development of methods inspired by relational and logic programming

TEASE-LP Session 2 Full

From  Henning Basold 0 likes 7 plays 0  

Relational Synthesis for Pattern Matching

Lightning talk by Dmitrii Kosarev and Dmitry Boulytchev

From  Henning Basold 0 likes 18 plays

Sound Type Assignment for Logic Programming

Lightning talk by João Barbosa, Mário Florido and Vítor Santos Costa

From  Henning Basold 0 likes 26 plays

Supercompilation Strategies for miniKanren

Lightning talk by Maria Kuklina and Ekaterina Verbitskaia

From  Henning Basold 0 likes 13 plays

TYPES 2021 Business Meeting

From  Henning Basold 0 likes 4 plays 0  

TYPES 2021 Closing Discussion Session

From  Henning Basold 0 likes 13 plays 0  

TYPES 2021 Computation and Intersection Types Session

From  Henning Basold 0 likes 9 plays 0  

TYPES 2021 Inductive Types Session I

From  Henning Basold 0 likes 14 plays 0  

TYPES 2021 Inductive Types Session II

From  Henning Basold 0 likes 9 plays 0  

TYPES 2021 Invited Talk by Pierre-Marie Pédrot

From  Henning Basold 0 likes 23 plays 0  

TYPES 2021 Invited Talk by Sara Negri

From  Henning Basold 0 likes 16 plays 0  

TYPES 2021 Invited Talk by Stephanie Balzer

From  Henning Basold 0 likes 15 plays 0  

TYPES 2021 Logical and Semantic Principles Session

From  Henning Basold 0 likes 15 plays 0  

TYPES 2021 Modal Type Theory Session

From  Henning Basold 0 likes 11 plays 0  

TYPES 2021 Model Theory Session

From  Henning Basold 0 likes 18 plays 0  

TYPES 2021 New Type Theories Session

From  Henning Basold 0 likes 21 plays 0  

TYPES 2021 Opening and Invited Talk by Ulrik Buchholtz

From  Henning Basold 0 likes 35 plays 0  

TYPES 2021 Proof Assistants Applications Session

From  Henning Basold 0 likes 15 plays 0  

TYPES 2021 Proof Assistants Foundations Session

From  Henning Basold 0 likes 35 plays 0  

TYPES 2021 Proof Theory Session

From  Henning Basold 0 likes 15 plays 0  

TYPES 2021 Recursion Session

Unfortunately, I only realised later that the recording had not started. My apologies for that!

From  Henning Basold 0 likes 16 plays 0  

Uli Sattler: Description Logics and Ontology Languages – an introduction and overview

TEASE-LP Session 2 Full

From  Henning Basold 0 likes 36 plays 0  

Vivek Nigam: A Proof Theory for Distributed Evidential Transactions

TEASE-LP Session 2 Full

From  Henning Basold 0 likes 1 plays 0