Talks

Conferences and Workshops

• Orthocomplemented subspaces and partial projections on a Hilbert space, Synthetic mathematics, logic-affine computation and efficient proof systems, CIRM, Marseille, 12.09.2025.
• Categories with dependent and codependent arrows, EuroProofNet on Formal Proofs COST, WG6 meeting in Genova, 18.04.2025.
• Categories with dependent and codependent arrows, 5th ItaCa Workshop, Padova, 20.12.2024.
• Constructive algebraic approaches to the powerset, Categorical Logic and Constructive Mathematics, Verona, 23.10.2024.
• The Grothendieck computability model, ICTCS 2024, Torino, 11.09.2024.
• Toposes with dependent and codependent arrows, Toposes in Mondovi, Mondovi, 10.09.2024.
• Constructive Stone representations for separated swap and Boolean algebras, AILA 2024, Udine, 05.09.2024.
• Strong and complemented negation in constructive mathematics, Proof, Argumentation, Computation, Modalities And Negation, Verona, 22.03.2024.
• Topologies of open complemented subsets, From Proofs to Computation in Geometric Logic and Generalizations, Dagstuhl-Seminar 24021, Schloss Dagstuhl Leibniz-Zentrum für Informatik, 09.01.2024.
• Strong Constructive Mathematics, Constructive Mathematics: Foundations and Practice, Nis, 26.06.2023.
• Swap algebras and swap rings, Logic Colloquium 2023, Milan, 09.06.2023.
• From algebras of complemented subsets to swap algebras, Type Theory, Constructive Mathematics and Geometric Logic, CIRM Marseille, 01.05.2023.
• Sets completely separated by functions in Bishop Set Theory, CCC 2022, Padova (virtually), 22.09.2022.
• Strong negation: from constructive mathematics to the theory of computable functionals TCF, Applied Proof Theory 2022, Pescara, 30.08.2022.
• Algebras of complemented subsets, CiE 2022, Swansea (virtually), 12.07.2022.
• Proof-relevance in Bishop-style constructive mathematics, 13th Panhellenic Logic Symposium, University of Thessaly, Volos, 09.07.2022.
• The distributivity of Pi over Sigma: from Martin-Loef types and Bishop sets to categories, Second Congress of Greek Mathematicians, NTUA, Athens, 04.07.2022.
• Positive negation in constructive mathematics, Logic Colloquium 2022, Reykjavik (virtually), 30.06.2022.
• Positive negation in constructive mathematics, Syntax and Semantics of type Theories, Stockholm University, Department of Mathematics, 20.05.2022.
• The computational content of measure theory, Mathematics in Munich, Munich (virtually), 17.02.2022.
• Computability models over categories and presheaves, Logical Foundations of Computer Science 2022, Deerfield Beach (virtually), 10.01.2022.
• The distributivity of the category of dependent objects over the Grothendieck category, Geometric Logic, Constructivisation, and Automated Theorem Proving, Dagstuhl-Seminar 21472, Schloss Dagstuhl Leibniz-Zentrum für Informatik, 23.11.2021.
• From Daniell spaces to the integration spaces of Bishop and Cheng, Continuity, Computability Constructivity, From Logic to Algorithms, Birmingham (virtually), 24.09.2021.
• Predicative Bishop-Cheng Measure Theory, Computability and Complexity in Analysis 2021, Munich (virtually), 26.07.2021.
• Chu representations of categories related to constructive mathematics, Logic Colloquium 2021, Poznań (virtually), 23.07.2021.
• Computability models over categories, CiE 2021, Ghent (virtually), 06.07.2021.
• Bishop sets, Martin-Löf types and categories, Habilitationskolloquium, Mathematics Institute LMU, 26.10.2020.
• Functions of Baire class one over a Bishop topology, CiE 2020, Salerno (virtually), 02.07.2020.
• Bishop topological groups, Algebra and Algorithms, Djerba, 06.02.2020.
• From Univalent Type Theory to Bishop Set Theory, Foundations and Applications of Univalent Mathematics, Herrsching, 19.12.2019.
• Direct families of sets and direct spectra of Bishop spaces, Mathematical Logic and Constructivity, Stockholm University, 22.08.2019.
• Borel and Baire sets in Bishop spaces, CiE 2019, Durham, 19.07.2019.
• Constructive topology of Bishop spaces, Colloquium talk, Department of Mathematical Sciences, University of Cincinnati, 28.03.2019.
• Constructive families of sets and subsets, Continuity, Computatability, Constructivity 2018, University of Algarve, Faro, 27.09.2018.
• Bishop spaces and the problem of constructivizing general topology, Constructive Mathematics, HIM, Bonn, 10.08.2018.
• Constructive families of sets and subsets, Proof, Computation, Complexity, HIM, Bonn, 20.07.2018.
• A Yoneda lemma-formulation of the univalence axiom, HoTT/UF, FLoC 2018, Oxford, 08.07.2018.
• Myhill's sytem CST revisited, Proofs and Computation, HIM, Bonn, 04.07.2018.
• Bishop's constructivism in foundations and practice of mathematics, Foundations in Mathematics-Modern Views, Munich, 07.04.2018.
• McShane-Whitney extensions and the Hahn-Banach theorem, Second Workshop on Mathematical Logic and its Applications, Kanazawa, 05.03.2018.
• Typoids in Martin-Löf's intentional type theory, XXVI incontro dell'Associazione Italiana di Logica e sue Applicazioni, Padua, 25.09.2017.
• Typoids in Univalent Type Theory, Proof, Computation Complexity 2017, Göttingen, 26.07.2017.
• McShane-Whitney pairs, CiE 2017, Turku, 16.06.2017.
• A density theorem for hierarchies of limit spaces over separable metric spaces, Theory and Applications of Models of Computation, Bern, 22.04.2017.
• On the geometric character of Homotopy Type Theory, Operations, Sets, and Types, Bern, 10.03.2017.
• Constructive Comfort-compactness, Interval Analysis and Constructive Mathematics, Banff International Research Station, Casa Matemática Oaxaca, 17.11.2016.
• A constructive function-theoretic approach to topological compactness, LICS 2016, Columbia University, NYC, 07.07.2016.
• A direct constructive proof of a Stone-Weierstrass theorem for metric spaces, CiE 2016, Paris, 28.06.2016.
• Bishop's Stone-Weierstrass theorem for compact metric spaces revisited, Effective Analysis: Foundations, Implementations, Certification, CIRM, Marseille, 14.01.2016.
• The Urysohn Extension Theorem for Bishop Spaces, Logical Foundations of Computer Science 2016, Deerfield Beach, Florida, 06.01.2016.
• Basic homotopy theory of Bishop spaces, Jahrestagung der Deutschen Mathematiker-Vereinigung 2015, Hamburg, 22.09.2015.
• A constructive Stone-Weierstrass theorem for pseudo-compact Bishop spaces, Bridges between Financial and Constructive Mathematics, Munich, 14.07.2015.
• Completely regular Bishop spaces, CiE 2015, Bucharest, 30.06.2015.
• The Cantor Space as a Bishop space, Fifth Workshop on Formal Topology, Institut Mittag-Leffler, Stockholm, 08.06.2015.
• Bishop spaces: constructive point-function topology, Oberwolfach Workshop "Mathematical Logic: Proof Theory, Constructive Mathematics", 16-22.11.2014.
• Limit spaces with approximations, CORCON 2014 Workshop, Genova, 24.03.2014.
• Constructive Combinatorics of Dickson's Lemma, Constructive Mathematics: Foundations and Practice, Nis, 25.06.2013.
• Some advances in the theory of computable functionals TCF⁺ and its implementation, Foundation of Mathematics for Computer-Aided Formalization, Padova, 09.01.2013.
• On the Formal Constructive Theory of Computable Functionals TCF⁺, CiE Turing Centenary Conference, Cambridge, 22.06.2012.
• Extending the Basic Scott-framework of Information Systems, Domains X, Swansea, 06.09.2011.
• Extension of Scott's information systems to regular and T₁ spaces, Symposium on Constructivity and Computability in Algebra, Analysis, Logic and Topology, Upsalla, 10.06.2011.
• A constructive proof of Dickson's Lemma, Proofs and Computations N+1, Munich, 28.03.2011.

---

Seminars and Meetings

• The "complemented subsets" point of view, Institut de Recherche en Informatique Fondamentale (IRIF), Université Paris Cité, 27.11.2025.
• Orthocomplemented subspaces and partial projections on a Hilbert space, Logic Seminar, mathematics Department, University of Padova, 24.09.2025.
• Orthocomplemented subspaces of a Hilbert space, Oberseminar Mathematische Logik, Mathematics Institute LMU, 11.06.2025.
• Apart algebras, ABMV2024, University of Munich, 30.11.2024.
• On strong and complemented negation in constructive mathematics, "Logic and Epistemology"-Colloquium, Ruhr University Bochum, 02.05.2024.
• From dependent type theory to dependent category theory, Mathematics Department of Stockholm University, 01.11.2023.
• Sigma-objects and fibrations, Mathematics Department of the University of Padua, 16.06.2023.
• Categories with dependent arrows, AVM 2023, LMU Munich, 18.01.2023.
• Categories with dependent arrows, Oberseminar Mathematische Logik, Mathematics Institute LMU, 30.11.2022.
• Computability models over categories and presheaves, Oberseminar Mathematische Logik, Mathematics Institute LMU, 16.03.2022.
• On the right notion of negation in constructive mathematics, Oberseminar Mathematische Logik, Mathematics Institute LMU, 23.02.2022.
• Chu representations of categories related to constructive mathematics, Oberseminar Mathematische Logik, Mathematics Institute LMU, 17.03.2021.
• On the BHK-interpretation of BISH within BISH, ABMV 2019, LMU Munich, 12.12.2019.
• Types and Bishop sets, Types in Munich, LMU Munich, 07.06.2019.
• Categories and Bishop sets, Arbeitstagung Bern-München, LMU Munich, 03.05.2019.
• Dependent Sums and Products in Bishop Set Theory, HoTT Seminar, Carnegie Mellon University, Pittsburgh, 22.02.2019.
• Interactions between a universe of types and its successor universe, ABM Spring Meeting 2018, University of Bern, 27.04.2018
• A Yoneda lemma-formulation of the univalence axiom, Mini-Workshop on Mathematical Logic and its Applications, Japan Institute of Advanced Science and Technology, 20.03.2018.
• A Yoneda lemma-formulation of the axiom of univalence, Universität der Bundeswehr München, 04.12.2017.
• Univalent types, University of Verona, 08.05.2017.
• An Inequality Type in Intensional Type Theory, Arbeitstagung Bern-München, LMU Munich, 08.12.2016.
• Constructive uniformities of pseudometrics, Logic and its Applications, LMU Munich, 12.10.2016.
• Perspectives in constructive analysis, Vorstellungsvortrag zur Habilitation, Mathematisches Institut der LMU, 22.04.2016.
• A Stone-Weierstrass Theorem for Pseudo-Compact Bishop Spaces, Logic and Information WT 2015 (Münchenwiler Meeting), 15.10.2015.
• A constructive function-theoretic notion of compactness, Oberseminar Mathematische Logik, LMU Munich, 22.04.2015.
• The zero sets of a Bishop space, University of Canterbury, Christchurch New Zealand, 12.03.2015.
• On Bishop's function spaces, Oberseminar Mathematische Logik, LMU Munich, 21.05.2014, and The 2014 Münchenviler Summer Seminar, 19.06.2014.
• Generalized density theorems in domains , Arbeitstagung Bern-München, Münchenviler, 03.05.2012.
• Higman's lemma, Seminar: Rechnerischer Gehalt von Beweisen, LMU Munich, 25.01 and 01.02.2012.
• The Fan Theorem , Seminar: Rechnerischer Gehalt von Beweisen, LMU Munich, 13.07.2011.
• The construction of concepts: from Euclid's geometric concepts to Brouwer's species, Oberseminar Mathematische Logik, LMU Munich, 02.02.2011.

Last modified: 22.12.2025