2013

• Axioms in mathematical practice
  7 March 2013. Seminar "Mathématiques et Philosophie, 19e et 20e siècles", Paris Diderot, Paris, France.

2012

• Research presentation at "McGill Cognitive Science Research Day".
  14 November 2012. McGill University, Montreal, QC.
• Axioms in mathematical practice
  27 October 2012. 13th Annual Midwest Philosophy of Mathematics Workshop, University of Notre Dame, South Bend, IN.
• Two metaphors for mathematics
  28 July 2012. Workshop "Cultures in mathematics", Institute for the History and Philosophy of Science and Technology, University of Toronto, Toronto, ON.
• The early development of Dedekind's notion of mapping
  21 June 2012. Symposium "Dedekind, Mathematical Methodology and the Notion of Function". 9th Congress of the International Society for the History of Philosophy of Science (HOPOS), Halifax, NS.
• From Pasch to Hilbert: Metaphors for the foundations of mathematics
  2 June 2012. Bucharest Colloqium on "Philosophy of Mathematics Today", Bucharest, Romania.
• Metaphors for the foundations of mathematics
  23 March 2012. Workshop "Mathematics beyond theorems", Göttingen, Germany.
• Keynote speaker at "National Integrative Research Conference".
  9 March 2012. McGill University, Montreal, QC.
• Klein and Pasch on intuition and proofs
  26 January 2012. Oberseminar "Geschichte der Mathematik", Wuppertal, Germany.
• Pasch's philosophy of mathematics
  25 January 2012. IZWT-Kolloquium, Wuppertal, Germany.
• Analyzing analogies in mathematical domains
  18 January 2012. Seminar "L'analogie et les techniques. Approches pluridisciplinaires: Analogie et Mathématiques", Paris Diderot, Paris, France.
• On making mathematical inferences explicit: Pasch's foray into logic
  11 January 2012. Seminar on "Explicit versus tacit knowledge in mathematics", Mathematisches Forschungsinstitut Oberwolfach, Germany.

2011

• Learning and computing with Roman numerals
  2 December 2011. Workshop on Mathematics as Practice and Culture, Alfried Krupp Wissenschaftskolleg, Greifswald, Germany.
• Learning and computing with Roman numerals
  2 November 2011. Learning Sciences Research Seminar. Department of Educational and Counselling Psychology. McGill University, Montreal, QC.
• Metaphors for the foundations of mathematics
  3 August 2011. The Classical Model of Science II, Amsterdam, The Netherlands.
• Symbolic reasoning and historical aspects of mathematical practice
  21 July 2011. Symposium "Philosophy of Mathematical Practice", 14th Congress of Logic, Methodology and Philosophy of Science, Nancy, France.
• Pasch's views on logic
  17 July 2011. Meeting of the Canadian Society for History and Philosophy of Mathematics (CSHPM) and the British Society for the History of Mathematics (BSHM), Dublin, Ireland.
• Methodological reflections on typologies for numeral systems
  19 February 2011. 7th Annual Meeting of the Society for Anthropological Sciences (SASci), Charleston, SC. (Presenter: Theodore Widom)
• Short presentation at Arts Undergraduate Research Event.
  2 February 2011. McGill University, Montreal, QC.
• Mathematical concepts and investigative practice
  8 January 2011. Workshop "Scientific Concepts and Investigative Practice", Technische Universität Berlin, Germany.

2010

• Some historical considerations on mathematical reasoning: Beyond the 'foundational/maverick divide'
  9 December 2010. First international meeting of the Association for the Philosophy of Mathematical Practice, Brussels, Belgium.
• Analyzing mathematical analogies
  19 October 2010. Learning Sciences Research Seminar. Department of Educational and Counselling Psychology. McGill University, Montreal, QC.
• Research presentation at "McGill Cognitive Science Research Day".
  22 September 2010. McGill University, Montreal, QC.
• Towards a (failed) renewal of logic
  22 June 2010. Invited talk at PratiScienS conference "From practice to results in logic and mathematics", Nancy, France.
• Contrasting proofs in algebra: Substitution groups vs. abstract groups
  16 June 2010. Seminar "Contrasting proofs", Paris, France.
• Methodological reflections on typologies for numeral systems
  31 May 2010. Meeting of the Canadian Society for History and Philosophy of Mathematics (CSHPM), Concordia University, Montreal, QC. (Presenter: Theodore Widom)
• The many sides of zero in Babylonian context
  31 May 2010. Meeting of the Canadian Society for History and Philosophy of Mathematics (CSHPM), Concordia University, Montreal, QC. (Presenter: Katherine Skosnik)
• Pasch and Klein on intuition and proofs
  19 May 2010. Séminaire "Epistemologie et histoire des idees mathematiques", IREM, Paris Diderot, Paris, France.
• Loss of vision: How mathematics turned blind while it learned to see more clearly
  23 April 2010. PhiMSAMP-6 Workshop, Utrecht, The Netherlands.
• On the creative role of axioms
  12 April 2010. Philosophy of Science Conference, Dubrovnik, Croatia.
• Where axioms come from
  29 March 2010. Symposium on Mathematical Cognition, Leicester, UK.
• Pasch's ideal of proof
  24 March 2010. 8th "Ideals of Proof" Fellows' Seminar, Paris, France.
• Pasch's empiricist foundations of mathematics
  22 March 2010. Séminaire de philosophie des mathématiques — Paris Diderot, Paris, France.
• Pasch and Klein on intuition and proofs
  15 January 2010. Invited session on History of Mathematics, Annual AMS-MAA Meetings. San Francisco, CA.

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.