Talks

Recent and upcoming talks:

2019
  • TBA, Mathematical Colloquium, University of Vienna, 27/11/2019
  • The Roots of Mathematical StructuralismCEU Philosophy Welcome Conference, Vienna, 04/10/2019
  • Two ways to think about (implicit) structure, EPSA 2019, Geneva, 11-14/09/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
  • 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)