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.

• Slides from presentations
  • Marzia Buscemi: A First Order Coalgebraic Model of pi-Calculus Early Observational Equivalence
  • Marzia Buscemi: An Overview of STA, a Tool for Automatic Analysis of Security Protocols
  • Gianluigi Ferrari: From co-algebraic specification to verification environment
  • Stefania Gnesi: Tools for Verification - JACK and beyond
  • Daniel Hirschkoff: Reasoning about mobility in theorem provers
  • Ugo Montanari: History-Dependent Automata
  • Antonio Ravara: Behavioural Types for Mobile Calculi with Labels, and Is label-strong bisimilarity decidable? (the answer to a question by Roberto Amadio)
  • Davide Sangiorgi: The behaviour of typed processes
  • Emilio Tuosto: Co-Algebraic HD-automata: Implementation of a Partitioning Algorithm
  • Björn Victor: MWB: What is it, and what can be learnt?
• Attendants:

  Sophia:

  Roberto Amadio, Gilles Barthe, Gerard Boudol, Ilaria Castellani, Silvano Dal-Zilio, Daniel Hirschkoff, Etienne Lozes, Charles Meyssonier, François Pottier, Leonor Prensa-Nieto, Antonio Ravara, Davide Sangiorgi, David Teller, Vincent Vanackère

  Pisa:

  Michele Boreale, Maria Grazia Buscemi, Gianluigi Ferrari, Stefania Gnesi, Ugo Montanari, Roberto Raggi, Emilio Tuosto, ...

  FFCT:

  Luis Caires, Luis Monteiro, Anabela Ribeiro, Vieira ...

  Uppsala:

  Michael Baldamus, Magnus Johansson, Joachim Parrow, Björn Victor, Kidane Yemane

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.

• The discussion of the first meeting (Pisa, June 10 - 11) focused on the following items:

  1. the overall architectures of the PROFUNDIS Verification Environment;
  2. components of the environments;
  3. integration issues and component composition.

  The main results of this meeting was the identification of and the preliminary design of the PROFUNDIS Verification Environment.

• The second meeting (Pisa, September 16) focused mainly on the issues of interoperability among the components of the PROFUNDIS Verification Environment. The main result of the meeting was the design of the format for data exchange among the components of the PROFUNDIS Verification Environment.

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