Topos Institute

[Berkeley Seminar] William Troiani

Topos Institute

[Oxford Seminar] Olga Paris-Romanskevich Gender and science what every mathematician should know

Topos Institute

[Berkeley Seminar] Owen Lynch Abstract interpretation for semi-dependent type theories

Topos Institute

[Berkeley Seminar] Maximilien Peroux (Michigan State University)

Topos Institute

[Berkeley Seminar] Mike Dodds (Galois) What works and doesn't selling formal methods in industry

Topos Institute

[Berkeley Seminar] Michael Arntzenius UC Berkeley

Topos Institute

[Berkeley Seminar] Michael Arntzenius UC Berkeley

Topos Institute

[Oxford Seminar] Owen Lynch An introduction to the geolog project

Topos Institute

[Oxford Seminar] Tim Hosgood Why might I want to build a formal model for a respiratory virus

Topos Institute

[Oxford Seminar] David Corfield Categorical systems theory control and emergence

Topos Institute

[DOTS Lectures] 19. State Sharing Pt. 2

Topos Institute

[Oxford Seminar] Adrián Puerto Aubel A glance at Petri net theory

Topos Institute

[2-torial] Owen tells Tim about elaborators for type theories [22]

Topos Institute

[DOTS Lectures] 18. State Sharing Pt. 1

Topos Institute

[TopOx] Tom Leinster The many faces of magnitude

Topos Institute

[DOTS Lectures] 17. Representability for double operad algebras

Topos Institute

[DOTS Lectures] 16. Monadicity of double operad algebras

Topos Institute

[2-torial] David tells Joanna about algebraic patterns

Topos Institute

[2-torial] Owen tells Tim about elaborators for type theories

Topos Institute

[DOTS Lectures] 15. Representability of reachability and double operad algebras

Topos Institute

[TopOx] Jakub Opršal Homotopy theory in the complexity of homomorphism problems

Topos Institute

[2-torial] Joanna tells Jason about enhanced simplicial categories

Topos Institute

[2-torial] José tells Jason about coalgebraic-modal extensions of logic

Topos Institute

[2-torial] David Jaz tells Brendan about a topos-theoretic interpretation for conceptual modelling

Topos Institute

[Oxford Seminar] Matteo Capucci A Second Taste of Quantitative Logic

Topos Institute

[DOTS Lectures] 14. Applying the representability theorem examples of compositional behaviours

Topos Institute

[Oxford Seminar] Matteo Capucci A Taste of Quantitative Logic

Topos Institute

[Berkeley Seminar] Benjamin Brast McKie The Construction of Possible Worlds

Topos Institute

[2-torial] Kevin tells Jason and David about instances of models of double theories

Topos Institute

[DOTS Lectures] 13. A general representability theorem for Systems Theory Pt. 3

Topos Institute