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

2nd CALL FOR PAPERS: 14th International Conference on Relational and Algebraic Methods in Computer Science, 27 April-1 May 2014, Marienstatt im Westerwald, GERMANY

Invited Speakers

* C.A.R. Hoare (Microsoft Research Cambridge, to be confirmed)
* Alexander Kurz (University of Leicester)
* Jose Oliveira (Universidade do Minho)


We invite submissions in the general area of Relational and Algebraic Methods
in Computer Science. Special focus will lie on formal methods for software
engineering, logics of programs and links with neighbouring disciplines.

Particular topics of interest for the conference cover,
but are not limited to:

* Algebraic approaches to
  ? specification, development, verification, and analysis of programs
    and algorithms
  ? computational logic, in particular logics of programs, modal and
    dynamic logics, interval and temporal logics
  ? semantics of programming languages

* Applications in fields such as
  ? relational formal methods such as B or Z, tabular methods
  ? information systems
  ? graph theory and combinatorial optimisation
  ? games, automata and language theory
  ? spatio-temporal reasoning, knowledge acquisition
  ? preference and scaling methods, computational social choice,
    social software

* Theoretical foundations and supporting tools, including
  ? mechanised and automated reasoning, decision procedures
  ? process algebras, fixed point calculi, idempotent semirings,
    quantales, allegories
  ? dynamic algebras, cylindric algebras and their applications in computing


Since 1994, the RelMiCS meetings on Relational Methods in Computer Science
have been a main forum for researchers who use the calculus of relations
and similar algebraic formalisms as methodological and conceptual tools.
The AKA workshop series on Applications of Kleene algebra started with a
Dagstuhl seminar in 2001 and was co-organised with the RelMiCS conference
until 2009. Since 2011, joint RAMiCS conferences continue to encompass
the scope of both RelMiCS and AKA.

The predecessors of this conference were held in Dagstuhl (January 1994),
Parati (September 1995), Hammamet (January 1997), Warsaw (September 1998),
Qubec (January 2000), Dagstuhl (February 2001), Oisterwijk (October 2001),
Malente (April 2003), St. Catherines (January 2005), Manchester
(September 2006), Frauenwrth (April 2008), Doha (November 2009),
Rotterdam (June 2011), and Cambridge UK (September 2012).

Student Program

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

Proceedings and Submission

All papers will be formally reviewed. The proceedings will be published
in the Springer series Lecture Notes in Computer Science, ready at
the conference. 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 should not exceed 16 pages in Springer LNCS style (accepted
papers 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 conference.

Submission is via EasyChair at the following address:
Formatting instructions and the LNCS styled files can be obtained via:

As for the earlier conferences of this series, it is also intended to
publish a selection of the best papers in revised and extended form in
a special issue of the Journal of Logic and Algebraic Programming (JLAP).

Important Dates

    Title and abstract submission:         October   25  2013
    Submission of full papers:             November   1  2013
    Notification:                          December  13  2014
    Final versions due (firm deadline):    January   17  2014
    Conference                          April 27 - May 1 2014

Programme Committee

    Rudolf Berghammer        (Kiel, Germany)
    Jules Desharnais         (Laval U., Canada)
    Harrie de Swart          (Rotterdam, Netherlands)
    Marc Frappier            (Sherbrooke, Canada)
    Hitoshi Furusawa         (Kagoshima, Japan)
    Timothy G. Griffin       (Cambridge, UK)
    Walter Guttmann          (Canterbury, New Zealand)
    Robin Hirsch             (London, UK)
    Peter Hfner             (NICTA, Australia; Publicity chair)
    Ali Jaoua                (Doha, Qatar)
    Peter Jipsen             (Chapman U., USA; PC co-chair)
    Wolfram Kahl             (McMaster U., Canada; PC co-chair)
    Tadeusz Litak            (Erlangen, Germany)
    Larissa Meinicke         (U. Queensland, Australia)
    Szabolcs Mikulas         (London, UK)
    Bernhard Mller          (Augsburg, Germany)
    Martin E. Mller         (St. Augustin, Germany; General chair)
    Jos Oliveira            (U. Minho, Portugal)
    Ewa Or?owska             (Warsaw, Poland)
    Matthew Parkinson        (Microsoft Research, UK)
    Damien Pous              (CNRS, France)
    Ingrid Rewitzky          (Stellenbosch, South Africa)
    Holger Schlingloff       (Berlin, Germany)
    Gunther Schmidt          (Munich, Germany)
    Renate Schmidt           (Manchester, UK)
    Georg Struth             (Sheffield, UK)
    George Theodorakopoulos  (Cardiff, UK)
    Michael Winter           (Brock U., Canada)

Steering Committee

    Rudolf Berghammer  (Kiel, Germany)
    Jules Desharnais   (Laval U., Canada)
    Harrie de Swart    (Rotterdam, Netherlands)
    Ali Jaoua          (Doha, Qatar)
    Bernhard Mller    (Augsburg, Germany)
    Ewa Or?owska       (Warsaw, Poland)
    Gunther Schmidt    (Munich, Germany)
    Renate Schmidt     (Manchester, UK)
    Michael Winter     (Brock U., Canada)

Organising Committee

    Martin E. Mller, Sankt Augustin, Germany: Conference Chair, Local Organiser
    Peter Hfner, NICTA, Australia: Publicity
    Peter Jipsen, Chapman U., USA: PC Co-Chair
    Wolfram Kahl, McMaster U., Canada: PC Co-Chair