CFProposal AISB2018

  The Society for the Study of Artificial Intelligence and Simulation for Behaviour (AISB) is soliciting proposals for symposia to be held at the AISB 2018 convention.The longest running convention on Artificial Intelligence, A...


Insurance AI Analy...

Insurance AI Analytics Summit, October 9-10, London Join us for Europe’s only AI event dedicated to insurance where 300 attendees will unite from analytics, pricing, marketing, claims and underwriting. You’ll find out how advan...


AISB 2018 Convention

  The longest running convention on Artificial Intelligence, AISB 2018 will be held at the University of Liverpool, chaired by Floriana Grasso and Louise Dennis. As in the past years, AISB 2018 will provide a unique forum for p...


AI Summit London

     The AI Summit London: The World’s Number One AI Event for Business  Date: 9-10 May 2017 Venue: Business Design Centre, London. The AI Summit is the world’s first and largest/number one conference exhibition dedicated to t...


AISB Wired Health

    AISB and WIRED events have partnered to bring together inspirational high-profile speakers. Join hundreds of healthcare, pharmaceutical and technology influencers and leaders at the 4th Annual WIRED Health event, taking pl...


Hugh Gene Loebner

  The AISB were sad to learn last week of the passing of philanthropist and inventor Hugh Gene Loebner PhD, who died peacefully in his home in New York at the age of 74.  Hugh was founder and sponsor of The Loebner Prize, an an...


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


AISB convention 2017

  In the run up to AISB2017 convention (, I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid...


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



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