Mathematics
and Interactions
-
Videos linked to Logic in Computer ScienceMore +
![Probabilistic model checking for strategic equilibria-based decision making: Part 1]()
01:24:22published on February 21, 2022Probabilistic model checking for strategic equilibria-based decision making: Part 1
By Marta Kwiatkowska
![Mathematical foundations of automatic differentiation - a tutorial]()
01:01:47published on February 21, 2022Mathematical foundations of automatic differentiation - a tutorial
By Matthijs Vákár
![Asymptotic Distribution of Parameters in Trivalent Maps and Linear Lambda Terms]()
50:16published on December 10, 2021Asymptotic Distribution of Parameters in Trivalent Maps and Linear Lambda Terms
By Alexandros Singh
![A Functorial Excursion between Algebraic Geometry and Linear Logic]()
01:01:15published on December 10, 2021A Functorial Excursion between Algebraic Geometry and Linear Logic
By Paul-André Melliès
