**Extended deadline: submissions due Friday 2nd March, 2012**

This is a sequel to the Symposium on Mathematical Practice and Cognition held at the AISB 2010 convention at de Montfort University, Leicester, UK. The Symposium on Mathematical Practice and Cognition II (http://homepages.inf.ed.ac.uk/apease/aisb12/home.html) will be one of several forming the AISB/IACAP World Congress 2012 (http://events.cs.bham.ac.uk/turing12/), in honour of Alan Turing.

The Congress serves both as the year’s AISB Convention and the year’s IACAP conference. The Congress has been inspired by a desire to honour Alan Turing, and by the broad and deep significance of Turing’s work to AI, to the philosophical ramifications of computing, and to philosophy and computing more generally. The Congress is one of the events forming the Alan Turing Year (http://www.mathcomp.leeds.ac.uk/turing2012/).

The intent of the Congress is to stimulate a particularly rich interchange between AI and Philosophy on any areas of mutual interest, whether directly addressing Turing’s own research output or not.

The Congress will consist mainly of a number of collocated Symposia on specific research areas, interspersed with Congress-wide refreshment breaks, social events and invited Plenary Talks. All papers other than the invited Plenaries will be given within symposia.

The Symposium on Mathematical Practice and Cognition II will take place over three days during the AISB/IACAP period (2-4th July). We will start after lunch on Monday 2nd and end before lunch on Wednesday 4th.

**Plenary speakers at the Congress**

http://events.cs.bham.ac.uk/turing12/invited.php

**Colin Allen:** Provost Professor of Cognitive Science and of History & Philosophy of Science Department of Philosophy and Philosophy of Science, Indiana University, Bloomington, IN, USA

**Luciano Floridi**: Research Chair in Philosophy of Information and UNESCO Chair of Information and Computer Ethics University of Hertfordshire, UK Director, Information Ethics Research Group and Fellow of St Cross College University of Oxford, UK

**Aaron Sloman**: Honorary Professor, School of Computer Science, University of Birmingham, UK

**Sir John Dermot Turing**: Honorary President of the Turing Centenary Advisory Committee, 12th Baronet of Foveran; Partner, Clifford Chance, London; son of Sir John Turing, and nephew of Alan Turing

**Invited speakers at the Symposium on Mathematical Practice and Cognition II**

http://homepages.inf.ed.ac.uk/apease/aisb12/invited-speakers.html

** Rafael Núñez:**

Professor Rafael Núñez is at the Department of Cognitive Science, University of California, San Diego, where is the director of the Embodied Cognition Lab. He grew up in Santiago, Chile, obtained his doctoral degree in Freiburg, Switzerland, and completed his post-doctoral work in Stanford and Berkeley. He investigates cognition — especially conceptual systems and imagination — from the perspective of the embodied mind. His multidisciplinary approach uses methods such as psycholinguistic experiments, gesture studies, brain neuroimaging, and field research in the Andes’ highlands and in Papua New Guinea. His book, Where Mathematics Comes From: How the Embodied Mind Brings Mathematics into Being (with George Lakoff) presents a new theoretical framework for understanding the human nature of Mathematics and its foundations.

**Liesbeth De Mol:**

Liesbeth De Mol is a researcher at the Centre for Logic and the Philosophy of Science, Ghent, Belgium. Her fields of interest include the history of computers, programming languages and their impact on scientific knowledge; changing practices of mechanized mathematics; history and philosophy of mathematical logic and computability theory; and research on limits of decidability and undecidability in models of computability (experimental and theoretical research).

**Proceedings**

There will be a separate proceedings for each symposium, produced before the Congress. Each delegate at the Congress will receive, on arrival, a memory stick containing the proceedings of all symposia. (Some copies of the proceedings of each symposium will be printed for various purposes.)

**Call for papers**

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)

**Turing-themed session**

2012 is the centenary of Alan Turing’s birth, and his life and scientific impact are being celebrated as the Alan Turing Year. In

honour of this, the symposium will include a Turing-themed session. We invite submissions on such topics as:

- -Would a Turing test for computer mathematicians be a good way of evaluating systems?
- Is there any mathematics that could never be carried out on a computer?
- -Are there any computer-aided developments in mathematics directly related to Turing’s work?

**Key dates** (note these are later than previously advertised)

**Submission deadline: Friday 2nd March, 2012**

**Notification:** Monday 2 April, 2012

**Camera-ready version:** Friday 4th May, 2012

**The symposium:** 2 – 4th July, 2012.

**AISB/IACAP Congress**: 2nd – 6th July, 2012.