Theoretical computer science conferences
Petri Nets, the International Conference on Applications and Theory of Petri Nets and Concurrency is an academic conference organized annually by the Petri net community. The conference was first organized in 1980 Strasbourg, FranceSince then the conference has been organized annually. The is responsible for the conference, including selection of organisers, PC members, invited speakers, tutorials and workshops, etc. (Wikipedia).
Wolfram Physics Project: Relations to Category Theory
Stephen Wolfram and special guests discuss the Wolfram Physics Project and its relations to Category Theory. Begins at 9:50 Originally livestreamed at: https://twitch.tv/stephen_wolfram Stay up-to-date on this project by visiting our website: http://wolfr.am/physics Check out the announc
From playlist Wolfram Physics Project Livestream Archive
Introduction to Homotopy Theory- PART 1: UNIVERSAL CONSTRUCTIONS
The goal of this series is to develop homotopy theory from a categorical perspective, alongside the theory of model categories. We do this with the hope of eventually developing stable homotopy theory, a personal goal a passion of mine. I'm going to follow nLab's notes, but I hope to add t
From playlist Introduction to Homotopy Theory
Magnetic Quivers and Phase Diagrams - New Ways of thinking about Moduli Spaces - 1 by Amihay Hanany
Program Quantum Fields, Geometry and Representation Theory 2021 (ONLINE) ORGANIZERS: Aswin Balasubramanian (Rutgers University, USA), Indranil Biswas (TIFR, india), Jacques Distler (The University of Texas at Austin, USA), Chris Elliott (University of Massachusetts, USA) and Pranav Pandi
From playlist Quantum Fields, Geometry and Representation Theory 2021 (ONLINE)
Knot Categorification From Mirror Symmetry (Lecture- 3) by Mina Aganagic
PROGRAM QUANTUM FIELDS, GEOMETRY AND REPRESENTATION THEORY 2021 (ONLINE) ORGANIZERS: Aswin Balasubramanian (Rutgers University, USA), Indranil Biswas (TIFR, india), Jacques Distler (The University of Texas at Austin, USA), Chris Elliott (University of Massachusetts, USA) and Pranav Pan
From playlist Quantum Fields, Geometry and Representation Theory 2021 (ONLINE)
Leonid Polterovich: Persistence modules and Hamiltonian diffeomorphisms - Part 3
Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Mathematics Library: http://library.cirm-math.fr. And discover all its functionalities: - Chapter markers and keywords to watch the parts of your choice in the video - Videos enriched with abstracts, b
From playlist Geometry
History of MAS research in UK - Michael Wooldridge, University of Oxford
The AI Programme at the Turing will host an interactive UK Symposium on Multi-Agent Systems (UK-MAS). The goal of the symposium is to bring together UK-based research labs at universities and industry who have a significant focus on MAS research, to explore the MAS research landscape in th
From playlist UK multi-agent systems symposium
Knot Categorification From Mirror Symmetry (Lecture- 1) by Mina Aganagic
PROGRAM QUANTUM FIELDS, GEOMETRY AND REPRESENTATION THEORY 2021 (ONLINE) ORGANIZERS: Aswin Balasubramanian (Rutgers University, USA), Indranil Biswas (TIFR, india), Jacques Distler (The University of Texas at Austin, USA), Chris Elliott (University of Massachusetts, USA) and Pranav Pan
From playlist Quantum Fields, Geometry and Representation Theory 2021 (ONLINE)
Many of us in the functional programming community believe that FP is a significant improvement over object oriented programming, arguably the dominant programming paradigm today. That of course begs the question: how did an inferior paradigm grab so much mindshare and market share and ris
From playlist Functional Programming
Wolfram Physics Project: Working Session Wednesday, Apr. 22, 2020 [Distributed Computing]
Stephen Wolfram & Jonathan Gorard continue answering questions about the new Wolfram Physics Project, this time specifically for a live working session of the project delving into distributed computing. Guests include Tali Beynon & Jesse Friedman. Begins at 6:15 Originally livestreamed at
From playlist Wolfram Physics Project Livestream Archive
RubyConf 2010 - Concurrency: Rubies, plural by: Eleanor McHugh, Elise Huard
For the last few years hardware manufacturers have driven increasingly powerful multi-core processors into consumer-grade computing hardware. Power which twenty years ago was restricted to a handful of government-funded research institutes is now available on the desktop, introducing many
From playlist RubyConf 2010
Leonid Polterovich: Persistence modules and Hamiltonian diffeomorphisms - Part 4
Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Mathematics Library: http://library.cirm-math.fr. And discover all its functionalities: - Chapter markers and keywords to watch the parts of your choice in the video - Videos enriched with abstracts, b
From playlist Geometry
Live CEOing Ep 265: Review of Functions Currently Tagged as "Experimental" in Wolfram Language
Watch Stephen Wolfram and teams of developers in a live, working, language design meeting. This episode is about Functions Currently Tagged as "Experimental" in the Wolfram Language.
From playlist Behind the Scenes in Real-Life Software Design
Knot Categorification From Mirror Symmetry (Lecture- 2) by Mina Aganagic
PROGRAM QUANTUM FIELDS, GEOMETRY AND REPRESENTATION THEORY 2021 (ONLINE) ORGANIZERS: Aswin Balasubramanian (Rutgers University, USA), Indranil Biswas (TIFR, india), Jacques Distler (The University of Texas at Austin, USA), Chris Elliott (University of Massachusetts, USA) and Pranav Pan
From playlist Quantum Fields, Geometry and Representation Theory 2021 (ONLINE)
GoGaRuco 2012 - Three Mini-talks
Three Mini-talks by: Sarah Mei, Tony Arcieri, and Chris Eppstein One session, three talks. Tony Arcieri – A Crash Course on Celluloid: This talk will provide a quick overview of how to use Celluloid, covering the basics of how to add Celluloid to your program and begin leveraging its con
From playlist gogaruco 2012
Leonid Polterovich: Persistence modules and Hamiltonian diffeomorphisms - Part 2
Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Mathematics Library: http://library.cirm-math.fr. And discover all its functionalities: - Chapter markers and keywords to watch the parts of your choice in the video - Videos enriched with abstracts, b
From playlist Geometry
Wojtek Chacholski, "Homological algebra and persistence"
Slides available at https://www.mat.uniroma2.it/Eventi/2022/Topoldata/Slides/chacholski.pdf The talk is part of the Workshop Topology of Data in Rome (15-16/09/2022) https://www.mat.uniroma2.it/Eventi/2022/Topoldata/topoldata.php The event was organized in partnership with the Romads Cen
From playlist Workshop: Topology of Data in Rome
John Baez - Categories: the Mathematics of Connection - IPAM at UCLA
Recorded 16 February 2022. John Baez of University of California, Riverside, Mathematics presents "Categories: the Mathematics of Connection" at IPAM's Mathematics of Collective Intelligence Workshop. Abstract: As we move from the paradigm of modeling one single self-contained system at a
From playlist Workshop: Mathematics of Collective Intelligence - Feb. 15 - 19, 2022.
Ruby Conf 2013 - Visualizing Garbage Collection in Rubinius, JRuby and Ruby 2.0
By Pat Shaughnessy In this talk we'll dive into Ruby internals and take a close look at an ugly topic: garbage collection. How do these Ruby VM's allocate memory for new objects? How do they identify unused objects? How do they reclaim memory from garbage objects, allowing it to be used a
From playlist RubyConf 2013
Leonid Polterovich: Persistence modules and Hamiltonian diffeomorphisms - Part 1
Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Mathematics Library: http://library.cirm-math.fr. And discover all its functionalities: - Chapter markers and keywords to watch the parts of your choice in the video - Videos enriched with abstracts, b
From playlist Geometry