Overview

The second meeting of 2011 for COST Action IC0901: "Rich-Model Toolkit - An Infrastructure for Reliable Computer Systems" will be held in Turin, Italy, on October 3-4, with Maria Paola Bonacina and Alessandro Armando as Program Organizers, and Luca Paolini as Local Organizer.

The program including
invited talks by  Roberto Bagnara (Universita di Parma), Silvio Ghilardi  (Universita di Milano), Alberto Griggio (Fondazione Bruno Kessler), Christoph Weidenbach (Max-Planck-Institut für Informatik), contributed talks from Action participants, informal technical discussion session and our usual MC meeting.