TALKS
- Anna Steensen: Semiotic analysis of Dedekind’s arithmetical strategies
- Bernhard Fisseni: Perspectives on Proofs
- Marcos Cramer, Bernhard Fisseni, Deniz Sarikaya and Bernhard Schröder: Bridging the Gap Between Proof Texts and Formal Proofs Using Frames and PRSs.
- Karl Heuer and Deniz Sarikaya: Text-driven variation as a vehicle for generalisation, abstraction, proofs and refutations: an example about tilings and Escher within mathematical education.
- Mikkel Willum Johansen: Entering the valley of formalism: Results from a large-scale quantitative investigation of mathematical publications
- Juan Luis Gastaldi and Luc Pellissier: A structuralist framework for the automatic analysis of mathematical texts.
- Fanner Stanley Tanswell and Matthew Inglis : Studying Actions and Imperatives in Mathematical Texts.
- Juan Pablo Mejía-Ramos and Matthew Inglis: Using linguistic corpora to understand mathematical explanation.