ViewTube

Official YouTube channel for MFPS 2020.

https://www.monoidal.net/paris2020/mfps/index.html

36th International Conference on Mathematical Foundations of Programming Semantics — MFPS 2020

 MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular. Topics include, but are not limited to, the following: concurrent qualitative and quantitative distributed systems; process calculi; probabilistic systems; constructive mathematics; domain theory and categorical models; formal languages; formal methods; game semantics; lambda calculus; programming-language theory; quantum computation; security; topological models; logic; type systems; type theory. We also welcome contributions that address applications of semantics to novel areas such as complex systems, markets, and networks, for example.

Videos

MFPS 2020

00:36:36

Ohad Kammar. A ProbProg Language Taxonomy.

230 views

5 years ago

MFPS 2020

00:29:36

Dexter Kozen. Joint Distributions and Probabilistic Semantics. (Plenary Talk)

392 views

5 years ago

MFPS 2020

00:34:35

Christine Tasson. The Linear-Non-Linear Substitution Monad. (Plenary Talk).

176 views

5 years ago

MFPS 2020

00:34:11

Thomas Paine. Game Comonads and an application to the Equirank-variable conjecture.

129 views

5 years ago

MFPS 2020

00:23:47

Tao Gu. Hennessy-Milner Property for Probabilistic PDL.

221 views

5 years ago

MFPS 2020

00:22:39

Samuele Buro. Equational Logic and Categorical Semantics for Multi-Languages.

152 views

5 years ago

MFPS 2020

00:36:22

Nicolas Blanco. Bifibrations of Polycategories and Classical Linear Logic.

152 views

5 years ago

MFPS 2020

00:31:43

Fredrik Dahlqvist. Safe and Meaningful Inference with Bayesian Types.

142 views

5 years ago

MFPS 2020

00:26:07

Gordon Plotkin. A Complete Equational Axiomatisation of Partial Differentiation.

277 views

5 years ago

MFPS 2020

00:30:34

Radu Mardare. Quantitative Algebras and the perspective of a Metrized Theory of Algebraic Effects.

187 views

5 years ago

MFPS 2020

00:18:47

Ryan Kavanagh. Some Properties of Parametrized Fixed Points on O-Categories.

84 views

5 years ago

MFPS 2020

00:20:01

Valeria Vignudelli. Monads and Quantitative Equational Theories for Nondeterminism and Probabilities

149 views

5 years ago