28:08Alejandro Aguirre. Weakest preconditions in fibrations.
Advanced
A 28-minute video from MFPS 2020: “Alejandro Aguirre. Weakest preconditions in fibrations.”.
MFPS 2020
56 subscribers on YouTube
Shorts, livestreams, trailers and promos are never listed. Unless a curator approved this channel in full, only individually picked videos appear.
28:08
29:29Amin Farjudian. Domain Theoretic Second-Order Euler’s Method for Solving Initial Value Problems.
Advanced
A 29-minute video from MFPS 2020: “Amin Farjudian. Domain Theoretic Second-Order Euler’s Method for Solving Initial Value Problems.”.
34:35Christine Tasson. The Linear-Non-Linear Substitution Monad. (Plenary Talk).
Advanced
A 35-minute video from MFPS 2020: “Christine Tasson. The Linear-Non-Linear Substitution Monad. (Plenary Talk).”.
29:36Dexter Kozen. Joint Distributions and Probabilistic Semantics. (Plenary Talk)
Advanced
A 30-minute video from MFPS 2020: “Dexter Kozen. Joint Distributions and Probabilistic Semantics. (Plenary Talk)”.
21:07Florence Clerc. Towards a classification of behavioural equivalences in continuous Markov processes.
Advanced
A 21-minute video from MFPS 2020: “Florence Clerc. Towards a classification of behavioural equivalences in continuous Markov processes.”.
31:43Fredrik Dahlqvist. Safe and Meaningful Inference with Bayesian Types.
Advanced
A 32-minute video from MFPS 2020: “Fredrik Dahlqvist. Safe and Meaningful Inference with Bayesian Types.”.
33:51Gilles Barthe. Relational verification of adversarial probabilistic programs. (Plenary Talk).
Advanced
A 34-minute video from MFPS 2020: “Gilles Barthe. Relational verification of adversarial probabilistic programs. (Plenary Talk).”.
26:07Gordon Plotkin. A Complete Equational Axiomatisation of Partial Differentiation.
Advanced
A 26-minute video from MFPS 2020: “Gordon Plotkin. A Complete Equational Axiomatisation of Partial Differentiation.”.
31:55Niccolò Veltri. Eilenberg-Kelly reloaded.
Advanced
A 32-minute video from MFPS 2020: “Niccolò Veltri. Eilenberg-Kelly reloaded.”.
36:22Nicolas Blanco. Bifibrations of Polycategories and Classical Linear Logic.
Advanced
A 36-minute video from MFPS 2020: “Nicolas Blanco. Bifibrations of Polycategories and Classical Linear Logic.”.
29:56Niels Voorneveld. Combining Algebraic Effect Descriptions using the Tensor of Complete Lattices.
Advanced
A 30-minute video from MFPS 2020: “Niels Voorneveld. Combining Algebraic Effect Descriptions using the Tensor of Complete Lattices.”.
36:36Ohad Kammar. A ProbProg Language Taxonomy.
Advanced
A 37-minute video from MFPS 2020: “Ohad Kammar. A ProbProg Language Taxonomy.”.
29:59Paolo Perrone. Monads, partial evaluations, and rewriting.
Advanced
A 30-minute video from MFPS 2020: “Paolo Perrone. Monads, partial evaluations, and rewriting.”.
30:34Radu Mardare. Quantitative Algebras and the perspective of a Metrized Theory of Algebraic Effects.
Advanced
A 31-minute video from MFPS 2020: “Radu Mardare. Quantitative Algebras and the perspective of a Metrized Theory of Algebraic Effects.”.
18:47Ryan Kavanagh. Some Properties of Parametrized Fixed Points on O-Categories.
Advanced
A 19-minute video from MFPS 2020: “Ryan Kavanagh. Some Properties of Parametrized Fixed Points on O-Categories.”.
22:39Samuele Buro. Equational Logic and Categorical Semantics for Multi-Languages.
Advanced
A 23-minute video from MFPS 2020: “Samuele Buro. Equational Logic and Categorical Semantics for Multi-Languages.”.
23:47Tao Gu. Hennessy-Milner Property for Probabilistic PDL.
Advanced
A 24-minute video from MFPS 2020: “Tao Gu. Hennessy-Milner Property for Probabilistic PDL.”.
34:11Thomas Paine. Game Comonads and an application to the Equirank-variable conjecture.
Advanced
A 34-minute video from MFPS 2020: “Thomas Paine. Game Comonads and an application to the Equirank-variable conjecture.”.
20:01Valeria Vignudelli. Monads and Quantitative Equational Theories for Nondeterminism and Probabilities
Advanced
A 20-minute video from MFPS 2020: “Valeria Vignudelli. Monads and Quantitative Equational Theories for Nondeterminism and Probabilities”.