La présentation est en train de télécharger. S'il vous plaît, attendez

La présentation est en train de télécharger. S'il vous plaît, attendez

LSR Groupe de Travail AFADL du GDR ALP Journée de rencontre «Collaborations industrielles du groupe AFADL» 11 juin 2003 ENST – Paris Préparée par Marie-Laure.

Présentations similaires


Présentation au sujet: "LSR Groupe de Travail AFADL du GDR ALP Journée de rencontre «Collaborations industrielles du groupe AFADL» 11 juin 2003 ENST – Paris Préparée par Marie-Laure."— Transcription de la présentation:

1 LSR Groupe de Travail AFADL du GDR ALP Journée de rencontre «Collaborations industrielles du groupe AFADL» 11 juin 2003 ENST – Paris Préparée par Marie-Laure Potet et Yves Ledru(LSR/IMAG)

2 LSR Bienvenue Deuxième réunion du Groupe de Travail AFADL : Approches Formelles dans lAssistance au Développement de Logiciels Application des méthodes formelles à diverses étapes du développement logiciel Du groupe ADER, au groupe AFADL du GDR ALP…

3 LSR Equipes Universitaires Participantes Architectures Logicielles PRISM (Versailles) Conception et Programmation Raisonnée CEDRIC (CNAM, Paris), DEDALE et MODEL LORIA (Nancy) SVF (Spécification et Vérification Formelle) FéRIA (Toulouse) ILR (Ingénierie du Logiciel et des Réseaux) ENST (Paris) Programmation et Génie Logiciel LRI (Orsay) VASCO LSR/IMAG (Grenoble) Techniques Formelles et à Contraintes LIFC (Besançon) Triskell de lIRISA (Rennes) SPECIF LAMI (Evry) Liste ouverte…

4 LSR Autres participants Industriels –(France Télécom R&D) –Emmanuel Ledinot (Dassault Aviation, St Cloud) –Jean-Louis Lanet (Gemplus) A létranger –Pascal Gribomont, Université de Liège (Belgique) Liste ouverte…

5 LSR Latelier AFADL 2003 et janvier 2003: IRISA, Rennes Juin 2004 : LIFC, Besançon

6 LSR Actions du GT AFADL Journées de rencontre et soutien aux jeunes chercheurs (juin 2002) Tutoriels à AFADL 2003 Journée industrielle (aujourdhui) Dautres suggestions ? … Ces manifestations ont reçu le soutien financier du GDR ALP

7 LSR Diffusion dinformations Site web (GT + atelier) Nouveau ! afadl.cnrs.fr Liste –Ciblée sur les activités du GT –Liste modérée –Inscrivez-vous: –Mails to:

8 LSR Programme de la journée (1/2) Amphi B312 9h30 Ouverture de la journée Marie-Laure Potet et Yves Ledru 9h40 Projet RNTL BOM (B Optimisant la mémoire) Laurent Voisin (ClearSy) 10h30 Pause 10h50 Projet RNTL ACCORD Bruno Traverson (EDF R&D) 11h40 Projet RNTL LUTIN Xavier Blanc (Softeam - LIP6) du groupe 12h30 Discussion 13h00 Repas

9 LSR Programme de la journée (2/2) Amphi B312 14h00 Projet RNTL COTRE (COmposants Temps Réels Embarqués) Patrick Farail, Pierre Gaufillet (AIRBUS France) 14h50 Projet RNTL INKA Bernard Botella (Thalès) 15h40 Pause 16h00 Projet RNTL COTE (Component TEsting) Eric Riou du Cosquer (Softeam) 16h50 Conclusion de la journée 17h00 Fin

10 LSR Les discussions Futures actions du groupe Proposition(s) dactions spécifiques issues du GT AFADL –Pour montrer que le GT est aussi une force de proposition scientifique. –En profitant de la présence des industriels pour proposer des thèmes pertinents scientifiquement et industriellement ?

11 LSR Remerciements A tous ceux qui ont bravé les perturbations … A Sylvie Vignes qui assure lorganisation matérielle de la réunion Aux orateurs industriels

12 LSR Projets daction (1/2) Actions en faveur des jeunes chercheurs –Tutoriels associés à latelier –Ecole dété –Symposium doctoral associé à latelier –Soutien financier

13 LSR Projets daction (2/2) Coopération avec dautres GDRs Rayonnement international –Francophone –Non-francophone Organisation de journées –Rencontre / exposés jeunes chercheurs –Avec dautres GDRs –Présentation de projets (RNTL, RNRT, …)


Télécharger ppt "LSR Groupe de Travail AFADL du GDR ALP Journée de rencontre «Collaborations industrielles du groupe AFADL» 11 juin 2003 ENST – Paris Préparée par Marie-Laure."

Présentations similaires


Annonces Google