Marie-Laure Potet et Yves Ledru(LSR/IMAG)

Slides:

Advertisements

Présentations similaires

GDRMACS Objectifs thématiques et Structuration

Advertisements

Faculté de droit et des sciences économiques

Colloque le 1 er octobre 2008 de 8h45 à 17h30 organisé par l AESN, l AFSSA, l AFSSAPS, la DGS et l Université Paris Sud 11 au Ministère de la Santé, de.

État du domaine de la CEM dans les systèmes de transport

1 Laboratoire dInformatique de lUniversité de Franche Comté Présentation SPECIF du 22 janvier 2004 Projet CASSIS FRE 2661.

10ème Journée Thématique AFIS: Pratiques d’Ingénierie Système dans les grands projets 14 Décembre 2010 Toulouse Michel Galinier Chargé de mission Journées.

GDR CASSINI / SIGMA Présentation Janvier 2001.

Association des Parents d'Élèves

Nos Partenaires Rencontres ASP.NET : Développement Rapide dApplications Web.

Première journée des PGs de lULB organisée par lAMIF Quelques PGs de toutes les spécialités Représentativité Information Etablir un dialogue avec la faculté

Commission Enseignement Congrès Club EEA Perpignan mai 2002 Journée TSI – Club EEA 9 janvier 2003.

Journée de Diabétologie Hôtel Dieu Cochin 2010

Projet TEMPUS «ISTeMag »

Dassault Aviation représentant le club – Paris – Journées GDR - club de partenaires GDR Robotique – 24 octobre 2008 Page n°1 Journées GDR - 24/10/2008.

GT3 Manipulation multi-échelle

Activités développées RTP 09 : Bases de données et d'informations hétérogènes et distribuées Actions spécifiques et équipes-projets associées Objectifs.

SYSTEMES DE CONTRÔLE – COMMANDE ET INFORMATIQUE DISTRIBUEE TEMPS REEL

Projet FIACRE 1 ACI Sécurité InformatiqueToulouse, novembre 2004 FIACRE Fiabilité des Assemblages de Composants Répartis Modèles et outils pour lanalyse.

GDR Reconnaissance dobjets en imagerie de télédétection Vendredi 7 mai 2010 Matin : amphi Emeraude Après-midi : E200.

PARTENARIAT LYCEE DE L’ESSOURIAU – UNIVERSITE PARIS-SUD

Réunion CEFRACOR Sud-Est

GDR ONDES Club des Partenaires Composition Rôle et fonctionnement Actions 2006/2007/2008 Bilan / Conclusion.

GDR ONDES : GT4 « Antennes & Circuits »

SDTICE Séminaire thématique "Au cœur de la FOAD" 21 octobre 2009.

Bienvenue Groupes de Travail IS3C et C2EI

AGENDA (1/4) 9h h00 : administration –changement de « prime » –actions au Ministère –introduction de Akazi –avenant –facturation –articles –convention.

18 avril 2002réunion Datagrid France1 E-toile Plate-forme RNTL 2001 Environnement matériel et logiciel pour le développement et l expérimentation de grille.

CONTinuité de service en INformatique UbiqUitaire et Mobile

Electronique et rayonnements naturels au niveau du sol 2 e journées nationales consacrée à la mise en place de méthodologies de conception, de qualification.

Journée du Groupe Thématique « Test et Tolérance » Amélioration du Rendement et Fiabilité des Mémoires Marseille, 6 mai 2010 GDR SoC – SiP P. Girard –

Bienvenue aux 10 Ans du groupe Bermudes le 16 Juin 2006 à Tours GdR RO.

TELECOM Bretagne, Département Informatique Département LUSSI

Séminaire « Au cœur de la FOAD » Au cœur de la FOAD 1 er décembre 2009 Université de Lille 2 UNR Nord-Pas de Calais.

20ème Anniversaire de l’Université Ibn Tofail

Bruxelles, le samedi 15 juin 2013 Cap développement humain: Opération IDéesH.

SOS_Nanotubes : 12/13 Janvier 2010

« Génome, adaptation et environnement »

Destination International

Communication Collaborative : créer et assurer la visibilité de son blog 1.

1 -Technologies : FPGAs reconfigurables dynamiques -Méthodes : Méthodologies de Conception de système logicielle/matérielle sur puce -Outillage: environnements.

SCIENCES DE L ’INGENIEUR

Ouverture Pr Thierry CONROY Mr Bernard DUPONT Pr Henri COUDANE

MODELISATION A LORAL DE LAGREGATION, 21/05/2001 AGREGATION DE MATHEMATIQUES: MODELISATION EN 2002 Lundi 21 mai 2001 Institut Henri Poincaré en présence.

Frédéric ROUSSEAU Université Joseph Fourier – Grenoble (France) TIMA - SLS 46 av. Félix Viallet – Grenoble – France HOSPI.

COTRE COmposants Temps REel

Lutin RNTL 2001 – Exploratoire – 3 ans Xavier Blanc –

LSR Groupe de Travail AFADL du GDR ALP Journée de rencontre « Techniques Formelles pour le Génie Logiciel » 5 juin 2002 ENST – Paris Préparée par Yves.

8, rue de la Porte de Buc , Versailles

Etienne Craye – Jean-Marc Faure INCOS GDR MACS INCOS INgénierie de la COmmande et de la Supervision des SED -DES Control and Monitoring Engineering Fusion.

Plate-forme française de réalité virtuelle &. 2 Partenariat ENSMP Plate-forme RNTL : PerfRv.

1 DataGRAAL DataGRid pour Animation et Applications à Large échelle Yves Denneulin IMAG-ID Pierre Sens LIP6 - INRIA.

I nspection P édagogique R égionale Groupe S.T.I. Gennevilliers 17 septembre 2008 Réunion des Chefs de Travaux de lacadémie de Versailles Chef de Travaux.

Agenda de la journée 10h00 : La place d’ASP.NET dans la plate-forme Microsoft 10h30 : Développement rapide d’applications Web en ASP.NET 12h00 : Construire.

Réunion #3 18/09/2006. E. Caron - Réunion #3 - 18/09/06 Planning 10h - 10h30Accueil des participants 10h h40 Informations générales sur LEGO [Eddy.

1 Séminaire « Définition de Produits » : méthodologie de définition d’une pièce GREC INITIALES Juin / juillet 2012– ACADEMIE DE TOULOUSE 1 Préparation.

Activités développées RTP 12 : Information et connaissance : "découvrir et résumer" Actions spécifiques et équipes-projets associées Objectifs thématiques.

IPv6TF/ IPv6 Task Force France Réunion du 28 octobre 2002 Patrick Cocquet.

Corporate Research Center Software Department 1/14 UAC/L/99/0292 PROJET CALIFE Réunion de lancement 2 septembre 1999 Calife.

1 Rencontres IrisaTech Modélisation formelle de systèmes embarqués et applications Programme IntroductionJean-Pierre Talpin Composants riches et modélisation.

IPv6TF/ Task Force IPv6 France Réunion du 11 juin 2003 à Caen Patrick Cocquet Patrick Cocquet, Président de la Task Force IPv6 France

1 CAPPRIS Réunion de lancement mars Participants INRIA Grenoble: Thibaud Antignac, Cédric Lauradoux, Daniel Le Métayer Université de Namur:

ConecsSdF : Co-design de systèmes commandés en réseau et sûrs de fonctionnement (GT ARC) 1 4 ÈME JOURNÉE DE L ’A CTION C ONECS S D F C O - DESIGN DE SYSTÈMES.

Laboratoire Ergonomie et Sciences COgnitives pour les Transports

Réseau EURAXESS Doctoriales, La Rochelle, 4 Juin 2009.

28 janvier 2010 ConecsSdF : Co-design de systèmes commandés en réseau et sûrs de fonctionnement (GT ARC) 1 GT ARC (Automatique et Réseaux de Communication)

Journée « Marketing » de la Recherche Organisée par l’ARC6 et l’ARDI Lyon, 18 juin 2013 Yves Ledru (LIG et ARC6)

1e Rencontre régionale du réseau ARPIST – thème : « Veille documentaire » 27 mai 2004 Présentation du réseau quitaine Poitou-Charentes éseau rofessionnels.

Directrice: Faina ZOLOTAVINA, MCF, Docteur en Sciences pédagogiques Centre régional de coopération franco-russe Animer un centre de.

1 Journée GDR GPL --- Ingénierie des Exigences octobre 2015 Ph. Dhaussy Philippe Dhaussy Univ. Européenne de Bretagne Lab-STICC UMR CNRS 6285 Equipe.

Groupe de Travail Sciences de l’Ingénieur et Informatique de la prospective nationale sur les grilles de production 14/05/08.

Transcription de la présentation:

Marie-Laure Potet et Yves Ledru(LSR/IMAG) 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)

Bienvenue Deuxième réunion du Groupe de Travail AFADL : Approches Formelles dans l’Assistance 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…

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 l’IRISA (Rennes) SPECIF LAMI (Evry) Liste ouverte…

Autres participants Industriels A l’étranger Liste ouverte… (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…

L’atelier AFADL 2003 et 2004 15-17 janvier 2003: IRISA, Rennes Juin 2004 : LIFC, Besançon

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

Diffusion d’informations Site web (GT + atelier) Nouveau ! afadl.cnrs.fr Liste e-mail Ciblée sur les activités du GT Liste modérée Inscrivez-vous: http://listes.imag.fr/wws/info/afadl-alp Mails to: afadl-alp@imag.fr

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

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

Les discussions Futures actions du groupe Proposition(s) d’actions 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 ?

Remerciements A tous ceux qui ont bravé les perturbations … A Sylvie Vignes qui assure l’organisation matérielle de la réunion Aux orateurs industriels

Projets d’action (1/2) Actions en faveur des jeunes chercheurs Tutoriels associés à l’atelier Ecole d’été Symposium doctoral associé à l’atelier Soutien financier

Projets d’action (2/2) Coopération avec d’autres GDRs Rayonnement international Francophone Non-francophone Organisation de journées Rencontre / exposés jeunes chercheurs Avec d’autres GDRs Présentation de projets (RNTL, RNRT, …)