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: ( The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...



AISB event Bulletin Item

CFP: Relational Methods in Computer Science (RelMiCS 10)

Announcement and Call for Papers for the

                    10th International Conference on
           Relational Methods in Computer Science (RelMiCS 10)

                     5th International Conference on
                 Applications of Kleene Algebra (AKA 5)

                           April 7 - 11, 2008
                   Frauenwoerth (near Munich), Germany


Over the past fifteen years, the RelMiCS meetings have been a main
forum  for  researchers  who  use the calculus  of  relations  and
similar  algebraic  formalisms  as methodological  and  conceptual
tools.  The  workshop  series on Applications  of  Kleene  algebra
started  with a Dagstuhl seminar in 2001 and has been co-organised
with  the  RelMiCS  conference since. Due  to  their  considerable
overlap,  the  two  events have a joint PC and joint  proceedings.
Their scope comprises relation algebra, fixpoint calculi, semiring
theory, iteration algebras, process algebras and dynamic algebras.
Applications  include formal algebraic modelling,  the  semantics,
analysis  and development of programs, formal language theory  and
combinatorial optimisation.

We  invite submissions on the general topics of *Relation Algebra*
and  *Kleene Algebra* in computer science. Special focus will  lie
on formal methods for software engineering, logics of programs and
links with neighbouring disciplines.

Particular topics of the conference cover, but are not limited to
the theory of

- relation algebras and Kleene algebras
- related formalisms such as process algebras, fixed point
     idempotent semirings, quantales, allegories, dynamic algebras,
     cylindric algebras

and their applications in areas such as

- verification, analysis and development of programs and
- relational formal methods such as B or Z, tabular methods,
- algebraic approaches to logics of programs, modal and dynamic
     interval and temporal logics
- algebraic semantics of programming languages
- graph theory and combinatorial optimisation
- games, automata and language theory
- mechanised and automated reasoning, decision procedures
- spatio-temporal reasoning, knowledge acquisition, preference and
     scaling methods
- information systems.

Programme committee

R. Backhouse     (Nottingham, UK)
R. Berghammer    (Kiel, Germany)
B. de Baets      (Gent, Belgium)
H. de Swart      (Tilburg, Netherlands)
J. Desharnais    (Laval, Canada)
M. Frias         (Buenos Aires, Argentina)
H. Furusawa      (Kagoshima, Japan)
P. Jipsen        (Chapman, USA)
W. Kahl          (McMaster, Canada)
Y. Kawahara      (Kyushu, Japan)
B. Mller        (Augsburg, Germany)
C. Morgan        (Sydney, Australia)
M. Ojeda Aciego  (Malaga, Spain
E. Orlowska      (Warsaw, Poland)
S. Saminger      (Linz, Austria)
G. Schmidt       (Munich, Germany)
R. Schmidt       (Manchester, UK)
G. Scollo        (Catania, Italy)
A. Szalas        (Linkping, Sweden)
G. Struth        (Sheffield, UK)
J. van Benthem   (Amsterdam, Netherlands)
M. Winter        (Brock, Canada)

Invited Speakers

Marc Pauly       (Stanford University)
Gunther Schmidt  (University German Armed Forces, Munich)

Important Dates

Call for Papers                Feb      1   2007
Submission (full papers)    Aug     31   2007
Notification                Dec     15   2007
Final versions due          Jan     15   2008
Conference                  April 6-11   2008

Proceedings and Submission

All papers will be formally reviewed. We plan to publish the
proceedings as
                   Lecture Notes in Computer Science,
ready  at  the  conference. The proceedings  editors  will  be  R.
Berghammer, B. Mller and G. Struth.

Submissions  must be in English, in postscript or pdf  format  and
provide sufficient information to judge their merits. They must be
unpublished and not submitted for publication elsewhere. They  may
not  exceed  15 pages in Springer LNCS style and must be  produced
with  LaTeX.  Additional material may be  provided  by  a  clearly
marked appendix or a reference to a manuscript on a  website. This
may  be  considered  at the discretion of the PC.  Deviation  from
these  requirements may cause immediate rejection. One  author  of
each accepted paper is expected to present the paper at the

Detailed  instructions for electronic submission can be  found  at
the conference website. Formatting instructions and the LNCS style
files can be obtained via

Student Programme

The  conference  will be accompanied by a PhD training  programme.
Details will be published in due time in a special call and on the
conference website.


Frauenwoerth  is  a  charming and architecturally very  interesting
nunnery  on the isle of Frauenchiemsee in lake Chiemsee  in  South
Bavaria   (see   the   web  site
distance from the lake to Munich is about 90 kilometres and  there
are  good train connections from Munich and Munich Airport to  the
village Prien at the lakes west shore. From Prien there are boats
to  the  isle  almost every half hour. Neighbouring Frauenchiemsee
there  is the isle of Herrenchiemsee with one of King Ludwig  II's
castles,  modelled after Versailles, but partly  unfinished.  From
Prien  it is about 50 kilometres to the Austrian city of Salzburg,
where the famous composer Wolfgang Amadeus Mozart was born in 1756
and lived until 1781.

Local organisation

B. Mller and R. Berghammer

Further details can be found under