aisb 2012 - Symposium on Mathematical Practice and Cognition

At the AISB convention 2010 in Leicester, the multidisciplinary symposium Mathematical Practice and Cognition welcomed researchers into mathematical practice from cognitive science, philosophy, psychology, computational linguistics and robotics. The aim of this symposium is to continue this work, with particular (but not exclusive) emphasis on cognitive science and the role of computers in mathematical practice.
We invite researchers from these disciplines and beyond to present their latest work. We especially encourage interdisciplinary submissions that link previously unassociated fields. The following list of topics is intended to be suggestive rather than exclusive:
- Mathematics 2.0: collaboration on the internet
- Automated theorem finders and theorem checkers
- Embodied cognition and mathematics
- Computational models of axiom, entity, counterexample, concept, conjecture, and proof generation and evaluation in mathematics
- Visual and diagrammatic reasoning
- Analogies and metaphors in mathematics
- Mathematics on the neurological level
- Philosophy of mathematics/informal mathematics
- Sociology of mathematics
- Anthropology of mathematics
- Mathematics and language (natural and formal)
- Cognitive science of mathematics
- Psychology of mathematics
- Psychology of mathematics education
- Difficulties in the mathematical brain - studies of dyscalculia, acalculia etc.
- How mathematical competences relate to abilities to deal creatively with complex spatial environments
- How biological evolution produced mathematicians (and the implications for developmental robotics)