Next: Management of the project
Up: Coordination and Management
Previous: Coordination and Management
- Four project meetings have been organized in
(6-7) November 2000 in Paris, (3-4) May 2001 in Grenoble, (24) July 2001 in Paris,
and (17-18) October 2001 in Liège.
- Thomas Arts and Hans Nilsson from (Ericsson-UAB) attended the first project meeting.
Hans Nilsson gived a presentation of the SIP protocol at that meeting.
Thomas Arts visited (UP7) in July 2001.
- working meetings have been organized between (Ericsson-UAB) and (Uppsala)
around the SIP protocol.
- Yassine Lakhnech, Aurore Annichini, and Eugene Asarin from (UJF) visited (UP7).
Ahmed Bouajjani and Mihaela Sighireanu from (UP7) visited (UJF).
The intensive cooperation between the two groups
lead to several common publications (4 articles) and to the development of the tool TReX.
- Yves-Marie Quemener from (F-Telecom) visited (UJF) where he had several working meetings
with the group of Grenoble around the PGM protocol and its specification in
the new version of the IF language,
- Saddek Bensalem from (UJF) visited (Uppsala) where he worked on combining
abstraction techniques with efficient symbolic verification techniques.
- The group of (UP7) and (Uppsala) have tight collaboration links.
This year, they have produced a common paper
on the problem of constructing reachability sets
of FIFO channel systems.
Next: Management of the project
Up: Coordination and Management
Previous: Coordination and Management