Kevin Dunne: "Endomorphism semialgebras in categorical quantum mechanics"
Talk given as part of Categories Logic and Physics Scotland: http://conferences.inf.ed.ac.uk/clapscotland. The category Rel of sets and relations has been ...
OxfordQuantumVideo
Lovelace Lecture 2019 - Gordon Plotkin
Lovelace Lecture 2019 Languages for learning - Professor Gordon Plotkin.
BCS, The Chartered Institute for IT
Paul Taylor: "A computable axiomatisation of the topology of R and C"
Speaker: Paul Taylor Title: A computable axiomatisation of the topology of R and C Event: Categories, Logic and Foundations of Physics V (August 2009, ...
OxfordQuantumVideo
Julie Grèzes (ENS Paris) : "To be or not to be Charlie? (...)"
Julie Grèzes (ENS Paris) : "To be or not to be Charlie? The impact of group affiliation on the processing of others' emitted social signals" The Brains that pull the ...
IEA de PARIS
Les réplicateurs (feat Von Neumann) - Passe-science #27
Retour dans le monde étonnant des automates cellulaires peu connus. Parcourons ensemble la grande famille des constructeurs universels et des structures ...
Passe-Science
Christine Tasson: The linear-non-linear substitution 2-monad
Talk at the Applied Category Theory 2020 Conference Main website: https://act2020.mit.edu/ More talks in this playlist: ...
Applied Category Theory
Decentralized Autonomous Communities and The Blockchain
Professor Jeremy Pitt, Chair of intelligent and Self-organizing Systems at the Imperial College London, delivered this presentation during Bitcoin Wednesday at ...
Bitcoin Wednesday
OSLC Fest 2020, Day 1
Live chat is disabled, use https://meet.ps/oslcfest instead! OSLC Fest is a key OSLC event of the year. Join us to hear presentations from the OSLC project ...
Open Services for Lifecycle Collaboration
Compositionality Journal: A quick look at the first papers
In this video I take a first look at the papers of the newly announced Compositionality Journal that relates to the "Applied Category Theory" crowd. Here's all the ...
Nikolaj-K
Alex Simpson: Synthetic probability theory
Talk at the Categorical Probability and Statistics workshop 2020: http://perimeterinstitute.ca/personal/tfritz/2019/cps_workshop/ Title: Synthetic probability theory ...
Paolo Perrone
Two Talks
(Díaz-Caro, Malherbe) — A Categorical Construction for the Computational Definition of Vector Spaces (Lindenhovius, Mislove, Zamdzhiev) — Categorical ...
Jelle Herold
A Simple Differentiable Programming Language
Presenter: Gordon Plotkin Presented at POPL'2020.
ACM SIGPLAN
ICAPS 2018: Vaishak Belle on "More for Free: A Dynamic Epistemic Framework for Conformant ..."
ICAPS 2018 talk on the paper Davide Nitti, Vaishak Belle, Luc De Raedt and Tinne De Laet. More for Free: A Dynamic Epistemic Framework for Conformant ...
ICAPS
1st Joint Meeting Brazil-France in Mathematics - Benoît Perthame (U Paris 6) - Some Equations of...
1st Joint Meeting Brazil-France in Mathematics - Benoît Perthame (U Paris 6) - Some Equations of Mathematical Biology Speaker: Benoît Perthame (U Paris 6) ...
Instituto de Matemática Pura e Aplicada
Taking particle physics seriously, David Wallace
Full title: Taking particle physics seriously: a critique of the algebraic approach to the foundations of QFT The working assumption amongst most philosophers of ...
Western University
Pawel Sobocinski — Conjunctive Queries
2nd open games workshop https://julesh.com/second-workshop-on-open-games-programme/ playlist ...
Jelle Herold
Bart Jacobs: "Perspectives on Categorical Quantum Logic"
Speaker: Bart Jacobs Title: Perspectives on Categorical Quantum Logic Slides: http://www.cs.ru.nl/B.Jacobs/TALKS/quantum-logic-6up.pdf Event: PrakashFest, ...
OxfordQuantumVideo
Simon Perdrix: "Graphs states and the necessity of Euler decomposition"
Speaker: Simon Perdrix (Universite Paris Diderot) Title: Graphs states and the necessity of Euler decomposition Event: Quantum Physics and Logic 2009 (April ...
OxfordQuantumVideo
Module Models and Modelling: Lecture 4 Languages and Models
Most models we use in CS and CE are language-based models. Therefore, we need to understand language issues in a proper form. Models are also used in a ...
Bernhard Thalheim
Some Principles of Differentiable Programming Languages
POPL2018
Jonathan Gallagher: Categorical semantics of a simple differential programming language
Talk at the Applied Category Theory 2020 Conference Main website: https://act2020.mit.edu/ More talks in this playlist: ...
Applied Category Theory
The Role of Interaction and Embodied Cognition in Computational Ontology
This Plenary speech was delivered by Dr. Marco Schorlemmer (IIIA-CSIC) during the first edition of Artificial Intelligence International Conference that was held ...
PremC
L'Additionneur - Passe-science #5
Avez vous déjà vu un additionneur 4 bit en démineur? Bientôt oui. L'additionneur en version HD: ...
Passe-Science
Dominik Kirst: Trakhtenbrot's Theorem in Coq (IJCAR B)
Authors: Dominik Kirst and Dominique Larchey-Wendling Aired: 2020-02-03 14:00:00 CEST (UTC+2)
IJCAR-FSCD 2020
ACT@UCR Seminar: Open Games: the Long Road to Practical Applications - Jules Hedges
I will talk about open games, and the closely related concepts of lenses/optics and open learners. My goal is to report on the successes and failures of an ...
Applied Category Theory
ESIP Geoscience Community Ontology Engineering Workshop (GCOEW)
Recording of session held at ESIP Winter Meeting in Bethesda, MD in January 2020. Learn more at https://sched.co/XrhK.
ESIP
Nexus Trimester - Søren Riis (Queen Mary University of London) -2B
Finite Dynamical Systems, Causal Networks and Information Inequalities - Part 2B Søren Riis (Queen Mary University of London) february 23, 2016 Abstract: ...
Institut Henri Poincaré
Mirna Džamonja @ Solidarity Conference 2020 : "What abstract mathematics can do for the world"
Mirna Džamonja is a logician, former President of the European Set Theory Society. Associate Member of IHPST at CNRS-Université Panthéon-Sorbonne in ...
Solidarity Conference 2020
Historians of science | Wikipedia audio article
This is an audio version of the Wikipedia Article: https://en.wikipedia.org/wiki/History_of_science 00:02:19 1 Early cultures 00:03:55 1.1 Ancient Near East ...
wikipedia tts
QISS Virtual Seminar: Jeremy Butterfield with Henrique Gomes, University of Cambridge
Talk Title: On Reduction and Functionalism about Space and Time Talk Abstract: Various programmes and results in the philosophy/foundations of spacetime ...
QISS project
P vs NP - Passe-science #18
Introduction à l'une des questions formelles les plus importantes de ce siècle, à mis chemin entre mathématique et informatique la question P=NP. Pour en ...
Passe-Science
Exotic quantum symmetries - Adelaide differential geometry seminar - 20181005
Notes at https://tqft.net/web/notes/load.php?name=talks/20181005-exotic-quantum-symmetries.
Scott Morrison
Algorithmically random structures
Bakhadyr Khoussainov University of Auckland, New Zealand.
Institute for Mathematical Sciences
Vincenzo Marra, A logician's encounter with classical decision theory... - July 9, 2014
http://www.sns.it/didattica/scienze/menunews/convegni/anniprecedenti/20132014/games14/ Games and Decision 2 WORKSHOP Centro di Ricerca Matematica ...
Scuola Normale Superiore
Cambridge Ethics in Maths. Lecture 1 Part 1/4
Part of a series of 8 lectures on Ethics in Mathematics, given by Dr Maurice Chiodo in the Faculty of Mathematics at the University of Cambridge, in Michaelmas ...
Ethics in Maths
Tony Hoare, 1980 ACM Turing Award Recipient
Speaks about his life, work, and the factors that influenced him during his long career. More information: ...
Association for Computing Machinery (ACM)
Operational Semantics for Single-Particle Classical Thermodynamics
Dominic Horsman, Durham University https://simons.berkeley.edu/talks/dominic-horsman-2016-12-6 Compositionality.
Simons Institute
WBL'20: F. Esteva (CSIC), A. Figallo-Orellano (UNS), T. Flaminio (CSIC) and L. Godo (CSIC)
Degree-preserving companion of Nelson logic expanded with a consistency operator The main aim of this paper is defining a Logic of Formal Inconsistency over ...
Sociedade Brasileira de Lógica
1.4 Probability and Statistics
Unit 1, Module 4 Algorithmic Information Dynamics: A Computational Approach to Causality and Living Systems---From Networks to Cells by Hector Zenil and ...
Complexity Explorer
Eugenia Cheng: Distributive laws for Lawvere theories
MIT Category Theory Seminar 2020/07/30 ©Spifong Speaker: Eugenia Cheng Title: Distributive laws for Lawvere theories Abstract: Distributive laws give a way ...
Topos
Paul Brunet: Pomsets with Boxes: Protection, Separation, and Locality in Concurrent ... (FSCD B)
Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra Authors: Paul Brunet and David Pym Aired: 2020-02-03 14:30:00 CEST ...
IJCAR-FSCD 2020
T Cubitt Quantum Complexity Theory I July 16
Bss School
