Meetings for: Testing and Verification

ARTIST2 T&V Meeting

Meeting date: Wednesday, February 21 2007 in Trento, Italy, one day
Organiser(s): Kim Larsen (Aalborg)
There is no public page available for this meeting.

Agenda (A high-level view of the main points to be discussed)

Besides giving OVERVIEW presentations of current research we should also take the opportunity to discuss how we can contribute to the cross-cluster activity on PLATFORMS (see previous mails from Susanne Graf). We will be having a 1-day internal workshop at DATES (Saturday April 21) and we will be organizing a special CAV workshop based on ARTIST2 platforms. I think it is important that we in the T&V cluster agree on how best to contribute to these efforts.

9.00- 9.10 Short Status of Cluster / Kim Larsen 9.10- 9.45 Overview of activities at ESI / Ed Brinksma 9.45-10.15 Overview of activities at IRISA / Vlad Rusu

10.15-10.50 Coffee Break

10.50-11.25 Overview of activities at CFV / Jean-Francois Raskin 11.25-12.00 Overview of activities at Trento / Alessandro Cimatti, Roberto Sebastiani, Fabio Massacci

12.00-13.30 Lunch

13.30-14.05 Overview of activities at CISS/Aalborg / Kim G Larsen 14.05-14.40 Overview of activities at Twente / Hichim Boudalli, Sandro Etalle 14.40-15.15 Overview of activities at Cachan / Francois Laroussinie, Nicolas Markey, Steve Kremer

15.15-15.45 Coffee Break

15.45- 17.00 Joint ARTIST2 effort on platforms activities (discussion).

(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009

Réalisation Axome - Création de sites Internet