**2-4 July 2012
Birmingham, U.K.**

Symposium on Mathematical Practice and Cognition II 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 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 Stephen Wolfram: Founder and CEO, Wolfram Research, Inc. Champaign, IL, USA 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 Submission deadline: 1st February, 2012 Notification: 1st March, 2012 Camera-ready version: 30th March, 2012 The symposium: 2 - 4th July, 2012. AISB/IACAP Congress: 2nd - 6th July, 2012. http://homepages.inf.ed.ac.uk/apease/aisb12/home.html