Work / Talks
-
"Small Dialectica Categories"
Topology, Algebra, and Categories in Logic (TACL) 27–31 July 2026 (Kraków, Poland)
Jul 29, 2026 -
"Logic, Proof, and Community: The Revolution Beneath the Revolution"
Women in Logic Workshop 2026
Jul 25, 2026 -
"Fibrational Semantics for Coexisting Implications"
Discoveries and Vistas: Life, the universe, and higher categories
Jul 22, 2026 -
"Problems, Proofs, and the Shape of Mathematics"
3o. Encontro Brasileiro de Teoria de Categorias UFJF, Juiz de Fora, MG, Brazil
May 28, 2026 -
"Provas, Programas, e Estruturas: Uma Perspectiva Categorica"
EMALCA Amazonas 2026 & I CIMIAM, Parintins, Brazil
May 21, 2026 -
"The responsibilities of decontextualisers"
Diversity and Decolonisation in Mathematics and its Applications 2026
Apr 8, 2026 -
"Accounting for our inventiveness"
FRG workshop on higher categories and geometry
Mar 17, 2026 -
"Why build a categorical model?"
Topos Oxford Seminar
Mar 12, 2026 -
"What Makes Logic Constructive?"
The Orange County Inland Empire (OCIE) Seminar series in History and Philosophy of Mathematics, Chapman University, CA
Mar 6, 2026 -
"What's a Model of Linear Logic?"
MPP Seminar, Chapman University
Mar 5, 2026 -
"Abstractions for real people"
New Paltz SUNY
Aug 29, 2025 -
"Abstractions for Real People"
Relatorium Seminar
Aug 29, 2025 -
"Čech data for holomorphic Chern classes"
Geometry, Topology, and Physics Seminar (New York University Abu Dhabi)
Mar 26, 2025 -
"Open translations in mathematics"
Modern History of Mathematics, Isaac Newton Institute
Feb 24, 2025 -
"Relative Information and the Dual Numbers"
Joint Mathematics Meetings: AMS Special Session on Algebraic Methods in Machine Learning and Optimization
Jan 10, 2025 -
"Plausible Fiction: Tending Actualizes Potential"
MIT Applied Category Theory for Engineers
Dec 2, 2024 -
"Loose simplicial objects"
New York City Category Theory Seminar
Nov 27, 2024 -
"Plausible Fiction: Accounting for Actualizing Potential"
IPAM: Naturalistic Approaches to AI
Nov 5, 2024 -
"NLP in the math world"
University of Konstanz, Germany
Oct 15, 2024 -
"How should one govern a plausible fiction platform?"
Mathematics for Governance Design Workshop (Edinburgh)
Oct 9, 2024 -
"Dialectica and Hilbert doctrines"
CLAM (Caribbean and Latin American Mathematics Conference) Category Theory Session
Aug 28, 2024 -
"Categorifying computable reducibilities"
CLAM (7th Latin American and Caribbean Mathematics Congress), Joao Pessoa, Brazil
Aug 27, 2024 -
"All my relations: Contributing to a fabric of belonging"
Artificial General Intelligence 2024 (keynote speaker)
Aug 15, 2024 -
"Three prototypes: Parmesan, MathGloss and MathAnnotator"
Hausdorff Center for Mathematics
Jul 15, 2024 -
"The Polynomial Abacus"
FMCS 2024
Jul 9, 2024 -
"Dialectica Categories for all"
Hausdorff Institute of Mathematics, Prospects of Formal Mathematics
Jul 8, 2024 -
"Pattern runs on matter: The free monad monad as a module over the cofree comonad comonad"
ACT 2024
Jun 17, 2024 -
"AI tools for Better Math"
Hausdorff Center for Mathematics
Jun 13, 2024 -
"Formal AI-Assisted Code Specification And Synthesis: Concrete Steps Towards Safe Sociotechnical Systems"
FAR Seminar
May 22, 2024 -
"Network Mathematics for All"
Topos-Chapman Workshop
May 14, 2024 -
"AI-Assisted Coding: Correct By Construction, Not By Generation"
Chapman University
May 8, 2024 -
"Dynamic Interfaces and Arrangements: An algebraic framework for interacting systems"
Princeton Neuroscience of Cognitive Control
Apr 17, 2024 -
"Voce e sua Pesquisa Problemas em Logica: Quais, Como e Por Que?"
SOL, Sociedade Brasileira de Logica (SBL), Brazil
Apr 15, 2024 -
"AI Tools for Better Math: Network Mathematics"
Dealer: SRI PARC, Palo Alto
Apr 12, 2024 -
"Applied Category Theory: Towards a hard science of interdisciplinarity"
Princeton Neuroscience of Cognitive Control
Apr 10, 2024 -
"Women in Logic Online & Network Mathematics"
Vienna Center for Logic and Algorithms
Mar 20, 2024 -
"Polynomial Functors"
University of Calgary, Computer Science Peripatetic Seminar
Mar 8, 2024 -
"How can math promote life?"
Calgary Mathematics & Philosophy Lecture
Mar 7, 2024 -
"Toward formalizing scientific theories and models using categorical logic"
Chapman University
Jan 31, 2024 -
"Dynamic operads: compositional adaptive systems"
Caltech Special Seminar in Mechanical and Civil Engineering
Dec 14, 2023 -
"Online learning for spiking neural networks with relative information rate"
Institute for Mathematical and Statistical Innovation (Chicago): Workshop on Bayesian Statistics and Statistical Learning
Dec 11, 2023 -
"Relative Information and the Dual Numbers"
San Francisco State University: Algebra, Geometry and Combinatorics Seminar
Oct 25, 2023 -
"War Time Proofs & futuristic programs"
Berkeley Logic Colloquium
Oct 13, 2023 -
"Extracting Math Concepts from Text"
Schloss Dagstuhl, Germany
Oct 3, 2023 -
"Cartesian double theories"
Topos Institute Berkeley Seminar
Sep 25, 2023 -
"War Time Proofs, futuristic programs"
Strange Loop
Sep 22, 2023 -
"Extracting Mathematical Concepts with Large Language Models"
MathUI @Conference on Intelligent Computer Mathematics, online
Sep 7, 2023 -
"Structured and decorated cospans from the viewpoint of double category theory"
Applied Category Theory 2023
Aug 4, 2023 -
"Applied Category Theory: Towards a science of multidisciplinarity"
Society for Multidisciplinary and Fundamental Research
Jul 25, 2023 -
"All you need is relative information"
Singular Learning Theory and Alignment Summit (Berkeley)
Jun 26, 2023 -
"Lenses and Dialectica Constructions"
MFPS 2023, Bloomington, Indiana
Jun 23, 2023 -
"Dialectica Categories and Doctrines"
Workshop on Doctrines & Fibrations, Padova, Italy
Jun 1, 2023 -
"Constructive Modal Logics: a tutorial"
Pisa, IT, Department of Computer Science
May 24, 2023 -
"Dynamic Interfaces and Arrangements: An algebraic framework for interacting systems"
Categories for Consciousness Science
Apr 15, 2023 -
"Dialectica Categories Revisited"
Chapman University OCIE
Apr 14, 2023 -
"Dynamic organizational systems: from deep learning to prediction markets"
Categories for AI
Mar 27, 2023 -
"Dialectica and Godel Doctrines"
2nd EBTC, Sao Paulo, BR
Mar 22, 2023 -
"Dialectica Comonoids"
Denver Seminar on Logic and Algebra
Feb 17, 2023 -
"Poly is an unreasonably effective abstraction"
Finding the Right Abstractions for Healthy Systems (FRA2)
Jan 9, 2023 -
"Dialectica Categorical Constructions"
non JMM 2023
Jan 6, 2023 -
"Category Theory is Living Language"
JMM 2023
Jan 5, 2023 -
"Dynamic Operads for Evolving Organizations"
JMM 2023
Jan 5, 2023 -
"Double Presheaf Categories via Polynomial Functors"
Virtual Double Categories workshop
Nov 29, 2022 -
"AlgebraicJulia: a compositional approach to technical computing"
NIST Workshop on Compositional Structures for Systems Engineering and Design
Nov 4, 2022 -
"Introduction to double categories and applications to relational databases"
University of Florida Algebra Seminar
Oct 27, 2022 -
"Dynamic organizational structures"
NASA PCE3
Oct 20, 2022 -
"Dynamic Interfaces and Arrangements: An algebraic framework for interacting systems"
Active Inference Institute
Sep 13, 2022 -
"Double categories for databases and knowledge representation"
Topos Institute Berkeley Seminar
Sep 6, 2022 -
"Dialectica Categorical Constructions"
Encontro Brasil-Portugal 2022, Salvador, Bahia
Aug 19, 2022 -
"Panel: Logic Meets ML"
NALOMA
Aug 12, 2022 -
"Diagrammatic differential equations"
ACT2022
Jul 22, 2022 -
"Dynamic operads for evolving organizations"
ACT2022
Jul 19, 2022 -
"Polynomial functors and Shannon Entropy"
ACT2022
Jul 19, 2022 -
"Typed and stratified models with slice categories"
ACT2022
Jul 19, 2022 -
"Tutorial: Constructive Modal Logics"
Australasian Association for Logic
Jun 23, 2022 -
"Sketches in Compositional Dynamics and Planning"
ICRA 2022 Workshop on Compositional Robotics
May 23, 2022 -
"Dialectica Categories Revisited"
8th CSLI Workshop on Logic, Rationality & Intelligent Interaction, Stanford University
May 22, 2022 -
"Polynomial functors and Shannon Entropy"
Symposium for Categorical Semantics of Entropy
May 13, 2022 -
"PLN pra Tod@s"
IC-CDI C4AI, USP, Sao Paulo, Brazil
Apr 27, 2022 -
"Networked Mathematics"
Pisa CS Department
Apr 7, 2022 -
"Doing Without a Modality"
MSFP/ETAPS
Apr 2, 2022 -
"Problemas de Kolmogorov-Veloso"
UFBa
Mar 21, 2022 -
"Familial Monads for Higher and Lower Category Theory"
2022 Workshop on Polynomial Functors
Mar 16, 2022 -
"Dialectica Petri Nets"
Intercats
Mar 8, 2022 -
"Sense-making: accounting for intelligibility"
Mathematics of Collective Intelligence (IPAM)
Feb 19, 2022 -
"Principles and pitfalls of designing software for applied category theory"
Topos Institute Berkeley Seminar
Feb 14, 2022 -
"Categorical interaction in the polynomial ecosystem"
Seminar on Categorical Interaction (Topos Institute)
Jan 25, 2022 -
"Natural Language Inference: for Humans and Machines"
Topos Institute Berkeley Seminar
Jan 24, 2022 -
"Negation in the ecumenical system"
1st Brazil-Colombia Logic meeting
Dec 17, 2021 -
"The importance of being Earnest: open datasets in Portuguese"
OpenCor Workshop (Bracis)
Dec 3, 2021 -
"Categories of diagrams in data migration and computational physics"
Topos Institute Colloquium
Dec 2, 2021 -
"Constructive Modal and Linear Logics"
Tallinn University of Technology, Estonia
Dec 2, 2021 -
"Polynomial functors and database aggregation"
Novemberfest
Nov 13, 2021 -
"Semantics and Reasoning: for NLP, AI and ACT"
Ada Lovelace Day, Lucy Cavendish College, Cambridge
Oct 20, 2021 -
"Dynamic networks generalize deep learning"
Michael Mahoney Statistics Seminar
Oct 7, 2021 -
"Ologs: what, why, and how"
Introduction to Applied Category Theory course (University of Florida)
Sep 23, 2021 -
"Dynamic networks and learning"
'AFOSR: Dynamical Systems and Control Theory Review'
Sep 21, 2021 -
"Regular Logic via String Diagrams: A Case Study"
MFPS Invited Tutorial
Sep 2, 2021 -
"Dialectica Comonads"
CALCO Invited Talk
Aug 31, 2021 -
"Dynamic Rewiring as Learning"
Applied Category Theory and Graph Operad Logic
Aug 27, 2021 -
"Categorical Explicit Substitutions"
Topos Institute Colloquium
Aug 19, 2021 -
"Topos Institute"
ACT2021 Industry Session
Jul 12, 2021 -
"Panel on 'The Many Paths to Understanding Deep Learning'"
'Brazil in AI: Understanding Deep Learning'
Jul 9, 2021 -
"Compositional Modeling with AlgebraicJulia"
IMAG Viral Pandemic Working Group
Jul 8, 2021 -
"Backprop as Functor"
'Brazil in AI: Understanding Deep Learning'
Jun 25, 2021 -
"Constructive Modalities"
Seventh Ticamore Meeting
Jun 16, 2021 -
"Topos Institute"
QPL Industry Session
Jun 8, 2021 -
"Categorical Semantics for Explicit Substitutions"
University of Cambridge Category Theory Seminar
Jun 1, 2021 -
"Dynamic Interaction Patterns"
'Compositional Robotics: Mathematics and Tools (ICRA 2021)'
May 31, 2021 -
"Constructive Modalities"
'Dinâmicas: Celebrating Women in Math'
May 25, 2021 -
"Toward interactive control"
SIAM Mini-Symposium of Dynamics and Networks
May 23, 2021 -
"Dialectica and Kolmogorov Problems"
Finding the Right Abstractions
May 19, 2021 -
"A Short Introduction to Categorical Logic"
Finding the Right Abstractions
May 18, 2021 -
"Cultivating Strategies"
Finding the Right Abstractions
May 4, 2021 -
"Welcome to Topos"
Finding the Right Abstractions
May 4, 2021 -
"Tutorial on Category Theory: Part 1, Pure and Classical"
Finding the Right Abstractions
May 1, 2021 -
"Tutorial on Category Theory: Part 2: Applied"
Finding the Right Abstractions
May 1, 2021 -
"Linear Logic and Constructive Mathematics"
'Philosophy PUC-Rio: Working Logician 2021'
Apr 21, 2021 -
"Cospans as a Tool for Composition"
UNAM Categories Seminar
Mar 31, 2021 -
"Mathematical stem cells for an information ecology"
JHU APL Intelligent Systems Seminar
Mar 4, 2021 -
"Polynomials and the Dynamics of Data"
UNAM Categories Seminar
Feb 17, 2021 -
"Categorical Models for Explicit Substitutions"
GTC-UnB
Feb 8, 2021 -
"Applied Category Theory: Mathematics for Interdisciplinary systems modeling"
Mathematics in Artificial Reasoning and Sciences
Feb 2, 2021 -
"A semântica nossa de cada dia"
1st Brazilian Meeting on Category Theory
Jan 27, 2021 -
"The Language of Networks"
ACT4E
Jan 21, 2021 -
"C-sets for data analysis: graphs, relational data, and conjunctive queries"
Bay Area ACT Meetup Group
Jan 20, 2021 -
"Applied category theory: towards a science of interdisciplinarity"
ACT4E
Jan 7, 2021 -
"(Co)relational computing in Catlab: The operad of UWDs and its algebras"
MIT Categories Seminar
Dec 10, 2020
No matching items