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

CALL FOR PAPERS: Ershov Informatics Conference (PSI'14), 24-27 June 2014, St. Petersburg, RUSSIA


The Ershov Informatics Conference (the PSI Conference Series, 9th edition) 
is the premier international forum in Russia for research and its 
applications in computer, software and information sciences. The 
conference brings together academic and industrial researchers, developers 
and users to present and discuss the most recent innovations, trends, 
experiences and concerns in the conference area.


- A.P. Ershov Institute of Informatics Systems, Siberian Branch of RAS
- Saint Petersburg State University


- Alexander Marchuk
   A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia
- Andrey Terekhov
   Saint Petersburg State University, Saint Petersburg, Russia


Dines Bjorner
Technical University of Denmark, Lyngby, Denmark

Manfred Broy
Institut fuer Informatik, Technische Universitaet Muenchen, Germany

Victor Ivannikov
Institute for System Programming RAS, Moscow, Russia

Ugo Montanari
University of Pisa, Italy


Irina Virbitskaite
A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia

Andrei Voronkov
The University of Manchester, UK


Irina Adrianova
A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia
6, Acad. Lavrentiev av.
630090 Novosibirsk, Russia
tel.: +7 383 3307352
fax:  +7 383 3323494


- Edmund M. Clarke (USA)
- Tony Hoare (UK)
- Bertrand Meyer (Switzerland)
- Vladimiro Sassone (UK)
- Vadim E. Kotov (USA)


1. Foundations of Program and System Development and Analysis

- specification, validation, and verification techniques,
- program analysis, transformation and synthesis,
- semantics, logic and formal models of programs,
- partial evaluation, mixed computation, abstract interpretation,
   compiler construction,
- theorem proving and model checking,
- concurrency theory,
- modeling and analysis of real-time and hybrid systems,
- computer models and algorithms for bioinformatics.

2. Programming Methodology and Software Engineering

- object-oriented, aspect-oriented, component-based and generic programming,
- programming by contract,
- program and system construction for parallel and distributed computing,
- constraint programming,
- multi-agent technology,
- system re-engineering and reuse,
- integrated programming environments,
- software architectures,
- software development and testing,
- model-driven system/software development,
- agile software development,
- software engineering methods and tools,
- program understanding and visualization.

3. Information Technologies

- data models,
- database and information systems,
- knowledge-based systems and knowledge engineering,
- bioinformatics engineering,
- ontologies and semantic Web,
- digital libraries, collections and archives, Web publishing,
- peer-to-peer data management.

In addition to papers in the above list of topics, papers both bridging
the gap between different directions and promoting mutual understanding
of researchers are welcome. Papers defining the general prospects in
computer, software and information sciences are also encouraged.



There are three categories of submissions:

- regular papers describing fully developed work and complete results
   (12 pages / 30 minute talks);

- short papers reporting on interesting work in progress and/or
   preliminary results (7 pages / 15 minute talks);

- system and experimental papers describing implementation or evaluation
   of experimental systems and containing a link to a working system
   (4 pages / 10 minute presentation).

Submissions should:

- contain original contributions that have not been published or submitted
   to other conferences/journals in parallel with this conference;

- clearly state the problem being addressed, the goal of the work,
   the results achieved, and the relation to other works;

- be in PS or PDF and formatted according to Springer LNCS Instructions
   for authors:;

- be in English and in a form that can be immediately included in the
   proceedings  without major revision;

- be attached (if necessary) by an appendix that contains proofs etc.
   However, the paper must be self-contained without the appendix in that
   reviewers may not read the appendix;

- be sent electronically (as a PostScript or PDF file) through the
   submissions link to the conference website: not later than
   January 20, 2014.

Submitted regular papers that are judged to have limited merit may be
accepted as short papers, with up to seven pages in the proceedings.
At the time of submission, authors should indicate if they wish to have
their submission considered as a short paper in the case it is not
accepted as a regular one.

At least one author of each accepted paper must register, attend the
conference and present the paper.


A preliminary book of tutorial, invited and accepted contributions will be
handed out at the conference. The final versions of the invited, regular
and short papers presented at the conference will be published by
Springer-Verlag in the Lecture Notes in Computer Science series after the
conference. One can find the proceedings of the previous seven conferences
in LNCS, Vol. 1181, 1755, 2244, 2890, 4378, 5947, and 7162.


The conference will be held in Peterhof (also known as Petrodvorets), a suburb
of St. Petersburg located on the southern shore of the Gulf of Finland. The
town is one of St. Petersburg's most famous and popular visitor attractions
thanks to its palaces, fountains and parks. Founded as a summer residence of
Peter the Great, the area is recognized as a UNESCO World Heritage Site and
is often referred to as "the Russian Versaille".
For more information see


You can fly directly to St Petersburg (Pulkovo Airport) or travel via Moscow.
Going from Moscow, you can take take a train - the fastest takes about four
hours and now costs EUR 117 one way. There are also quite a few overnight
trains, which cost from EUR 71 to EUR 106 2nd class one way and take about
8 hours. All direct trains depart from Moskva Oktiabrskaya (October Station,
the former Moscow Leningradsky Station) and arrive at Sankt-Peterburg Glavnyi
(Main Station).
For more details see


N.B. Three satellite workshops will be held in conjunction with PSI'14:

- Program Understanding,
- Educational Informatics,
- Science Intensive Applied Software.


January 13, 2014: abstract submission

January 20, 2014: submission deadline

April 1, 2014: notification of acceptance

June 24 - 27, 2014: the conference dates

September 1, 2014: camera ready papers due

See for more information