2019

Forthcoming:
On the "mechanical" style in 19thcentury logic
8 August 2019. 16th Congress of Logic, Methodology and Philosophy of Science, Prague, Czech Republic. 
Forthcoming:
How to find axioms for finite domains: a computational exploration of mathematical discovery (with Gordon Krieger).
27 July 2019. Poster presentation, 41th Annual Meeting of the Cognitive Science Society, Montreal, QC. (Presenter: Gordon Krieger) 
Historical views on good representations
16 June 2019. Symposium "Understanding mathematical notations and representations", Meeting of the Mathematical Cognition and Learning Society (MCLS), Carleton University, Ottawa, ON. 
Historical views on good representations: Charles Babbage (1791–1871)
4 June 2019. Meeting of the Canadian Society for History and Philosophy of Mathematics (CSHPM), Vancouver, BC. 
Teaching logic and computability with Gödel, Escher, Bach
4 June 2019. Symposium on "Innovative Methods in the Teaching of Logic and Critical Thinking", Canadian Philosophical Association (CPA), Vancouver, BC. 
From analogy to duality in the algebra of logic
6 March 2019. Duality as an archetype of mathematical thinking, Luminy, France.  Roman numerals: A study of pragmatic and cognitive aspects of external representations
7 February 2019. Cognitive Science Speaker Series, McGill Student Association for Cognitive Science. McGill University, Montreal, QC.
2018

Pasch's empiricist philosophy of mathematics. Commentary on Müller and Ziche
13 October 2018. Conference "The Many What Ifs", Universität Konstanz, Germany. 
The evolution of notations for the algebra of logic
10 July 2018. 12th Congress of the International Society for the History of Philosophy of Science (HOPOS), Groningen, The Netherlands. 
General principles for the design of logical notations: Babbage and MacColl
23 June 2018. Workshop "Practices of Writing and Reading in Logic", 6th World Congress and School on Universal Logic, Vichy, France. 
Römische Zahlen: Pragmatische and kognitive Aspekte
11 June 2018. Kolloquium, Institut für Mathematik, Universität KoblenzLandau, Koblenz, Germany. 
Commentary to: Peter Epstein, "A priori concepts in Euclidean Proof"
6 June 2018. Meeting of the Canadian Philosophical Association (CPA), Université du Québec au Montréal, Montreal, QC. 
What was Boole's system of logic about?
5 June 2018. Meeting of the Canadian Society for History and Philosophy of Mathematics (CSHPM), Université du Québec au Montréal, Montreal, QC. 
Towards a cognitive and pragmatic account of notations for propositional logic
24 May 2018. Bergen Philosophy of Science workshop. Bergen, Norway. 
Frege's Begriffsschrift notation: Design principles and tradeoffs
25 April 2018. Department of Humanities, Social and Political Sciences, ETH Zurich, Switzerland. 
Remarks on logical notations
5 April 2018. Workshop "Les mathématiques en action", Nancy, France. 
Meanings in the algebra of logic
22 February 2018. Workshop "Axiomatics and Early Metatheory", Department of Philosophy, University of Vienna, Austria. 
Roman numerals: Pragmatic and cognitive aspects
8 February 2018. Kolloquium, Institut für Mathematik, Johannes Gutenberg Universität, Mainz, Germany.
2017

Thinking in numerals about numbers
29 November 2017. Minds & Machines Lecture Series. McGill Integrated Programme in Neuroscience. McGill University, Montreal, QC. 
Numbers through numerals: On the constitutive role of external representations for advanced mathematical cognition
17 November 2017. The Emergence of Number. An Interdisciplinary Discovery Theme, Ohio State University, Columbus, OH. 
Thinking in numerals about numbers
9 November 2017. Research presentation at McGill Cognitive Science Research Day. McGill University, Montreal, QC. 
A role of notations in practices of 19th century logic
25 October 2017. 4th Meeting of the Association for the Philosophy of Mathematical Practice (APMP), Salvador de Bahia, Brazil. 
Frege's Begriffsschrift notation: Design principles and tradeoffs
15 September 2017. Montreal InterUniversity Workshop on History and Philosophy of Mathematics. McGill University, Montreal, QC. 
Frege's Begriffsschrift notation: Design principles and tradeoffs
21 July 2017. "Fregesche Variationen, Wissenschaftliches Kolloquium zu Ehren von Prof. Dr. Christian Thiel", Heinz Nixdorf Institut, Universität Paderborn, Germany. 
Pasch's empiricist structuralism
14 July 2017. Workshop "Structuralism in 19th century mathematics", Department of Philosophy, University of Vienna, Austria. 
Frege's Begriffsschrift notation: Design principles and tradeoffs
19 June 2017. Research seminar, Mathematical Logic Group, Department of Mathematics, Universität Hamburg, Germany. 
Practices in 19th century logic
28 May 2017. Meeting of the Canadian Society for History and Philosophy of Mathematics (CSHPM), Ryerson University, Toronto, ON. 
Frege's Begriffsschrift notation: Design principles and tradeoffs
17 May 2017. Oberseminar, Institute of Mathematics, LudwigMaximilians Universität, München, Germany. 
Analogies, structures, and representations
10 May 2017. "Analogies in Philosophy and Law", Universität Konstanz, Germany. 
Thinking about Roman numerals
25 April 2017. Mathematical Cognition Group. University of Loughborough, UK. 
Frege's Begriffsschrift notation: Design principles and tradeoffs
6 April 2017. Oberseminar "Geschichte der Mathematik", Bergische Universität Wuppertal, Germany. 
From an analogy to algebra to the dualism of logical connectives
5 April 2017. Duality Project meeting, Bergische Universität Wuppertal, Germany. 
Practices in 19th century logic: Boole and Frege
24 February 2017. Strategic Research Program meeting: Logic and Philosophy of Mathematical Practices, Brussels, Belgium. 
Frege's Begriffsschrift notation: Design principles and tradeoffs
10 February 2017. RheinischWestfälisches Seminar zur Geschichte und Philosophie der Mathematik, Heinz Nixdorf Institut, Universität Paderborn, Germany.
2016

Frege's Begriffsschrift notation: Design principles and tradeoffs
24 November 2016. Colloquium, Munich Center for Mathematical Philosophy, LudwigMaximilians Universität, München, Germany. 
Frege's Begriffsschrift notation: Design principles and tradeoffs
14 November 2016. Department of Logic, Institute of Philosophy, Czech Academy of Sciences, Prague, Czech Republic. 
The early development of Dedekind's notion of mapping
7 October 2016. In Memoriam: Richard Dedekind (1831—1916). Technische Universität Braunschweig, Germany. 
Numerals: Mathematical understanding through external representations
21 September 2016. Invited talk at workshop "From Basic Cognition to Mathematical Practices". University of Sevilla, IMUS, Spain. 
Frege's Begriffsschrift notation: Design principles and tradeoffs
24 June 2016. 11th Congress of the International Society for the History of Philosophy of Science (HOPOS), Minneapolis, MN. 
Learning and computing with Roman numerals
17 June 2016. Invited talk at workshop on mathematical cognition. University of Bergen, Norway. 
Frege's Begriffsschrift notation: Design principles and tradeoffs
29 May 2016. Meeting of the Canadian Society for History and Philosophy of Mathematics (CSHPM), University of Calgary, Calgary, AB. 
Frege's Begriffsschrift notation: Design principles and tradeoffs
25 May 2016. Annual North American Meeting of the Association for Symbolic Logic (ASL), Storrs, CT. 
Cognitive and pragmatic aspects of notations for arithmetic and logic
22 January 2016. Invited talk at Philosophy Colloquium. University of British Columbia, Kelowna, BC.
2015

Towards a cognitive and pragmatic account of notations for propositional logic
6 December 2015. Invited talk at the History and Philosophy of Mathematics Session, Canadian Mathematical Society, Winter 2015 Meeting, Montreal, QC. 
Towards a cognitive and pragmatic account of notations for propositional logic
4 November 2015. 3rd Meeting of the Association for the Philosophy of Mathematical Practice (APMP), Paris, France. 
Thinking about numerals
26 October 2015. Research presentation at McGill Cognitive Science Research Day.
McGill University, Montreal, QC. 
Cognitive and pragmatic aspects of logical notations
16 October 2015. Department of Philosophy 30th Anniversary celebration, Carnegie Mellon University, Pittsburgh, PA. 
Moritz Pasch's empiricist structuralism
18 September 2015. Workshop "Origins of mathematical structuralism", Vienna, Austria. 
Geometric practices and geometric content
7 August 2015. 15th Congress of Logic, Methodology and Philosophy of Science, Helsinki, Finland. 
Towards a cognitive and pragmatic account of notations for propositional logic
2 August 2015. Workshop "History and Philosophy of Logic Notations", Tallinn, Estonia. 
What does cognitive science have to offer for philosophy of mathematics (and vice versa)?
20 June 2015. Société de Philosophie Analytique (SoPhA). Congrès international triennal. Montreal, QC. 
Geometric reasoning and geometric content
3 April 2015. Invited speaker at session on "Philosophy and geometry", Meeting of the Pacific Division of the American Philosophical Association (APA), Vancouver, BC. 
Axioms in mathematical practice
19 March 2015. Invited speaker at conference "Representation and axiomatization: power and limits", IHPST (Institut d'Histoire et de Philosophies des Sciences et des Techniques), Université Paris 1 PanthéonSorbonne, Paris, France.
2014

Pasch's empiricist philosophy of mathematics
11 December 2014. Seminar "Mathématiques et Philosophie, 19e et 20e siècles", Paris Diderot, Paris, France. 
Analogies in mathematical domains
28 November 2014. Cognitive Area Seminar, Department of Psychology, McGill University, Montreal. 
Geometric practices and geometric content
3 July 2014. Presidential panel on proof/justification in mathematics, jointly sponsored by HOPOS and PMA. 10th Congress of the International Society for the History of Philosophy of Science (HOPOS), Ghent, Belgium. 
Two modes of reasoning in 19th century geometry
20 June 2014. Rencontres NancyWuppertal d'histoire des mathématiques 2014, Maison des Sciences de l'Homme Lorraine, Nancy, France. 
Axioms in mathematical practice
18 June 2014. "Grande Conférence" des Archives Poincaré, Nancy, France. 
Forms of reasoning and geometric content
25 May 2014. Meeting of the Canadian Society for History and Philosophy of Mathematics (CSHPM), Brock University, St. Catherines, ON. 
Analyzing analogies in mathematical domains
14 February 2014. Guest lecture. Comp 221: History and Philosophy of Science (Ian Gold), McGill University, Montreal, QC. 
Pasch and Klein on intuition and proofs
23 January 2014. Southern California History and Philosophy of Logic and Mathematics Group, UC Irvine, Irvine, CA.
2013

NonEuclidean geometry and geometric content
8 December 2013. Invited talk at the History and Philosophy of Mathematics Session, Canadian Mathematical Society, Winter 2013 Meeting, University of Ottawa, Ottawa, ON. 
The early development of Dedekind's notion of mapping
3 October 2013. Second international meeting of the Association for the Philosophy of Mathematical Practice (APMP), University of Illinois at UrbanaChampaign, IL. 
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", Lichtenberg Kolleg, 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. IZWTKolloquium, 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 (APMP), 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. PhiMSAMP6 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 AMSMAA 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. 
Empiricodeductivism: 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? (PhiMSAMP3), 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. PhiMSAMP2 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
JordanHö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
JordanHö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
JordanHö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 runnerup 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.