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

Media

57:17 Dale Miller: Structural Proof Theory and Logic… Dale Miller: Structural Proof Theory and Logic Programming	Dale Miller: Structural Proof Theory and Logic Programming Live session 1, full recording logic logic programming From Basold H. Universiteit Leiden 0 likes 56 plays 0 Faculty and Departments Science Language English Creative Commons Attribution-ShareAlike
04:57 Accelerating Program Synthesis in miniKanren Accelerating Program Synthesis in miniKanren	Accelerating Program Synthesis in miniKanren Lightning talk by Robert Zinkov, Michael Ballantyne, Gregory L. Rosenblatt and William E. Byrd logic logic programming From Basold H. Universiteit Leiden 0 likes 40 plays Faculty and Departments Science Language English Creative Commons Attribution-ShareAlike
01:53:57 Uli Sattler: Description Logics and Ontology… Uli Sattler: Description Logics and Ontology Languages – an introduction and overview	Uli Sattler: Description Logics and Ontology Languages – an introduction and overview TEASE-LP Session 2 Full logic logic programming From Basold H. Universiteit Leiden 0 likes 36 plays 0 Faculty and Departments Science Language English Creative Commons Attribution-ShareAlike
01:06:07 TYPES 2021 Opening and Invited Talk by Ulrik… TYPES 2021 Opening and Invited Talk by Ulrik Buchholtz	TYPES 2021 Opening and Invited Talk by Ulrik Buchholtz From Basold H. Universiteit Leiden 0 likes 35 plays 0 Language English
01:03:47 TYPES 2021 Proof Assistants Foundations Session TYPES 2021 Proof Assistants Foundations Session	TYPES 2021 Proof Assistants Foundations Session From Basold H. Universiteit Leiden 0 likes 35 plays 0
04:59 Sound Type Assignment for Logic Programming Sound Type Assignment for Logic Programming	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 Faculty and Departments Science Language English Creative Commons Attribution-ShareAlike
04:44 Binding-Time Analysis for miniKanren Binding-Time Analysis for miniKanren	Binding-Time Analysis for miniKanren Lightning talk by Ekaterina Verbitskaia, Irina Artemeva and Daniil Berezun logic logic programming From Basold H. Universiteit Leiden 0 likes 24 plays Faculty and Departments Science Language English Creative Commons Attribution-ShareAlike
01:07:17 TYPES 2021 Invited Talk by Pierre-Marie… TYPES 2021 Invited Talk by Pierre-Marie Pédrot	TYPES 2021 Invited Talk by Pierre-Marie Pédrot From Basold H. Universiteit Leiden 0 likes 23 plays 0
01:03:52 TYPES 2021 New Type Theories Session TYPES 2021 New Type Theories Session	TYPES 2021 New Type Theories Session From Basold H. Universiteit Leiden 0 likes 21 plays 0
04:20 Relational Synthesis for Pattern Matching Relational Synthesis for Pattern Matching	Relational Synthesis for Pattern Matching Lightning talk by Dmitrii Kosarev and Dmitry Boulytchev logic logic programming From Basold H. Universiteit Leiden 0 likes 18 plays Faculty and Departments Science Language English Creative Commons Attribution-ShareAlike
57:39 TYPES 2021 Model Theory Session TYPES 2021 Model Theory Session	TYPES 2021 Model Theory Session From Basold H. Universiteit Leiden 0 likes 17 plays 0
50:46 TYPES 2021 Recursion Session TYPES 2021 Recursion Session	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 16 plays 0
01:04:05 TYPES 2021 Invited Talk by Sara Negri TYPES 2021 Invited Talk by Sara Negri	TYPES 2021 Invited Talk by Sara Negri From Basold H. Universiteit Leiden 0 likes 16 plays 0
01:12:43 TYPES 2021 Invited Talk by Stephanie Balzer TYPES 2021 Invited Talk by Stephanie Balzer	TYPES 2021 Invited Talk by Stephanie Balzer From Basold H. Universiteit Leiden 0 likes 15 plays 0
01:03:08 TYPES 2021 Logical and Semantic Principles Session TYPES 2021 Logical and Semantic Principles Session	TYPES 2021 Logical and Semantic Principles Session From Basold H. Universiteit Leiden 0 likes 15 plays 0
47:41 TYPES 2021 Proof Theory Session TYPES 2021 Proof Theory Session	TYPES 2021 Proof Theory Session From Basold H. Universiteit Leiden 0 likes 15 plays 0
01:02:09 TYPES 2021 Proof Assistants Applications Session TYPES 2021 Proof Assistants Applications Session	TYPES 2021 Proof Assistants Applications Session From Basold H. Universiteit Leiden 0 likes 15 plays 0
35:28 TYPES 2021 Inductive Types Session I TYPES 2021 Inductive Types Session I	TYPES 2021 Inductive Types Session I From Basold H. Universiteit Leiden 0 likes 14 plays 0
04:56 Supercompilation Strategies for miniKanren Supercompilation Strategies for miniKanren	Supercompilation Strategies for miniKanren Lightning talk by Maria Kuklina and Ekaterina Verbitskaia logic logic programming From Basold H. Universiteit Leiden 0 likes 13 plays Faculty and Departments Science Language English Creative Commons Attribution-ShareAlike
23:05 Dmitry Rozplokhas and Dmitry Boulytchev:… Dmitry Rozplokhas and Dmitry Boulytchev: Certified Semantics for Disequality Constraints	Dmitry Rozplokhas and Dmitry Boulytchev: Certified Semantics for Disequality Constraints Live session 1, full recording logic logic programming From Basold H. Universiteit Leiden 0 likes 13 plays 0 Faculty and Departments Science Language English Creative Commons Attribution-ShareAlike
01:20:48 TYPES 2021 Closing Discussion Session TYPES 2021 Closing Discussion Session	TYPES 2021 Closing Discussion Session From Basold H. Universiteit Leiden 0 likes 13 plays 0
49:25 TYPES 2021 Modal Type Theory Session TYPES 2021 Modal Type Theory Session	TYPES 2021 Modal Type Theory Session From Basold H. Universiteit Leiden 0 likes 11 plays 0
39:24 Discussion Session, 28 May 2020 Discussion Session, 28 May 2020	Discussion Session, 28 May 2020 Live session 1, full recording logic logic programming From Basold H. Universiteit Leiden 0 likes 10 plays 0 Faculty and Departments Science Language English Creative Commons Attribution-ShareAlike
22:28 Marco Maggesi and Enrico Tassi: Private types in… Marco Maggesi and Enrico Tassi: Private types in Higher Order Logic Programming	Marco Maggesi and Enrico Tassi: Private types in Higher Order Logic Programming Live session 1, full recording logic logic programming From Basold H. Universiteit Leiden 0 likes 9 plays 0 Faculty and Departments Science Language English Creative Commons Attribution-ShareAlike
21:13 TYPES 2021 Inductive Types Session II TYPES 2021 Inductive Types Session II	TYPES 2021 Inductive Types Session II From Basold H. Universiteit Leiden 0 likes 9 plays 0
31:50 TYPES 2021 Computation and Intersection Types… TYPES 2021 Computation and Intersection Types Session	TYPES 2021 Computation and Intersection Types Session From Basold H. Universiteit Leiden 0 likes 9 plays 0
01:00:09 Panel: Discussion of the future development of… Panel: Discussion of the future development of methods inspired by relational and logic programming	Panel: Discussion of the future development of methods inspired by relational and logic programming TEASE-LP Session 2 Full logic logic programming From Basold H. Universiteit Leiden 0 likes 7 plays 0 Faculty and Departments Science Language English Creative Commons Attribution-ShareAlike
34:18 Davide Ancona, Luca Franceschini, Angelo Ferrando… Davide Ancona, Luca Franceschini, Angelo Ferrando and Viviana Mascardi: A SWI-Prolog based implementation of RML	Davide Ancona, Luca Franceschini, Angelo Ferrando and Viviana Mascardi: A SWI-Prolog based implementation of RML Live session 1, full recording logic logic programming From Basold H. Universiteit Leiden 0 likes 5 plays 0 Faculty and Departments Science Language English Creative Commons Attribution-ShareAlike
02:32:08 TYPES 2021 Business Meeting TYPES 2021 Business Meeting	TYPES 2021 Business Meeting From Basold H. Universiteit Leiden 0 likes 4 plays 0
33:33 Olivier Hermant and James Lipton: Eliminating… Olivier Hermant and James Lipton: Eliminating Cuts in HoiC	Olivier Hermant and James Lipton: Eliminating Cuts in HoiC TEASE-LP Session 2 Full logic logic programming From Basold H. Universiteit Leiden 0 likes 1 plays 0 Faculty and Departments Science Language English Creative Commons Attribution-ShareAlike
37:07 Vivek Nigam: A Proof Theory for Distributed… Vivek Nigam: A Proof Theory for Distributed Evidential Transactions	Vivek Nigam: A Proof Theory for Distributed Evidential Transactions TEASE-LP Session 2 Full logic logic programming From Basold H. Universiteit Leiden 0 likes 1 plays 0 Faculty and Departments Science Language English Creative Commons Attribution-ShareAlike