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...


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...


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 ...


Erden in AI roundtab...

On Friday 4th September, philosopher and AISB member Dr Yasemin J Erden, participated in an AI roundtable at Second Home, hosted by Index Ventures and SwiftKey.   Joining her on the panel were colleagues from academia and indu...


AISB Convention 2016

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 2016 Convention will be held at the Uni...


Bishop and AI news

Stephen Hawking thinks computers may surpass human intelligence and take over the world. This view is based on the ideology that all aspects of human mentality will eventually be realised by a program running on a suitable compu...


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...


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...


AISB YouTube Channel

The AISB has launched a YouTube channel: http://www.youtube.com/user/AISBTube (http://www.youtube.com/user/AISBTube). The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...



AISB event Bulletin Item

Calculemus 2007: Call for Participation


Call for Participation

C A L C U L E M U S   2007

June 27--30, 2007
RISC Institute
Castle of Hagenberg, Austria



* Early registration deadline approaching: May 13, 2007.

* 10 papers have been accepted for presentation at the conference.

* 5 invited speakers (including 2 speakers of MKM 2007) confirmed.

* Conference registration includes registration for all satellites. 

Calculemus is a series of conferences dedicated to the integration of
computer algebra systems (CAS) and automated deduction systems (ADS)
towards the development of universal mathematical assistant systems

Currently, symbolic computation is divided into several (more or less)
independent branches, traditional ones (e.g. computer algebra and
theorem proving) 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 MAS that will routinely be used by mathematicians, computer
scientists, and engineers in their every-day business.

For the upcoming Calculemus meeting, which will be held jointly with
MKM 2007 in Hagenberg, Austria, we seek original research papers in
this context.

The scope of Calculemus covers all aspects of developing mathematical
assistant systems, in particular, the interplay of automated reasoning
and computer algebra. Potential areas of interest are: 

o) Automated reasoning in computer algebra
o) Computer algebra in automated reasoning
o) Interdisciplinary systems
o) Infrastructure for mathematical services
o) Theory exploration techniques
o) Theory, design, and implementation of MAS
o) Case studies and applications of MAS

Keynote Speakers
Thomas Hales, University of Pittsburgh
John Harrison, Intel Inc.
Peter Paule, RISC-Linz

Important Dates
May 13, 2007: Early registration deadline
June 27--30, 2007: Calculemus 2007 in Hagenberg, Austria

Accepted papers will be published in the LNAI series of Springer.

Program Committee
Alessandro Armando (University of Genova, Italy)
Christoph Benzmueller (University of Cambridge, UK)
Olga Caprotti (University of Helsinki, Finland)
Jacques Carette (McMaster, Canada)
Timothy Daly (Carnegie Mellon, USA)
William M. Farmer (McMaster, Canada)
Keith O. Geddes (Waterloo, Canada)
Tom Hales (Pittsburgh, USA)
Hoon Hong (North Carolina State University, USA)
Deepak Kapur (New Mexico, USA)
Manuel Kauers (RISC-Linz, Austria; Program Co-Chair)
Laura Kovacs (RISC-Linz, Austria; Local Chair)
Petr Lisonek (Simon Fraser University, Canada)
Roy McCasland (University of Edinburgh, UK)
Renauld Rioboo (Universtite Pierre et Marie Curie, France)
Volker Sorge (University of Birmingham, UK)
Klaus Sutner (Carnegie Mellon, USA)
Thomas Sturm (University of Passau, Germany)
Wolfgang Windsteiger (RISC-Linz, Austria; General Chair and Program Co-Chair)