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

Announcement: USI-CMU Summe School on Dependable Computer Systems

** Application Deadline: May 20, 2007 **

     *                   USI-CMU SUMMER SCHOOL ON                *
     *                 DEPENDABLE COMPUTER SYSTEMS               *
     *                                                           *
     *                      *
     *                                                           *
     *                    University of Lugano                   *
     *                                                           *
     *            9-13 July 2007, Lugano, Switzerland            *
     *                                                           *
     *                    Organized jointly by:                  *
     *     Faculty of Informatics, University of Lugano          *
     *  School of Computer Science, Carnegie Mellon University   *
     *                                                           *
     *                    *** Announcement ***                   *

The second summer school on Dependable Computer Systems will
be held on the campus of the University of Lugano, Switzerland.
The summer school is intended for students, researchers, and
professionals interested in the construction of reliable
computer systems. The focus of the school will be on all aspects
of computer systems construction: system design, analysis,
verification and implementation. The lectures will be given by
internationally renowned researchers from Carnegie Mellon University,
School of Computer Science, Pittsburgh, USA, and the
University of Lugano, Informatics Department, Switzerland
who have made significant contributions to the field of
computer systems. The summer school is a good opportunity for
quickly acquiring background knowledge in important areas both
in theory and practice of computer systems. The summer school is
especially directed to Ph.D. students who are conducting or intend
to conduct research in the area of computer systems. Industry
professionals will also find it useful to attend.


# Stephen Brookes, Carnegie Mellon University,
Topic: Concurrent Separation Logic: Reasoning About Parallel Programs 
with Shared Mutable State

# Edmund Clarke, Carnegie Mellon University,
Topic: Recent Advances in Model Checking

# Mauro Pezze, University of Milano Bicocca and University of Lugano,
Topic: Dynamic Analysis and Self Healing Software

# Bill Scherlis, Carnegie Mellon University,
Topic: Prospects for Intent-based Software Assurance

# Natasha Sharygina, University of Lugano and Carnegie Mellon University,
Topic: Software Verification

# Antonio Carzaniga, University of Lugano,

Topic: Content-based Networking


The school takes place in Lugano, in the Italian part of
Switzerland, easily reachable through Milan and Zurich airports.
Accommodations have been arranged at nearby hotels.


The Summer School is jointly organized by:

* Faculty of Informatics, University of Lugano (USI)
* School of Computer Science, Carnegie Mellon University (CMU)

Advising Board:

* Mehdi Jazayeri (USI)
* Willy Zwaenepoel (EPFL)
* Thomas Gross (ETHZ)

Steering Committee:

* Natasha Sharygina (USI and CMU)
* Jeannette Wing (CMU)

Important Dates

The number of participants is strictly limited to ensure quality
interaction with the lecturers and the rest of the audience;
all applications must be accompanied by a letter of recommendation
from the applicant's supervisor or manager.

The deadlines for Application, and Registration are as follows:

* Application                    May   20
* Notification of Acceptance     May   31
* Registration                   June  15


The basic registration fee is CHF 1400 (EUR 860).
Full-time PhD students are entitled to a discounted price of CHF 850 (EUR
520). The registration fee covers participation in all lectures and
other activities of the summer school, as well as course materials,
welcome reception, boat trip with dinner at the lake, hiking trip with
farewell dinner, all coffee breaks and lunches.
The school doesn't cover the hotel arrangements.

Scholarships to cover the registration fee is available for USI and CMU
members on a first-come, first-served basis. A number of scholarships is
available for participants with insufficient institutional support. A
letter from the applicant's advisor stating that there is no sufficient
support is required to apply for the scholarship.

Further Information

More detailed information available at the URL