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