Uploaded September 2024 | Updated September 2026, 3 weeks ago
Topos Institute Colloquium, 26th of September 2024.
———
The best citizens of a large-scale democracy are those who have built and broken several small ones to see how they work. By empowering people to build any kind of community together, the Internet has become a laboratory for self-governance experimentation. Groups who start online communities must overcome the challenges of recruiting finite resources around difficult common goals. Fortunately, they can draw on a growing range of support technologies, peer networks, and scholarship. With their transparency, the Internet's millions of online communities can be surveyed for insights into their design and functioning. Looking at three large platforms for small self-governing online communities, we will pose several questions of institutional processes at the population level, as drawn from the literatures on common-pool resource management and institutional analysis and design.
Topos Institute Colloquium, 26th of September 2024.
———
The best citizens of a large-scale democracy are those who have built and broken several small ones to see how they work. By empowering people to build any kind of community together, the Internet has become a laboratory for self-governance experimentation. Groups who start online communities must overcome the challenges of recruiting finite resources around difficult common goals. Fortunately, they can draw on a growing range of support technologies, peer networks, and scholarship. With their transparency, the Internet's millions of online communities can be surveyed for insights into their design and functioning. Looking at three large platforms for small self-governing online communities, we will pose several questions of institutional processes at the population level, as drawn from the literatures on common-pool resource management and institutional analysis and design.
![[Oxford Seminar] Adrián Puerto Aubel | A glance at Petri net theory](https://i.ytimg.com/vi/z5DXdfV8Fw0/mqdefault.jpg "[Oxford Seminar] Adrián Puerto Aubel | A glance at Petri net theory
Oxford Seminar, February 19 2026
Speaker: Adrián Puerto Aubel
Full Title: A glance at Petri net theory
Abstract: Petri nets are formal models of computing well-known for depicting true concurrency. Unlike automata, they overcome the state-space explosion problem by avoiding interleaving semantics. In this talk I will give an overview of the most prominent theoretical developments of more than 50 years of Petri net theory. This will range from the different expressions of formal semantics of these models as marking graphs, unfoldings, or event structures, to an overview of relevant problems defined on them and their complexities, with a particular focus on structural analysis techniques.")
![[DOTS Lectures] 2. More categories of systems](https://i.ytimg.com/vi/zv10Vgl3Shc/mqdefault.jpg "[DOTS Lectures] 2. More categories of systems
Part of a lecture series on the Double Operadic Theory of Systems (DOTS) presented by David Jaz Myers.")
