Theoretical computer science conferences

International Conference on Applications and Theory of Petri Nets and Concurrency

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).

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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)

Video thumbnail

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)

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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)

Video thumbnail

FP is the new OOP

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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)

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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.

Video thumbnail

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

Video thumbnail

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

Related pages

Petri net | Theoretical computer science