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


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

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