===========================================================================
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