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

TYPES 2021 Invited Talk by Pierre-Marie Pédrot

From  Basold H. Universiteit Leiden on 18-Jun-2021, 11:21 GMT+2 0 likes 21 plays 0  

TYPES 2021 Proof Assistants Applications Session

From  Basold H. Universiteit Leiden on 18-Jun-2021, 12:49 GMT+2 0 likes 15 plays 0  

TYPES 2021 Closing Discussion Session

From  Basold H. Universiteit Leiden on 18-Jun-2021, 15:09 GMT+2 0 likes 12 plays 0  

TYPES 2021 Proof Theory Session

From  Basold H. Universiteit Leiden on 16-Jun-2021, 14:26 GMT+2 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  Basold H. Universiteit Leiden on 14-Jun-2021, 12:38 GMT+2 0 likes 15 plays 0  

TYPES 2021 Inductive Types Session I

From  Basold H. Universiteit Leiden on 14-Jun-2021, 14:16 GMT+2 0 likes 14 plays 0  

TYPES 2021 Inductive Types Session II

From  Basold H. Universiteit Leiden on 14-Jun-2021, 16:10 GMT+2 0 likes 9 plays 0  

TYPES 2021 New Type Theories Session

From  Basold H. Universiteit Leiden on 15-Jun-2021, 12:37 GMT+2 0 likes 15 plays 0  

TYPES 2021 Computation and Intersection Types Session

From  Basold H. Universiteit Leiden on 15-Jun-2021, 12:38 GMT+2 0 likes 9 plays 0  

TYPES 2021 Invited Talk by Stephanie Balzer

From  Basold H. Universiteit Leiden on 16-Jun-2021, 09:15 GMT+2 0 likes 15 plays 0  

TYPES 2021 Logical and Semantic Principles Session

From  Basold H. Universiteit Leiden on 16-Jun-2021, 11:08 GMT+2 0 likes 15 plays 0  

TYPES 2021 Model Theory Session

From  Basold H. Universiteit Leiden on 16-Jun-2021, 12:45 GMT+2 0 likes 16 plays 0  

TYPES 2021 Proof Assistants Foundations Session

From  Basold H. Universiteit Leiden on 17-Jun-2021, 17:46 GMT+2 0 likes 34 plays 0  

TYPES 2021 Modal Type Theory Session

From  Basold H. Universiteit Leiden on 17-Jun-2021, 17:46 GMT+2 0 likes 11 plays 0  

TYPES 2021 Invited Talk by Sara Negri

From  Basold H. Universiteit Leiden on 17-Jun-2021, 21:54 GMT+2 0 likes 15 plays 0  

TYPES 2021 Business Meeting

From  Basold H. Universiteit Leiden on 17-Jun-2021, 17:46 GMT+2 0 likes 4 plays 0  

TYPES 2021 Opening and Invited Talk by Ulrik Buchholtz

From  Basold H. Universiteit Leiden on 14-Jun-2021, 12:38 GMT+2 0 likes 33 plays 0  

Dale Miller: Structural Proof Theory and Logic Programming

Live session 1, full recording

From  Basold H. Universiteit Leiden on 28-May-2020, 16:40 GMT+2 0 likes 54 plays 0  

Discussion Session, 28 May 2020

Live session 1, full recording

From  Basold H. Universiteit Leiden on 28-May-2020, 17:03 GMT+2 0 likes 9 plays 0  

Vivek Nigam: A Proof Theory for Distributed Evidential Transactions

TEASE-LP Session 2 Full

From  Basold H. Universiteit Leiden on 30-May-2020, 11:46 GMT+2 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 on 30-May-2020, 07:36 GMT+2 0 likes 36 plays 0  

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

TEASE-LP Session 2 Full

From  Basold H. Universiteit Leiden on 30-May-2020, 11:51 GMT+2 0 likes 6 plays 0  

Olivier Hermant and James Lipton: Eliminating Cuts in HoiC

TEASE-LP Session 2 Full

From  Basold H. Universiteit Leiden on 30-May-2020, 11:42 GMT+2 0 likes 0 plays 0  

Dmitry Rozplokhas and Dmitry Boulytchev: Certified Semantics for Disequality Constraints

Live session 1, full recording

From  Basold H. Universiteit Leiden on 28-May-2020, 16:50 GMT+2 0 likes 13 plays 0  

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

Live session 1, full recording

From  Basold H. Universiteit Leiden on 28-May-2020, 16:55 GMT+2 0 likes 8 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 on 28-May-2020, 16:46 GMT+2 0 likes 5 plays 0  

Accelerating Program Synthesis in miniKanren

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

From  Basold H. Universiteit Leiden on 19-May-2020, 12:20 GMT+2 0 likes 32 plays

Relational Synthesis for Pattern Matching

Lightning talk by Dmitrii Kosarev and Dmitry Boulytchev

From  Basold H. Universiteit Leiden on 19-May-2020, 11:44 GMT+2 0 likes 18 plays

Binding-Time Analysis for miniKanren

Lightning talk by Ekaterina Verbitskaia, Irina Artemeva and Daniil Berezun

From  Basold H. Universiteit Leiden on 19-May-2020, 11:44 GMT+2 0 likes 19 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 on 13-May-2020, 16:02 GMT+2 0 likes 26 plays

Supercompilation Strategies for miniKanren

Lightning talk by Maria Kuklina and Ekaterina Verbitskaia

From  Basold H. Universiteit Leiden on 15-May-2020, 14:05 GMT+2 0 likes 13 plays