Al-Rifaie on BBC

AISB Committee member and Research Fellow at Goldsmiths, University of London, Dr Mohammad Majid al-Rifaie was interviewed by the BBC (in Farsi) along with his colleague Mohammad Ali Javaheri Javid on the 6 November 2014. He was a...


Rose wins the Loebne...

After 2 hours of judging at Bletchley Park, 'Rose' by Bruce Wilcox was declared the winner of the Loebner Prize 2014, held in conjunction with the AISB.  The event was well attended, film live by Sky News and the special guest jud...


AISB Convention 2015

The AISB Convention is an annual conference covering the range of AI and Cognitive Science, organised by the Society for the Study of Artificial Intelligence and Simulation of Behaviour. The 2015 Convention will be held at the Uni...


Yasemin Erden on BBC

AISB Committee member, and Philosophy Programme Director and Lecturer, Dr Yasemin J. Erden interviewed for the BBC on 29 October 2013. Speaking on the Today programme for BBC Radio 4, as well as the Business Report for BBC world N...


Mark Bishop on BBC ...

Mark Bishop, Chair of the Study of Artificial Intelligence and the Simulation of Behaviour, appeared on Newsnight to discuss the ethics of ‘killer robots’. He was approached to give his view on a report raising questions on the et...


AISB YouTube Channel

The AISB has launched a YouTube channel: ( The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...



AISB event Bulletin Item

CF Extended Abstracts: CALCULEMUS 2009 - Emerging trends

CALCULEMUS 2009 - Emerging trends - Call for Extended Abstracts
16th Symposium on the Integration of
Symbolic Computation and Mechanised Reasoning

6-7 July 2009, Joint with CICM'09, Ontario, Canada.

Calculemus is a series of conferences dedicated to the integration of
computer algebra systems (CAS) and systems for mechanised reasoning, the
interactive theorem provers or proof assistants (PA) and the automated
theorem provers (ATP).

Currently, symbolic computation is divided into several (more or less)
independent branches: traditional ones (e.g., computer algebra and
mechanised reasoning) as well as newly emerging ones (on user
interfaces, knowledge management, theory exploration, etc.) The main
concern of the Calculemus community is to bring these developments
together in order to facilitate the theory, design, and implementation
of integrated systems for computer mathematics that will routinely be
used by mathematicians, computer scientists and engineers in their every
day business.

We seek extended abstracts, to be presented at the meeting, on original

Calculemus 2009 will be held jointly with MKM 2009 (confederated in the
Conferences on Intelligent Computer Mathematics, CICM 2009) in Ontario,


We are pleased to have invited talks from:

Prof. Jacques Calmet (

Rob Arthan (Director of Lemma 1, developer of ProofPower,


The scope of Calculemus covers all aspects of the interplay of
mechanised reasoning and computer algebra, including cross-fertilisation
between those two research areas, as well as the development of
integrated systems that transcend both computer algebra and theorem
proving. Potential topics of interest include:

* Theorem proving in computer algebra (CAS)
* Computer algebra in theorem proving (PA and ATP)
* Case studies and applications that both involve computer algebra and
mechanised reasoning
* Representation of mathematics in computer algebra
* Adding computational capabilities to PA and ATP
* Formal methods requiring mixed computing and proving
* Combining methods of symbolic computation and formal deduction
* Mathematical computation in PA and ATP
* Theory, design and implementation of interdisciplinary systems for
computer mathematics
* Infrastructure for mathematical services
* Theory exploration techniques

Papers on other topics closely related to the above research
areas will also be welcomed for consideration.


For extended abstracts on emerging trends:

Submission deadline: 7 May 2009
Notification of acceptance: 30 May 2009
Camera ready copies due: 12 June 2009

The dates of the Calculemus conference are: 6,7 July 2009


Extended abstracts for original theoretical and applied research on all
topics within the scope of the symposium are invited. Submitions must be
in English. We suggest submitting extended abstracts of 10 pages, and
will accept submissions between 200 words and 20 pages. The title page
should contain the title, author(s) with affiliation(s), e-mail
address(es), listing of keywords and abstract.

The web page for electronic submissions for extended abstracts
concerning emerging trends is:

These papers are expected to be describing work in progress. Emerging
trends papers will be made available online, but will not be published.
Emerging trends submissions will be only lightly reviewed. The authors
will present their work at a short talk in the Symposium.

Markus Aderhold (TU Darmstadt, Germany)
Serge Autexier (DFKI, Germany)
John Campbell (University College London, UK)
Jacques Carette (PC Chair) (McMaster University, Canada)
James H. Davenport (University of Bath, UK)
Louise Dennis (University of Liverpool, UK)
Lucas Dixon (PC Chair) (University of Edinburgh, UK)
William Farmer (McMaster University, Canada)
Jacques Fleuriot (University of Edinburgh, UK)
Herman Geuvers (Radboud University Nijmegen, Netherlands)
Michael Kohlhase (DFKI, Germany)
Steve Linton (University of St. Andrews, UK)
Tomas Recio (Universidad de Cantabria, Spain)
Tom Ridge (University of Cambridge, UK)
Julio Rubio (Universidad de La Rioja, Spain)
Volker Sorge (University of Birmingham, UK)