AI Europe 2016

  Partnership between AISB and AI Europe 2016: Next December 5th and 6th in London, AI Europe will bring together the European AI eco-system by gathering new tools and future technologies appearing in professional fields for th...


Read More...

AISB convention 2017

  In the run up to AISB2017 convention (http://aisb2017.cs.bath.ac.uk/index.html), I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid...


Read More...

Harold Cohen

Harold Cohen, tireless computer art pioneer dies at 87   Harold Cohen at the Tate (1983) Aaron image in background   Harold Cohen died at 87 in his studio on 27th April 2016 in Encintias California, USA.The first time I hear...


Read More...

Dancing with Pixies?...

At TEDx Tottenham, London Mark Bishop (the former chair of the Society) demonstrates that if the ongoing EU flagship science project - the 1.6 billion dollar "Human Brain Project” - ultimately succeeds in understanding all as...


Read More...

Computerised Minds. ...

A video sponsored by the society discusses Searle's Chinese Room Argument (CRA) and the heated debates surrounding it. In this video, which is accessible to the general public and those with interest in AI, Olly's Philosophy Tube ...


Read More...

Connection Science

All individual members of The Society for the Study of Artificial Intelligence and Simulation of Behaviour have a personal subscription to the Taylor Francis journal Connection Science as part of their membership. How to Acce...


Read More...
012345

Notice

AISB event Bulletin Item

CALL FOR PAPERS: Symposium on "Mathematical Practice and Cognition II", 2-4 July 2012, Birmingham (U.K.)


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