2015

  • Forthcoming: 1—5 April 2015. Invited speaker at session on "Philosophy and geometry", Meeting of the Pacific Division of the American Philosophical Association (APA), Vancouver, BC.

2014

2013

2012

2011

2010

2009

  • Mathematical analogies from a cognitive science perspective
    4 December 2009. PhD Seminar on Learning Sciences. Department of Educational and Counselling Psychology. McGill University, Montreal, QC.
  • Moritz Pasch's philosophy of mathematics
    21 October 2009. Institute for the History and Philosophy of Science and Technology colloquium, University of Toronto, Toronto, ON.
  • Research presentation at "Better Know McGill Cognitive Science".
    18 September 2009. McGill University, Montreal, QC.
  • Tieferlegung der Fundamente and other metaphors in the early development of modern mathematics
    3 September 2009. Conference on "Die Berliner Gruppe", Paderborn, Germany.
  • Learning the structure of abstract groups (with Thomas Shultz).
    1 August 2009. Poster presentation, 31th Annual Meeting of the Cognitive Science Society, Amsterdam, The Netherlands.
  • Two streams in the philosophy of mathematics - Two sides of an old coin: The debate between Pasch and Klein on the role of mathematical intuition.
    1 July 2009. "Two streams in the philosophy of mathematics" conference, University of Hertfordshire, Hatfield, UK.
  • New approaches to the creation of mathematical concepts in the nineteenth century
    22 May 2009. Workshop "Scientific Concepts and Investigative Practice", Technische Universität Berlin, Germany.
  • On the history of programming languages
    7 April 2009. SoCS lecture. School of Computer Science, McGill University, Montreal, QC.
  • On the creative role of axiomatics
    23 March 2009. Department of Philosophy Colloquium. McGill University, Montreal, QC.

2008

  • Moritz Pasch's philosophy of mathematics
    27 December 2008. Invited talk at session on "Historical Ideals of Rigor in Mathematics", Winter meeting of the Association of Symbolic Logic (with APA), Philadelphia, PA.
  • Empirico-deductivism: Moritz Pasch's philosophy of mathematics
    8 December 2008. Invited talk at the History and Philosophy of Mathematics Session, Canadian Mathematical Society, Winter 2008 Meeting, Carleton University, Ottawa, ON.
  • Modeling ancient and modern arithmetic practices: Addition and multiplication with Arabic and Roman numerals (with Hansjörg Neth)
    26 July 2008. Poster presentation, 30th Annual Meeting of the Cognitive Science Society, Washington, DC.
  • Moritz Pasch: A nineteenth century logical empiricist
    19 June 2008. Seventh Congress of the International Society for the History of Philosophy of Science (HOPOS), Vancouver, BC.
  • An empiricist approach to modern mathematics: Moritz Pasch on projective geometry
    17 May 2008. Is Mathematics Special? (PhiMSAMP-3), Vienna, Austria.
  • Moritz Pasch: A nineteenth century logical empiricist
    28 March 2008. Annual meeting of the Association of Symbolic Logic, Irvine, CA.
  • Computers and minds
    20 March 2008. Guest lecture. Comp 199: Excursions in Computer Science (Joelle Pineau), McGill University, Montreal, QC.

2007

  • Two ways of analogy: Extending the study of analogies to mathematical domains
    19 October 2007. PhiMSAMP-2 Workshop, Utrecht, The Netherlands.
  • On the creative role of axiomatics in the discovery of lattices
    27 July 2007. Meeting of the Canadian Society for History and Philosophy of Mathematics (CSHPM) and the British Society for the History of Mathematics (BSHM), Concordia University, Montreal, QC.
  • From domains of being to systems of axioms, and vice versa: On the role of axiomatics in the discovery of lattices
    27 March 2007. Perspectives on Mathematical Practices, Brussels, Belgium.
  • From domains of being to systems of axioms, and vice versa
    12 January 2007. The Classical Model of Science, Amsterdam, The Netherlands.

2006

  • On the importance of asking the right research questions: Could Jordan have proved the Jordan-Hölder Theorem?
    11 December 2006. Canadian Mathematical Society, Winter 2006 Meeting, History of Mathematics Session, Toronto, ON.
  • On the importance of asking the right research questions: Could Jordan have proved the Jordan-Hölder Theorem?
    14 September 2006. GAP.6 Workshop "Towards a New Epistemology of Mathematics", Berlin, Germany.
  • Clark L. Hull's methodology of scientific discovery: Psychology, logical positivism, practice, proofs, and refutations
    18 June 2006. Sixth Congress of the International Society for the History of Philosophy of Science (HOPOS), Paris, France.
  • From "psychic machines" to neural networks: Learning from models and computer simulations in psychology
    13 June 2006. Models and Simulations, Paris, France.
  • On the importance of asking the right research questions: Could Jordan have proved the Jordan-Hölder Theorem?
    29 May 2006. Meeting of the Canadian Society for History and Philosophy of Mathematics (CSHPM), York University, Toronto, ON.

2005

  • Axiomatics and discovery
    17 December 2005. Recherches Québecoises en Logique, Université du Québec au Montréal, Montreal, QC.
  • On some connections between philosophy of mathematics and cognitive science
    17 November 2005. Guest lecture. Psyc 532 (740): Cognitive Science (Tom Shultz), McGill University, Montreal, QC.
  • Towards a more comprehensive understanding of analogies
    27 August 2005. Philosophical Perspectives on Scientific Understanding, Amsterdam, The Netherlands.

2004

  • Axiomatics and discovery
    25 June 2004. Fifth Congress of the International Society for the History of Philosophy of Science (HOPOS), San Francisco, CA.
  • Theoretical aspects of theory development
    1 June 2004. Meeting of the Canadian Society for the History and Philosophy of Science (CSHPS), Winnipeg, MB.
  • Analogies in mathematical domains
    31 May 2004. Meeting of the Canadian Philosophical Association (CPA), Winnipeg, MB.
  • Commentary to: Elaine Landry, "Category theory as framework for an in re interpretation of mathematical structuralism"
    31 May 2004. Meeting of the Canadian Philosophical Association (CPA), Winnipeg, MB.

2003

  • Does abstract equal good?
    23 November 2003. Fourth Annual Midwest Philosophy of Mathematics Workshop, University of Notre Dame, South Bend, IN.
  • Aspects of theory construction: Clark Hull's philosophy of science (with Uljana Feest)
    29 May 2003. Meeting of the Canadian Society for History and Philosophy of Science (CSHPS), Halifax, NS.
    Paper was selected runner-up to the Hadden Prize for best student paper.
  • Commentary to: James Tabery, "Activities and interactions in the concept of a mechanism"
    15 March 2003. Fifth Annual Pittsburgh Graduate Philosophy Conference, University of Pittsburgh and Carnegie Mellon University, Pittsburgh, PA.
  • The axiomatic method in the light of 20th century philosophy
    17 February 2003. Foundations of the Formal Sciences IV, Bonn, Germany.

2002

  • The axiomatic method as engine for driving discovery in mathematics
    13 November 2002. Thesis Prospectus defense. Carnegie Mellon University, Pittsburgh, PA.

2001

  • Richard Dedekind: Von der genetischen zur axiomatischen Methode
    18 June 2001. Philosophische Fakultät, Universität Konstanz, Germany.

2000

  • Dedekind: Axiomatics and abstraction
    9 December 2000. First Annual Midwest Philosophy of Mathematics Workshop. Carnegie Mellon University, Pittsburgh, PA.
  • Towards axiomatic foundations of mathematics: the evolution of Dedekind's treatment of numbers
    14 October 2000. 2000 Midwest Conference on the History of Mathematics. Northern Kentucky University. Florence, KY.

1999

  • Richard Dedekind: Axiomatische Grundlagen der Mathematik
    21 December 1999. Mittagsseminar der AG 1 und 14. Fachbereich Mathematik, TU Darmstadt, Germany.
  • Richard Dedekind: Axiomatic foundations of mathematics
    22 November 1999. Master's Thesis defense. Carnegie Mellon University, Pittsburgh, PA.
  • Dedekind's real numbers
    6 March 1999. Rocky Mountain Student Philosophy Conference. University of Colorado, Boulder, CO.

1998

  • Intuitionism - the philosophy of L.E.J. Brouwer
    3 October 1998. 1998 Midwest Conference on the History of Mathematics. Iowa State University, Ames, IA.
  • The philosophy of L.E.J. Brouwer
    21 April 1998. PRL Seminar. Cornell University, Ithaca, NY.
  • Minds, machines, and Turing
    24 January 1998. Graduate Student Philosophy Conference '98. Emory University, Atlanta, GA.

1997

  • The philosophy of L.E.J. Brouwer
    11 December 1997. Pure and Applied Logic Colloquium. Carnegie Mellon University, Pittsburgh, PA.
  • Intuitionismus und Informatik
    31 January 1997. AG Domains. Fachbereich Mathematik, TH Darmstadt.

1996

  • Intuitionismus und Informatik
    16 December 1996. AIDA Forum. Institut für Intellektik, TH Darmstadt.
  • Positionen zu den Grundlagen der Mathematik
    9 December 1996. Autonomes StudentInnen Seminar `No Silver Bullet', TH Darmstadt.
  • Logic Programming
    11 June 1996. Autonomes StudentInnen Seminar `No Silver Bullet', TH Darmstadt.

1995

  • Russell's Typentheorie
    Fall 1995. Informatik Seminar `Geschichte der Logik', TH Darmstadt.

1994

  • Die lokale Struktur von Fraktalen
    Spring 1994. Informatik Seminar `Fraktale', TH Darmstadt.

1993

  • GPS - Der General Problem Solver
    Fall 1993. Informatik Seminar `Automatisches Planen', TH Darmstadt.