Search for media from: "Basold H. Universiteit Leiden"

Vivek Nigam: A Proof Theory for Distributed Evidential Transactions

TEASE-LP Session 2 Full

From  Basold H. Universiteit Leiden 0 likes 1 plays 0  

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

TEASE-LP Session 2 Full

From  Basold H. Universiteit Leiden 0 likes 36 plays 0  

TYPES 2021 Recursion Session

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

From  Basold H. Universiteit Leiden 0 likes 15 plays 0  

TYPES 2021 Proof Theory Session

From  Basold H. Universiteit Leiden 0 likes 15 plays 0  

TYPES 2021 Proof Assistants Foundations Session

From  Basold H. Universiteit Leiden 0 likes 34 plays 0  

TYPES 2021 Proof Assistants Applications Session

From  Basold H. Universiteit Leiden 0 likes 15 plays 0  

TYPES 2021 Opening and Invited Talk by Ulrik Buchholtz

From  Basold H. Universiteit Leiden 0 likes 33 plays 0  

TYPES 2021 New Type Theories Session

From  Basold H. Universiteit Leiden 0 likes 16 plays 0  

TYPES 2021 Model Theory Session

From  Basold H. Universiteit Leiden 0 likes 16 plays 0  

TYPES 2021 Modal Type Theory Session

From  Basold H. Universiteit Leiden 0 likes 11 plays 0  

TYPES 2021 Logical and Semantic Principles Session

From  Basold H. Universiteit Leiden 0 likes 15 plays 0  

TYPES 2021 Invited Talk by Stephanie Balzer

From  Basold H. Universiteit Leiden 0 likes 15 plays 0  

TYPES 2021 Invited Talk by Sara Negri

From  Basold H. Universiteit Leiden 0 likes 15 plays 0  

TYPES 2021 Invited Talk by Pierre-Marie Pédrot

From  Basold H. Universiteit Leiden 0 likes 23 plays 0  

TYPES 2021 Inductive Types Session II

From  Basold H. Universiteit Leiden 0 likes 9 plays 0  

TYPES 2021 Inductive Types Session I

From  Basold H. Universiteit Leiden 0 likes 14 plays 0  

TYPES 2021 Computation and Intersection Types Session

From  Basold H. Universiteit Leiden 0 likes 9 plays 0  

TYPES 2021 Closing Discussion Session

From  Basold H. Universiteit Leiden 0 likes 13 plays 0  

TYPES 2021 Business Meeting

From  Basold H. Universiteit Leiden 0 likes 4 plays 0  

Supercompilation Strategies for miniKanren

Lightning talk by Maria Kuklina and Ekaterina Verbitskaia

From  Basold H. Universiteit Leiden 0 likes 13 plays

Sound Type Assignment for Logic Programming

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

From  Basold H. Universiteit Leiden 0 likes 26 plays

Relational Synthesis for Pattern Matching

Lightning talk by Dmitrii Kosarev and Dmitry Boulytchev

From  Basold H. Universiteit Leiden 0 likes 18 plays

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

TEASE-LP Session 2 Full

From  Basold H. Universiteit Leiden 0 likes 6 plays 0  

Olivier Hermant and James Lipton: Eliminating Cuts in HoiC

TEASE-LP Session 2 Full

From  Basold H. Universiteit Leiden 0 likes 0 plays 0  

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

Live session 1, full recording

From  Basold H. Universiteit Leiden 0 likes 8 plays 0  

Dmitry Rozplokhas and Dmitry Boulytchev: Certified Semantics for Disequality Constraints

Live session 1, full recording

From  Basold H. Universiteit Leiden 0 likes 13 plays 0  

Discussion Session, 28 May 2020

Live session 1, full recording

From  Basold H. Universiteit Leiden 0 likes 9 plays 0  

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

Live session 1, full recording

From  Basold H. Universiteit Leiden 0 likes 5 plays 0  

Dale Miller: Structural Proof Theory and Logic Programming

Live session 1, full recording

From  Basold H. Universiteit Leiden 0 likes 54 plays 0  

Binding-Time Analysis for miniKanren

Lightning talk by Ekaterina Verbitskaia, Irina Artemeva and Daniil Berezun

From  Basold H. Universiteit Leiden 0 likes 19 plays

Accelerating Program Synthesis in miniKanren

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

From  Basold H. Universiteit Leiden 0 likes 32 plays