Talks

Recent and upcoming talks:

2024

• Formal content and meaning in mathematics (with Eduardo Giovannini), Conference  Meaning and Equivalence of Formal Theories, University of Vienna, 05-06/12/2024

• TBA, Philosophy Colloquium, University of Tübingen, 20/11/2024 (invited)

• Logical and structural properties (with Johannes Korbmacher), Workshop Invariance, Objectivity, Symmetry, MCMP, LMU Munich,  09-10/10/2024

• Instrumental formalism: From Hilbert’s program to Carnap’s Wissenschaftslogik, HOPOS2024, Vienna, 09-14/07/2024

• Hilbert’s program and the status of ideal elements in nineteenth-century geometry, 7th International Meeting of the Association for the Philosophy of Mathematical Practice (APMP), Pavia, 18-21/06/2024

• Instrumental devices and implicit definition, Workshop Implicit definitions in mathematics: logic, epistemology and semantics, IUSS Pavia, 27-28/05/2024 (invited)

• Hilbert's conservativity program and the method of ideal elements, Conference Mathematics with a Human Face (II), University of Bergen, 21-22/05/2024 (invited)

• Instrumental devices, Formal Methods and Science in Philosophy V,  Inter-University Center, Dubrovnik, 16-18/05/2024

• What is implicit structure?, Conference Structuralism and Fictionalism in the Philosophy of Mathematics, York, 13-14/05/2024

• Cassirer on the ideality of mathematics, SToNE LAB, University Federico II, Naples, 12/03/2024 (invited)

• Instrumental devices, World Logic Day in Vienna, CEU, 10/01/2024

2023

• Hilbert's conservativity program, Workshop From Permanence to Conservativity: Metatheoretic Ideals in Early Formalism, Vienna, 04-05/12/2023

• Instrumental devices, Logik Café Colloquium, University of Vienna, 23/10/2023 

• Instrumental devices, MCMP Colloquium, LMU Munich, 19/10/2023

• Instrumental devices, EPSA2023, University of Belgrade, 20/09/2023

• How geometry became structural, 33rd Novembertagung on the History and Philosophy of Mathematics, University of Rijeka, 15-16/10/2023 (invited)

• Instrumental devices, FilMat Symposium on Formal Methods, 15th SIFA Conference, University of Eastern Piedmont, Alessandria, 08/09/2023

• Formal content and meaning in mathematics (with Eduardo Giovannini), 17th CLMPS, Buenos Aires, 24-29/07/2023

• What is implicit structure?, Workshop Invariance and Objectivity, University of Vienna, 29/06/2023

• Formalism and scientific objectivity, PTB  Seminar, University of Vienna, (ZOOM Meeting), 27/04/2023

2022

• Instrumental formalism and conservativity, IVC Colloquium, University of Vienna, 15/12/2022

• What is implicit structure?, Seminar The Philosophy of Mathematical Invariants, IMéRA Marseille, 13/12/2022, (Invited)

• Hilbert’s Early Metatheory Revisited: Categoricity and Interpretability, FilMat4 Conference, Pavia, 30/09/2022

• Mathematik als "Formenlehre", Conference Ernst Cassirers theoretische Philosophie – Perspektiven aus Mathematik- und Kulturphilosophie, Universität Siegen, 20/09/2022 , (Invited)

• What is implicit structure?, European Summer School on the Philosophy of Mathematics, University of Konstanz, 05-09/09/2022, (Invited)

• Carnap's formalist thesis, SSHAP2022, Shanxi University, 06-08/07/2022, (Invited)

• Implicit definitions and structuralism, Workshop Dialoguing with Gerhard Heinzmann, Nancy, 04-05/07/2022, (Invited)

• Hilbert's early semantics revisited: isomorphism and interpretability (with Eduardo Giovannini), HOPOS2022, UC Irvine, 20-23/06/2022

• Hilbert's early semantics revisited: isomorphism and interpretability, Workshop Perspectives on Categoricity, University of Vienna, 27/05/2022

• Implicit definitions and structuralism, Workshop The History of Implicit Definitions,  Université Aix-Marseille, 23-24/05/2022

• What is (implicit) structure?,  PTB  Seminar, University of Vienna, (ZOOM Meeting), 28/05/2022, (Invited)

• Logical concepts and structural properties (with Johannes Korbmacher), Conference Formal Methods and Science in Philosophy IV, Inter-University Centre (IUC), Dubrovnik, 21-23/04/2022

• Instrumental formalism and conservativity, Conference Philosophical Roots of Mathematical Logic, University of Turin, 04-09/04/2022, (Invited)

• The roots of structuralism, Colloquium, Logic Institute Colloquium, Czech Academy of Sciences, 17/03/2022, (Invited)

• How geometry became structural, Philosophy Colloquium, University of Salzburg, 18/01/2022 (Invited)

2021

• Scientific objectivity and the formalist turn, Philosophisch-theologisch-biologisches Seminar, University of Vienna, (ZOOM Meeting), 25/11/2021, (Invited)

• Structuralism and mathematical representation, Lecture, IHPST, Université Paris 1, 17/11/2021, (Invited)

• Carnap's formalist thesis, Lecture, IHPST, Université Paris 1, 10/11/2021, (Invited)

• How geometry became structural, Philmath Seminar, IHPST, Université Paris 1, 09/11/2021, (Invited)

• How geometry became structural, Séminarie EDPH, Université Paris 1 - Panthéon Sorbonne, 08/11/2021, (Invited)

• How geometry became structural, KGRC Colloquium, Vienna, 04/11/2021, (Invited)

• Hilbert’s early metatheory revisited (with Eduardo Giovannini), FPMW13 - 13th French PhilMath Workshop, Nice, 07-09/10/2021

• Symmetries and implicit structure, 2nd Interepisteme Workshop, Nice, 06/10/2021

• Two ways to think about implicit structure, EPSA2021, Turin, 15-18/09/2021

• How geometry became structural, Workshop Modern Geometry - Origins and Foundations, 24-26/02/2021 (ZOOM Meeting)

• Hilbert's Early Views on Completeness and Categoricity (with Eduardo Giovannini), Logik Café Colloquium, 25/01/2021 (ZOOM Meeting)  

2020

• Hilbert on Completeness, Categoricity, and Maximal Models, Workshop Intuition and Geometrical Rigor, Prague, 10-11/12/2020 (ZOOM Meeting)  

• Hilbert's Early Views on Completeness and Categoricity (with Eduardo Giovannini), Interepisteme Workshop, Université Aix-Marseille, 23/10/2020 (ZOOM Meeting)  

• Carnap's structuralist thesis, Reading Group on The Prehistory of Mathematical Structuralism, UC Riverside, 15/09/2020 (ZOOM Meeting)  

• Klein's geometrical structuralism, Reading Group on The Prehistory of Mathematical Structuralism, UC Riverside, 21/08/2020 (ZOOM Meeting)  

• Two ways to think about (implicit) structure, Workshop Relation and Structure, University of Chicago, 06/03/2020 (invited)

• Logicism in Logical Empiricism, 2020 APA Central Division Meeting, Chicago, 28/02/2020

2019

• How geometry became structural, Mathematical Colloquium, University of Vienna, 27/11/2019 (invited)

• How geometry became structural, CEU Philosophy Welcome Conference, Vienna, 04/10/2019

• Structuralism as a mathematical style: Klein, Hilbert, and 19th-Century Geometry, CLMPS2019, Prague, 05-10/08/2019

• Interpretations in nineteenth-century geometry, Conference Origins of Structuralism, Vienna 01-013/08/2019

• From scientific to analytic philosophy (and back again), SSHAP 2019, Boston, 18/06/2019 (invited)

• Semantics in type theory, SSHAP 2019, Boston, 17/06/2019

• Padoa, Carnap, and Tarski on deductive theories, 2nd Interepisteme workshop, Turin, 15-17/05/2019 

• Mathematical Structuralism and Informal Provability (with John Wigglesworth), Logik Café Colloquium, 06/05/2019

• Two ways to think about (implicit) structure, Conference FORMAL METHODS AND SCIENCE IN PHILOSOPHY III, Dubrovnik, 11-13/4/2019

• How geometry became structural, HPLMS Group, UC Berkeley, 06/03/2019 (invited)

• How geometry became structural, OC-IE HPML Group, Chapman University, Orange, 04/03/2019 (invited)

• Two ways to think about (implicit) structure, University of British Columbia, Kelowna, 01/03/2019 (invited)

2018

• Structuralism and `Ordnungsgefüge' (with Francesca Biagioli), Interepisteme Workshop, Vienna, 12-14/12/2018

• Implicit structure, Logik Café Colloquium, Vienna, 03/12/2018

• Two ways to think about (implicit) structure, FPMW10, Paris, 08/11-10/11/2018

• What are implicit definitions?,  Workshop Axioms and Definitions, Paris, 06/11/2018 (invited)

• Mathematical structuralism and implicit structure (3 lectures), IUSS Pavia, 08-12/10/2018 (invited)

• Two ways to think about (implicit) structure, ENFA 7, Lissabon, 14/09/2018

• Husserl and Carnap on completeness, Workshop Axiomatic Mathematics and Phenomenology, Bucharest, 03-04/09/2018 (invited)

• Two ways to think about (implicit) structure, International Wittgenstein Symposium, Kirchberg, 5-11/8/2018 (invited)

• Transfer principles and Klein's structuralism, Workshop Mathematics and Its Philosophy in the 19th Century, Amsterdam, 13-14/07/2018

• Implicit definitions and the development of modern axiomatics (with Eduardo Giovannini), HOPOS 2018, Groningen, 09-12/07/2018

• Transfer principles and Klein's group-theoretic structuralism, HOPOS 2018, Groningen, 09-12/07/2018

• Two ways to think about (implicit) structure,  MCMP Logic Colloquium, Munich, 21/06/2018

• Carnap's Der Raum and the notion of `Ordnungsgefüge' (with Francesca Biagioli), Philosophy of Science Colloquium - IVC, Vienna, 29/05/2018  

• On the History of Metatheory in Modern Type Theory, Philosophisches Kolloquium - Universität Leipzig, Leipzig, 09/05/2018 (invited)

• Metatheory in Type Theory, Workshop Modern Axiomatics and Early Metatheory, Vienna, 22/02/2018

2017  

• Two ways to think about mathematical structure, Université Aix-Marseille, 13-14/12/2017 (invited)

• Two ways to think about mathematical structure, Prague-Vienna workshop on the philosophy of mathematics, 11/12/2017 (invited)

• Transfer Principles and Structural Equivalence, Université de Montréal, Montréal, 24/11/2017 (invited)

• Carnap's structuralism, Conference Früher Carnap im historischen Kontext, Konstanz, 5-6/10/2017 (invited)

• Implicit definitions and the development of modern mathematics (with Eduardo Giovannini), Workshop "Mathematics and Mechanics in the Newtonian Age", Sevilla, 18-20/09/2017

• Transfer principles, Workshop Structuralist Methods in Modern Mathematics, Vienna, 12-14/07/2017 

• Logical concepts and structural properties (with Johannes Korbmacher), SILFS 2017, Bologna, 21/06/2017

• The structuralist thesis reconsidered, The Society for Exact Philosophy 2017 Conference, Calgary, 05-07/05/2017

• Carnap's structuralist thesis, SSHAP, Sixth Anual Conference, Calgary, 8-10/5/2017

• The structuralist thesis reconsidered, UConn-MCMP Workshop, Storrs, 04-06/04/2017

• Geometrical roots of model theory, Conference Model Theory: Philosophy, Mathematics and Language, Munich, 9-12/01/2017 (invited)

2016

• Transfer principles and structural equivalence, Masaryk University, Brno, 01/12/2016 (invited)

• Putnam on conditional logicism and modalism, Conference Putnam's Path, Maribor, 15/11/2016 

• Cassirer, Klein, and geometrical structuralism, 7th Symposium on Philosophy and History of Science and Technology: Structuralism: Roots, Plurality and Contemporary Debates, Evora, 04-05/11/2016

• Klein's program and structural equivalence, MCMP Colloquium, 14/07/2016

• Felix Klein's invariant-theoretic structuralism, Conference The Emergence of Structuralism and Formalism, Prague, 24-26/06/2016

• `Wissenschaftslogik' in the International Encyclopedia of Unified Science, Workshop Mathematicians and mathematics in the national encyclopedias (1910-1940), 02-03/06/2016

• Transfer principles and structuralism, Logik Café Colloquium, Vienna, 25/01/2016

• Cassirer, Klein, and geometrical structuralism, Conference Neo-Kantian Perspectives on the Exact Sciences, Konstanz, 23/01/2016

• Transfer principles and mathematical structuralism, Séminaire commun Paris-Nancy-Munich MathObRe-Project, Nancy, 21/01/2016 (invited)

• Transfer principles and Klein's geometrical structuralism, Workshop Roots of Mathematical Structuralism, UC Riverside, Riverside, 15-16/01/2016 (invited)

2015

• Carnap on logicism and the application of mathematics, Workshop Les Mathématiques dans les Encyclopédies Européenes de L'Entre-deux-guerres, Lille, 12-13/11/2015 (invited)

• Duality and transfer principles: The rise of model-theoretic methods in projective geometry, Third International Meeting APMP, Paris, 02-04/11/2015

• Theoretical terms and structural content, Philosophy of Science Colloquium - IVC, Vienna, 16/10/2015

• What is theoretical truth?, SIFA Midterm Conference Truth and Persuasion, Sassari, 24-26/09/2015

• Klein's invariant-theoretic structuralism, Workshop Origins of Mathematical Structuralism, Vienna, 18/09/2015

• Geometrical roots of model theory: duality and relative consistency, MCMP Colloquium, Munich, 09/07/2015

• The geometrical roots of model theory (with Günther Eder), Logik Café Colloquium, Vienna, 29/06/2015

• Hilbert’s epsilon terms, Russell’s indefinites, and indexed epsilon terms (with Norbert Gratzl), Epsilon 2015, Montpellier, 10-12/06/2015

• Husserl and Carnap on completeness, 10th Congress of the OEGP, Innsbruck, 04-06/06/2015 

• What is theoretical truth?, NNPS2015, Helsinki, 23-24/04/2015

• Two approaches to theoretical truth, Logic Café-Colloquium, Vienna, 13/03/2015

• The structuralist thesis, Conference Representation and axiomatization: power and limits, IHPST, Paris, 18-21/03/2015 (invited)

• Carnap on logicism and structuralism, Workshop Origins and Varieties of Logicism, IUSS Pavia, 16/03/2015 (invited)

• Carnap's early metatheory, Conference The Vienna Circle in Czechoslovakia, Pilsen, 27/02/2015

2014

• Structuralism and structural properties, Workshop Logic and Philosophy of Mathematical Practices, VUB, Brussels, 11-12/12/2014

• What are structural properties? (with Johannes Korbmacher), Conference Symposium on the Foundations of Mathematics, Kurt Gödel Research Center, Vienna, 08/07/2014

• Carnap on invariants and model structures, HOPOS 2014, Ghent, 04/06/2014

• What are structural properties? (with Johannes Korbmacher), Conference Philosophy of mathematics: objectivity, cognition, and proof, FILMAT, Milan, 29-31/05/2014

• Carnap’s Gabelbarkeitssatz reconsidered, Symposium Metalogic and Early Analytic Philosophy, ASL/APA Pacific Meeting, San Diego, 16-20/04/2014 (invited)

• Carnap and Husserl on completeness, Wissenschaftsphilosophisches Kolloquium, IVC, Vienna, 24/01/14  (invited)

2013

• Structural properties, Colloquium Logik Café, Vienna, 02/12/2013 (invited)

• Weyl on Brouwer - Reply to Toader, 44th Husserl Circle Meeting, Graz, 21/06/2013 (invited)

• The epsilon-reconstruction of theories and scientific structuralism, EPSA13, Helsinki, 28-31/08/2013

• The epsilon-reconstruction of theories and scientific structuralism, The Analysis of Theoretical Terms, Workshop MCMP, Munich, 04/04/2013

•  Invariants and mathematical structuralism, SILFS, Postgraduate Conference in Logic and Philosophy of Sciences, Urbino, 30/05/2013

• Semantics in type theory, Amsterdam Workshop on Truth, Amsterdam, 15/03/2013 (invited)

2012

• Carnap’s mathematical structuralism, SILFS 2012, Milano, 21/11/2012

• Carnap’s mathematical structuralism, HOPOS 2012, Halifax, 21-24/06/2012 

2011

• Semantics in type theory, Philosophy of Science in Europe - European Philosophy of Science and the Viennese Heritage (IVC), Vienna, 06/12/2011 (invited)

        (See my CV for a complete list of talks)