PROFUNDIS: Proofs of Functionality for Mobile Distributed Systems

[ Overview | Meetings | Visits | Events | Publications | Tools | Internal information ]

Meetings in the PROFUNDIS project

First project meeting: April 25-27, 2002, Sophia-Antipolis

The PROFUNDIS kickoff meeting in April 2002 at INRIA attracted around 30 participants and other interested scientists. All sites gave presentations explaining their points of departure and extended discussion were conducted leading to firm plans for the coming year.

After the the PROFUNDIS kickoff meeting, two meetings have been scheduled to address issues related to the design of the architecture of the PROFUNDIS verification environment. In both, members all three workpackages participated.

Valid HTML 4.01! Web page: Björn Victor, latest update Tue, 07-Jan-2003 18:04 MET