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 PARTICIPATION:School on Formal Methods for the Design of Computer, Communication and Software Systems, 17-22 Jun 2013, Bertinoro, ITALY


Formal methods are emerging in computer science as a prominent
approach to the rigorous design of computer, communication and
software systems.

The aim of the SFM series is to offer a good spectrum of
current research in foundations as well as applications of
formal methods, which can be of interest for graduate students
and young researchers who intend to approach the field.

This year SFM is an offspring of the workshops QAPL and MLQA
and is devoted to dynamical systems. It covers topics such as
chaotic dynamics, information theory, systems biology, hybrid systems,
quantum computing, and automata-based models and model checking.


The school features the following lectures:

   "Introduction to Dynamical Systems"
     Herbert Wiklicky (Imperial College London, UK)

   "Introduction to Chaotic Dynamics and Fractals"
     Abbas Edalat (Imperial College London, UK)

   "Information-Theoretic Security Analysis"
     Boris Koepf (IMDEA Software, ES)

   "Quantum Information Theory"
     Renato Renner (ETH Zurich, CH)

   "Quantitative Automata-Based Models and Model Checking"
     Joost-Pieter Katoen (RWTH Aachen, DE)

   "Fluid Analysis of Markov Models"
     Jeremy Bradley (Imperial College London, UK)

   "Discrete and Hybrid Methods in Systems Biology"
     Oded Maler (VERIMAG, FR)

   "ODE Analysis of Biological Systems"
     Ion Petre (Abo Akademi, FI)

   "Model Checking of Biological Models"
     Lubos Brim (Masaryk Univ., CZ)

   "Fluid Model Checking"
     Luca Bortolussi (Univ. Trieste, IT)

   "Checking Stability of Hybrid Systems"
     Andreas Podelski (Univ. Freiburg, DE)

   "Topological Quantum Computing"
     Jiannis Pachos (Univ. Leeds, UK)

All participants will receive a copy of a tutorial book published by
Springer as a volume in the Lecture Notes in Computer Science series.


SFM-13:DS will be held in the medieval hilltop town of Bertinoro.

This town is in Emilia Romagna, about 70 km south-east of Bologna,
at an elevation of about 230 m. It can be reached in a couple of
hours from the international airport "G. Marconi" of Bologna by
shuttle (from the airport to the railway station) + train (from
Bologna to Forli`) + bus/taxi (from the railway station to Bertinoro).
The closest airport is the "L. Ridolfi" airport of Forli`, which is
13 km away.

Bertinoro is close to many splendid locations such as Urbino,
Gradara, San Leo, and the Republic of San Marino, as well as some
less well-known locations like the thermal springs of Fratta Terme.

Bertinoro can also be a base for visiting some of the better-known
Italian locations such as Bologna, Rimini, Ravenna, Ferrara, Venezia,
Padova, Verona, Firenze, Pisa, and Siena.

Bertinoro itself is picturesque, with its narrow streets and
walkways winding around the central peak. The school will be held
at the Centro Residenziale Universitario (CRU), an ex-episcopal
fortress that has been converted by the University of Bologna into
a modern conference center with computing facilities and Internet
access. From the fortress, it is possible to enjoy a beautiful vista
stretching from the Apennines to the Adriatic coast and the Alps
over the Po Valley.


Scientific directors:
* Marco Bernardo         (University of Urbino, IT)
* Erik de Vink           (Eindhoven University of Technology, NL)
* Alessandra Di Pierro   (University of Verona, IT)
* Herbert Wiklicky       (Imperial College London, UK)

* Monica Michelacci      (CRU Bertinoro, IT)


Prospective participants should send by 21 March 2013
the application form, available on the school website,
to the two e-mail addresses below:

   Marco Bernardo
   marco.bernardo AT

   Monica Michelacci
   mmichelacci AT

The registration fee is 600 euros and includes the school material.

The accommodation fee is 350 euros and covers the period June 16-23
(7 nights), double room (to share with another participant),
half board (breakfast and lunch, dinner of June 16 included,
lunch of June 23 excluded).

The reduced accommodation fee for the participants who do not
need a room is 100 euros and covers the period June 17-22
(6 lunches).

A very limited number of grants is available to cover part
of the registration fee (no grant can be requested to cover
the accommodation fee or the travel expenses).

Notification of accepted/rejected applications and grant requests
will be communicated by March 31.

Registration to the school is due by April 20.

No refund is possible for cancellation after May 15.