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: Runtime Verification RV2009

Call for Papers
9th workshop on
Runtime Verification
RV 2009
Grenoble, France 

Aims and Scope 

The objective of RV'09 is to bring scientists from both academia and industry together to debate on how to monitor and analyze the execution of programs, for example by checking conformance with a formal specification. The purpose might be testing a piece of software before deployment, detecting errors after deployment in the field and potentially triggering subsequent fault protection actions, or the purpose can be to augment the software with new capabilities in an aspect oriented style. The longer term goal is to investigate whether the use of lightweight formal methods applied during the execution of programs is a viable complement to the current heavyweight methods proving programs correct always before their execution, such as model checking and theorem proving. This year RV 2009 is affiliated to   CAV 2009 and is lasting 3 days with one day for tutorials.
Topics of Interests

The subject covers several technical fields as outlined below: 
* Specification Languages and Logics. Formal methods scientists have investigated logics and developed technologies that are suitable for model checking and theorem proving, but monitoring can reveal new observation-based foundational logics and problems.
* Aspect-oriented Languages with Trace Predicates. New results in extending aspect languages, such as for example AspectJ, with trace predicates replacing the standard pointcuts. Aspect oriented programming provides specific solutions to program instrumentation and program guidance. 
* Program Instrumentation in General. Any techniques for instrumenting programs, at the source code or object code/byte code level, to emit relevant events to an observer. 
* Program Guidance in General. Techniques for guiding the behavior of a program once its specification is violated. This includes topics such as fault-protection, self-healing, and diagnosis.
* Combining Static and Dynamic Analysis. Monitoring a program with respect to a specification can have an impact on the monitored program, with respect to execution time as well as memory consumption. Static analysis can be used to minimize the impact by optimizing the program instrumentation. Runtime monitors can be seen as proof obligations left over from proofs - what is left that could not be proved.
* Dynamic Program Analysis. Techniques that gather information during program execution and use it to conclude properties about the program. Algorithms for detecting multi-threading errors, such as deadlocks and data races. Algorithms for generating specifications from runs -- dynamic reverse engineering, this can include program visualization. 

Paper Submission

There are two categories of submissions:
1. Regular Papers: Submissions, not exceeding fifteen (15) pages using Springer's LNCS format, should contain original research, and sufficient detail to assess the merits and relevance of the contribution. For papers reporting experimental results, authors are strongly encouraged to make their data available with their submission. Submissions reporting on case studies in an industrial context are strongly invited, and should describe details, weaknesses and strength in sufficient depth. Simultaneous submission to other conferences with proceedings or submission of material that has already been published elsewhere is not allowed. 
2. Tool Presentations: Submissions, not exceeding six (6) pages using Springer's LNCS format, should describe the implemented tool and its novel features. A demonstration is expected at the workshop to accompany a tool presentation. Papers describing tools that have already been presented (in any conference) will be accepted only if significant and clear enhancements to the tool are reported and implemented. 
Papers exceeding the stated maximum length run the risk of rejection without review. The review process will include a feedback/rebuttal period where authors will have the option to respond to reviewer comments. Papers should be submitted in PDF format. Submission is done with EasyChair.  Informations about the submission procedure are available at:

Important Dates

Abstract submission: March 1, 2009
Paper submission (firm): March 8, 2009 
Author feedback/rebuttal period: April 19, 2009
Notification of acceptance/rejection: April 26, 2009
Final version due: May 10, 2009

Invited speakers

Amir Pnueli    (New York University)
Sriram Rajamani (Microsoft Research India)

Program Chairs

Saddek Bensalem (Verimag/Universit Joseph Fourier, France)
Doron Peled (Bar Ilan University, Israel)

Program Committee

Cyrille Valentin Artho (AIST, Japan)
Howard Barringer (University of Manchester, UK)
Saddek Bensalem (Verimag,/Universit Joseph Fourier, France)
Nikolaj Bjorner (Microsoft Research US)
Eric Bodden (McGill University, Canada)
Mads Dam (KTH, Stockholm, Sweden)
Ylies Falcone (Verimag/Universit Joseph Fourier, France)
Bernd Finkbeiner (Saarland University, Germany)
Cormac Flanagan (University of California Santa Cruz, US)
Pascal Fradet (INRIA Rhne-Alpes, France)
Radu Grosu (University of Stony Brook, New York, US)
Klaus Havelund (JPL/NASA, US)
Moonzoo Kim (KAIST, Korea)
Insup Lee (University of Pennsylvia, US)
Martin Leucker (TUM, Germany)
Doron Peled (Bar Ilan University, Israel)
Mauro Pezz (University of Milano Bicocca, Italy)
Shaz Qadeer (Microsoft Research, US)
Grigore Rosu (University of Illinois Urbana-Champaign, US)
Henny Sipma (Kestrel Technology. US)
Scott Smolka (University of Stony Brook, New York, US)
Oleg Sokolsky (University of Pennsylvania, US)
Maria Soria (EADS, Germany)
Scott Stoller (University of Stony Brook, New York, US)

Call for Papers 9th workshop on Runtime Verification
RV 2009 Satellite workshop of CAV 2009June 26 - 28, 2009 Grenoble, France