Réunions des 14 et 15 septembre 2004

===========================================================================


Journées ACI PERSÉE


Mardi 14 et Mercredi 15 septembre 2004

Salle G.T. 4, LaBRI, Rez-de-chaussée


===========================================================================
MARDI 14 SEPTEMBRE
==================

10H15-10H30: Accueil

---------------------------------------------------------------------------

10H30-11H15: Alain Griffault et Aymeric Vincent
sur « Choisir AltaRica comme langage commun aux outils PERSÉE ? »

11H15-12H00: Frédéric Herbreteau
« Compte rendu du GdT intégration »

12H00-12H30: Questions/Discussion/Décisions à prendre GdT intégration

---------------------------------------------------------------------------

12H30-14H00: Repas

---------------------------------------------------------------------------

14H00-14H30: Conclusions sur GdT Intégration

14H30-16H00: Bilan 1ère année PERSéE & Perspectives
- Tour de table Bilan
- Préparation rapport annuel
- Tour de table Perspectives
- Comment faire converger les perspectives individuelles ?

16H00-16H30: Pause

16H30-17H15: Alain Finkel
« Comparaison des accélérations de Fast et de TReX »

17H15-18H00: Nathalie Bertrand
« Utilisation de Trex pour les canaux non-fiables probabilistes »

---------------------------------------------------------------------------

20H00- : Dîner dans un restaurant bordelais




===========================================================================


MERCREDI 15 SEPTEMBRE
=====================


---------------------------------------------------------------------------

09H30-10H15: Peter Habermehl
« Regular model checking using inference of regular languages »

10H15-11H00: Grégoire Sutre
« On flatness for 2-dim vector addition systems with states »

11H00-11H30: Pause

11H30-12H30: Discussions dont
- site web persée
- deliverable "Architecture & langage pivot"
- deliverable "Abstractions"
> - deliverable "Accèlération de circuits"
- organisation des groupes de travail
- actions communes (mastère, stages, workshops, réponses
appels d'offres, ...)
- orientations du projet
- l'évaluation du projet

---------------------------------------------------------------------------

12H30-14H00: Repas

---------------------------------------------------------------------------

14H00-15H30: Discussions (suite)
Conclusions et dècisions

15H30-16H15: Jérôme Leroux
« Sur la réduction du nombre de fonctions »

---------------------------------------------------------------------------

16H15-16H30: Clôture


Valid HTML 4.01! Valid CSS!