differential cohomology in a cohesive topos in Schreiber
Quantum 2-States: Sections of 2-vector bundles, talk at Higher categories and their applications, Jan 2007, Fields Institute (pdf, pdf)
(introducing the perspective of regarding the 2-category of algebras with bimodules and their intertwiners between them as a good model for 2-vector spaces, and 2-vector bundles)
Background fields in twisted differential nonabelian cohomology, in: Strings, Fields, Topology, Oberwolfach Report 28 (2009) 1578-1582 [pdf, doi:10.4171/owr/2009/28]
Gauge fields in an ∞\infty-topos, talk at Categories, Logic and Foundations of Physics VI, Oxford 2010 (video)
WZW terms in a cohesive ∞\infty-topos, talk in Erlangen (2011) (pdf)
Chern-Simons terms on higher moduli stacks, talk at Hausdorff Institute Bonn (2011) (pdf)
Preuqantum physics in a cohesive topos, Talk at Quantum Physics and Logic 2011, (pdf)
∞\infty-Chern-Simons functionals, Talk at Higher Structures Göttingen (2011) (pdf)
Stacks, differential geometry and action functionals, course notes for the 8th meeting of the Polish Category theory seminar as well as the 4th Odense winter school on geometry and theoretical physics (2011)
Twisted smooth cohomology in string theory, expanded notes for a lecture series at ESI Program on K-Theory and Quantum Fields (2012)
Quantum gauge field theory in Cohesive homotopy type theory, talk at Quantum Physics and Logic 2012
Quantomorphism n-groups on n-plectic higher stacks at From Poisson geometry to String geometry, Erlangen (2012)
Higher Chern-Simons theory, lecture series at Workshop on Topological Aspects of Quantum Field Theories, Singapore (14 - 18 Jan 2013) on the first sections at geometry of physics, II) Physics
Higher Chern-Simons theory Introduction, lectures at the workshop Chern-Simons Theory: Geometry, Topology and Physics University of Pittsburgh (May 4-6, 2013)
Higher geometric prequantum theory and the Brane Bouquet, talk at Bayrischzell workshop 2013 (May 24-27 2013)
Synthetic Quantum Field Theory at 2013 CMS summer meeting, session Progress in higher categories, Halifax (June 5-7, 2013)
Super L-infinity algebras and the Brane Bouquet, talk at Higher Algebras and Lie-infinity Homotopy Theory, Luxembourg, (June 25-28, 2013)
Motivic quantization of prequantum field theory, talk at GAP XI ? Higher Geometry and Quantum Field Theory, Pittsburgh, (August 19-23, 2013)
Classical field theory via Cohesive homotopy types, talk at Conference on Type Theory, Homotopy Theory and Univalent Foundations 2013, Barcelona (September 23-27, 2013)
Super Gerbes, talks and seminar at Third String Geometry Network meeting at MPI, Bonn, (October 7-11, 2013)
Tangent cohesion, talk at Twists, generalised cohomology and applications, Münster (October 14-18, 2013)
Higher toposes of laws of motion, talk at 8th Scottish Category Theory Seminar, (November 29, 2013)
(canceled last minute for private reasons) Higher WZW terms on higher smooth groups, talk at Higher Lie theory workshop, Luxembourg, 9-11 December 2013
Quantization via Linear homotopy types, Workshop “Philosophy of Mechanics: Mathematical Foundations”, February 12-14, 2014 - Université Paris Diderot
Quantization via Linear homotopy types, talk at part I of: Modern trends in topological quantum field theory, ESI, Vienna Febuary 2014
Differential generalized cohomology in Cohesive homotopy type theory, talk at Formalization of Mathematics, IHP, Paris, 5-9 May 2014
Differential cohomology is Cohesive homotopy theory, talk at Higher Geometric Structures along the Lower Rhine June 2014, 19-20 June 2014
lecture series Introduction to higher geometric quantum theory at Workshop on Higher Gauge Theory and Higher Quantization, Edinburgh 25/26 June 2014
Correspondences of cohesive linear homotopy types and Quantization, talk at Symmetries and correspondences: intra-disciplinary trends, Oxford July 5-8 2014
differential cohesion and idelic structure, talk at String geometry and loop spaces in Greifswald, 28. July - 1. August 2014
Fractures, Ideles and the Differential Hexagon, talk at Workshop on differential cohomologies, CUNY Graduate Center, August 12-14 2014 (video recording)
seminar talks at String Geometry Network Meeting, Münster, 18-22 August 2014
Higher field bundles for gauge fields, talk at Operator and geometric analysis on quantum theory, Levico Terme (Trento), Italy 15-19 September 2014
Lecture series on Higher gometric quantization following the notes What, and for what is Higher geometric quantization at SPHERE, Paris-Diderot, November 2014 (webpage)
talk Linear Homotopy Types and Integration in the seminar of the Type theory and Realizability Group at Paris-Diderot
talk The Gauge Principle and Local Quantum Field Theory (pdf slides), at the workshop Sur la notion d'identification en physique et en mathématiques, Paris-Diderot, November 13
talk at the seminar of the Fields, Strings and Geometry Group of University of Surrey, 18 November 2014
Higher super-WZW models, talk at seminar of the Eduard ?ech Institute for Algebra, Geometry and Physics – Seminar on harmonic analysis, Prague 4 Dec 2014
visit Minhyong Kim in Oxford 9-12 December 2014
(postponed) talk at Purdue math colloquium, Jan 2015
talk on Obstruction theory for parameterized higher WZW terms at 35th Winter School GEOMETRY AND PHYSICS Srní, Jan 17-24 2015
talk on Obstruction theory for parameterized higher WZW terms in Göttingen Kolloquium 29 Jan 2015
lecture series Higher Cartan Geometry in the Harmonic Analysis Seminar at Prague, spring 2015
talk on The reflective categories of supergravity, in the Algebra & Category Theory Seminar of Brno, organized by Jiří Rosický, March 12, 2015
talk on Some super-Cartan geometry at the Central European Seminar in Brno, March 13, 2015
talk on Modern Physics formalized in Modal Homotopy Type Theory at workshop on Applying Homotopy Type Theory to Physics, Bristol, 7-8 April 2015
Infinitesimal symmetries of Deligne cocycles, talk in the Central European Seminar, Brno, May 29 2015
Structure Theory for Higher WZW Terms, series of talks at Flavors of Cohomology, Pittsburgh June 3-5, 2015
Obstruction theory for parameterized higher WZW terms, talk at Higher dimensional algebra in geometry and quantum field theory, AMS-EMS-SPM meeting in Porto, 10-13 June 2015
(canceled, since I did not pay over 200 EUR of conference “fee”) talk The M-Theory BPS charge super Lie 6-algebra (on 1.2.15.3.3 in dcct) at XXIIIth International Conference on Integrable Systems and Quantum symmetries (ISQS-23), Prague, June 23 - 27, 2015.
Duality of Monads in Geometric Homotopy Theory, talk at Duality in contemporary mathematics – philosophical aspects, Wuppertal University, Sept. 3-5, 2015
Obstruction theory for parameterized higher WZW terms, talk in the Algebra section of DMV meeting 2015, 21. - 25. Sept 2015, Hamburg
Some thoughts on the future of modal homotopy type theory, talk at Homotopy Type Theory and Univalent Foundations - Mini-Symposium at DMV meeting 2015, 21. - 25. Sept 2015, Hamburg
Higher Prequantum Geometry, talk at New Spaces for Mathematics and Physics, at Institut Henri Poincaré, Sept. 28 - Oct 2, 2015
“Prequantum field theory” (pdf), at “Talks in mathematical physics”, ETH Zurich, Nov 6, 2015
Prequantum field theories from Shifted symplectic structures, talk at MPI Bonn Higher Differential Geometry Seminar, 11 Nov 2015
Synthetic prequantum field theory in a cohesive homotopy topos, talk at Topos à l’IHES, conference on topos theory applied to number theory, algebraic geometry, logic, functional analysis, topology and mathematical physics; Paris, Nov. 25-27 2015
Prequantum field theory and the Green-Schwarz WZW terms, lecture series at Higher Structures in String Theory and Quantum Field Theory, ESI Program, Vienna, in the week November 30-December 4
Generalized cohomology of M2/M5-branes, talk at main workshop of Higher Structures in String Theory and Quantum Field Theory, ESI Program, Vienna, Dec 7 - 11, 2015
Differential cohesion and Arithmetic geometry, talk at Karslruher Weihnachts-Workshop 2015
Equivariant generalized cohomology of M2/M5-branes talk in Seminar on Higher Structures in the Program on Higher Structures in Geometry and Physics, MPI Bonn, 8 Jan 2016
Structure Theory for Higher WZW Terms, lecture at Seminário de Teoria Quântica do Campo Topológica (part I on 26 Jan 2016, part II on 29 Jan 2016), Lisbon
Structure Theory for Higher WZW Terms, lecture at Seminário de Teoria Quântica do Campo Topológica (part III on 23 Feb, part IV on 26 Feb 2016), Lisbon
Structure Theory for Higher WZW Terms, lecture at Seminário de Teoria Quântica do Campo Topológica (part V on 15 Mar, part VI on 18 Mar 2016), Lisbon
talk at FOMUS - Foundations of Mathematics – Univalent foundations and set theory, July 23 2016
Generalized cohomology of M2/M5-branes, talk at parallel session for ECM Satellite meeting “Classical and quantum symmetries in mathematics and physics”, Jena, 25-29 July 2016
Formalizing Cartan geometry in Modal Homotopy Type Theory talk at Homotopy Type Theory in Logic, Metaphysics and Philosophy of Physics at Bristol, 12-16 September 2016
Higher Structures in Mathematics and Physics, talk at the meeting of the Maths Department of the Czech Academy of Sciences, 9?11 November 2016 in Brno
geometry of physics – superalgebra, lecture in the series From the Superpoint to T-Folds, CAS Prague, Nov 24, 2016
geometry of physics – supergeometry, lecture in the series From the Superpoint to T-Folds, CAS Prague, Dec 1, 2016
Super Lie n-algebra of fundamental super p-branes, a couple of talks at Fields, Strings and Geometry Seminar, Surrey, Dec. 6, 2016
Higher Structures in Mathematics and Physics, and Quantization via twisted generalized cohomology, talks at “New interactions between homotopical algebra and quantum field theory”, workshop at Oberwolfach, Dec. 18-23, 2016
Duality in String/M-theory from Cyclic cohomology of Super Lie n-algebras, talk at Topological Quantum Seminar (alongside Iberian Strings 2017), Lisbon, 20. Jan 2017
Super topological T-Duality, talk at Conference on invertible objects and duality in derived algebraic geometry and homotopy theory, April 3-7, 2017, Regensburg
Super p-Brane Theory emerging from Super Homotopy-Theory talk in parallel session at String Math 2017, 24-28 July 2017 Hamburg, Germany
Supercocyles and the Brane scan (pdf), talk at SuperPhysMatics18, NYU Abu Dhabi, March 2018 (based on talk at StringMath2017)
Structured Homotopy Theory from String Theory (pdf), talk at Geometry, Topology & Physics, NYU Abu Dhabi, April 2018
lecture series “Categories and Differentially cohesive Infinity-Toposes” at Diffeology, Categories and Toposes Summer School June 18-29 2018, Galatasaray Istanbul, June 2018, Nesin Mathematics Village, Izmir, Turkey
Introduction to Higher Supergeometry, lecture at Higher Structures in M-Theory, Durham Symposium 12-18 August 2018
Equivariant Stable Cohomotopy and Branes, talks at Geometry, Topology & Physics, NYU Abu Dhabi, October 2018
Equivariant Cohomotopy and Branes, talk at String and M-Theory: The New Geometry of the 21st Century, 10 - 14 Dec 2018, Singapore
Equivariant Super Homotopy Theory, talk at Geometry in Modal Homotopy Type Theory, Carnegie Mellon University, Pittsburgh, March 2019
The Higher Structure of 11d Supergravity, talk at Souriau 2019, May 2019, Paris
Twisted Cohomotopy implies M-theory anomaly cancellation, presentation at Strings2019, July 2019, Brussels
talk on Equivariant Cohomotopy of toroidal orbifolds, at Prof. Sadok Kallel‘s group seminar, 21st October 2019 , Sharjah
talk on Super-exceptional embedding construction of the M5-brane at Supergeometry, supersymmetry and quantization, December 2019, Luxembourg
Microscopic Brane Physics from Cohomotopy, talk at M-Theory and Mathematics, January 2020, Abu Dhabi
Cohomotopy Theory and Branes, talk at Geometry, Topology & Physics, March 2020, Abu Dhabi
Proper Orbifold Cohomotopy for M-Theory, talk at: String and M-Theory: The New Geometry of the 21st Century – II, Singapore, Nov-Dec 2021
Some Quantum States of M-Branes under Hypothesis H , talk at: Centre for Research in String Theory, QMU London, Dec 2021
Higher and Equivariant Bundles, talk via Feza Gürsey Higher Structures Seminar, Feza Gürsey Institute Istanbul, Feb 2022
Anyonic Defect Branes in Twisted Equivariant Differential K-Theory, talk via Seminario de Categorías UNAM, 13 April 2022
Anyonic Defect Branes in Twisted Equivariant Differential K-Theory, talk via Joint Mathematical Physics online Seminar – Munich, Heidelberg, Mainz, Vienna, 9 May 2022
What is… the nLab, talk via Big Data in Pure Mathematics 2022, 21 May 2022
New Foundations for Topological Data Analysis – The Power of Cohomotopy, talk in the CQTS-colloquium, May 2022
TED K-theory of Cohomotopy moduli spaces and Anyonic Topological Order, talk at Higher Structures and Field Theory, ESI Vienna, 25 Aug 2022
Knots for quantum computation from defect branes, talk at Workshop on Topological Methods in Mathematical Physics in Erice, 2-6 Sep 2022
Initial Researchers’ Meeting – Motivation, Strategy & Technology, talk at CQTS, 14 Sep 2022
Topological Quantum Programming in TED-K, talk at PLanQC 2022, 15 Sep 2022
Practical Foundations for Topological Quantum Programming, talk at Math Faculty Meeting, NYU Abu Dhabi (16 Sep 2022)
Quantum Programming via Linear Homotopy Types, talk at GTP seminar at CQTS (26th Oct 2022)
Twisted equivariant differential (TED) K-theory via diffeological stacks, talk at Global Diffeology Seminar, 03 Nov 2022
Quantum Data Types via Linear Homotopy Type Theory, talk at Workshop on Quantum Software, @ QTML 2022 (12 Nov 2022)
cyclic loop spaces via higher topos theory in high energy physics, talk at Loop spaces and Higher category, HUST & SCUT (2-3 Dec 2022)
Topological Quantum Gates from M-Theory, talk at M-Theory and Mathematics 2023, Jan 2023
Towards certifying topological hardware-aware quantum programming, talk at CQTS & TII Workshop 2023
Introduction to Hypothesis H, talk at New Mexico Geometry & Topology seminar (24 Feb 2023)
Introduction to Hypothesis H, talk at Building-Up Differentiable Homotopy Theory 2023, Aizu (5-8 March 2023)
Effective Quantum Certification via Linear Homotopy Types – Part I, talk at colloquium of the Topos Institute, 13 April 2023
Entanglement of Sections, talk at Quantum Information and Quantum Matter, NYU Abu Dhabi, 22-26 May 2023
Introduction to Hypothesis H, talk at Representations in higher structures, Greifswald June 27-30, 2023
Effective Quantum Certification via Linear Homotopy Types – Part II, talk at colloquium of the Topos Institute (17 Aug 2023)
Higher Topos Theory in Physics, talk at Workshop on Homotopy Theory and Applications, CQTS (Oct 2023)
Higher Topos Theory in Physics and Introduction to Hypothesis H, talks at Wolfram Science Winter School, 10 Jan 2024 (online)
Introduction to Hypothesis H, talk at AdS Seminar of YMSC String Theory Group @ Yau Mathematical Sciences Center, Beijing, 11 Jan 2024
Introduction to Hypothesis H, talk at M-Theory and Mathematics 2024, NYU Abu Dhabi, 15-17 Jan 2024,
Topological Quantum Programming via Linear Homotopy Types, talk at Homotopy Type Theory Electronic Seminar Talks, 01 Feb 2024
Flux Quantization, talk at UAE MathDay 2024, 02 Mar 2024
Flux-Quantization of 11D Supergravity on Superspace, talk at Field Theory and Gravity – Classical and Quantum, CQTS NYU Abu Dhabi (2024)
Towards Quantum Programming via Linear Homotopy Types, talk at Homotopy Type Theory and Computing – Classical and Quantum, NYU Abu Dhabi (19-21 April 2024)
Towards Certified Topological Quantum Programming via Linear Homotopy Types, talk at Quantum Information and Quantum Matter 2024, NYU Abu Dhabi, 27-31 May 2024
Higher Topos Theory in Physics, Category Theory Online Seminar, 19 June 2024
Topological Quantum Programming via Linear Homotopy Types, talk at Quantum Physics and Logic 2024, 15-19 July 2024
Abelian Anyons on Flux-Quantized M5-Branes, talk at Quantum Colloquium of CQTS, 23 Sep 2024
Two Notions of Nonabelian Differential Cohomology, talk at 2024 Lie-Størmer Colloquium – Foundational and computational aspects of symmetry, 2-4 Dec 2024, Tromsø, Norway
Globalizing Parallel 2-Transport, talk at NTNU workshop Multi-Parameter Signatures, Trondheim, Dec 5-6
Super-Exceptional Geometry for 11D Supergravity, talk at HEP Seminar @ Max Planck Institute for Gravitational Physics (Albert Einstein Institute, Potsdam), 9 Dec 2024
Introduction to Hypothesis H, lecture series at 45th Srní Winter School GEOMETRY AND PHYSICS, 18-25 Jan 2025, Srní, Czechia
Homotopy Theory for Topological Quantum Computing, talk at 4th International Conference on Mathematics and Statistics, American University of Sharjah, 20-22 Feb 2025
Quantum Language via Linear Homotopy Types, mini-course at IX International Workshop on Information Geometry, Quantum Mechanics and Applications 2025, ICMAT Madrid, 24-28 Feb 2025
(upcoming) guest appearance on Theories of Everything with Curt Jaimungal, 8 March 2025
(upcoming) talk at Topology and Geometry Seminar (Texas, Kansas), 26 March 2025
(upcoming) talk at ItaCa Fest 2025, 17 June 2025
(upcoming) talk at ISQS29, Prague, 7-11 July 20225
(upcoming) talk at Oberwolfach Mini-Workshop “Renormalization and Randomness”, Oberwolfach, 21-26 Sep 2025