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 Tutorial Proposal: Formal Methods 2009

Call for Tutorial Proposals

 Formal Methods 2009, Eindhoven, The Netherlands
 symposium 4-6 November, tutorials 2 & 3 November

FM2009 is the sixteenth international symposium of the Formal Methods
Europe association. Ten years after the world congress in Toulouse in
1999, FM2009 will be organized as a world congress again, a global
platform for researchers and practitioners from a diversity of
countries, backgrounds and schools to exchange ideas and share
experiences. Several conferences are colocating with FM2009 within

As is tradition, the symposium will go together with an Industry Day,
a Doctoral Symposium, a Tool Exhibition, an event on Teaching Formal
Methods, as well as a wide range of workshops (see for the latest information). In order to
complete the programme, the organizing committee of FM2009 cordially
invites proposals for one day tutorials in the wide area of formal

Tutorials should aim to provide conference participants with the
opportunity to learn new techniques and gain insights in the use of
formal methods. In particular, we welcome proposals addressing:

- novel applications of existing tools and techniques
- advanced topics in formal methods research
- uses of formal methods in emerging fields

Tutorials will take place on 2 and 3 November, preceding the symposium.

FM2009 tutorial proposals should include:

- tutorial title and brief description of its scope and goal
- names and affiliations of the tutors
- format of the tutorial

Proposals in pdf can be sent to the tutorial chair Jan Friso Groote at Deadline for submission is 6 March 2009.

Proposals will be evaluated by the FM2009 organizing committee.
Notification will be sent by 18 March 2009. Tutorials that have
lecture notes, can be assisted in printing and distribution by the
FM2009 organizing committee. Tutors of accepted proposals will receive
a discount on their registration fee for FM2009. Tutorial participants
are invited to register for FM2009 or one the colocated events within
FMweek, but are not required to do so. See the websites and for more information
on the symposium, colocated events and venue. Further inquiries can be
made to the tutorial chair.

Submission of proposals: 6 March 2009
Notification of acceptance: 18 March 2009
Tutorial dates: 2 and 3 November 2009