Amphis Il vous est demandé de ne pas manger ni boire dans les amphis. Merci.



Documents pareils
Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel

IFT6251 : Sujets spéciaux en génie logiciel

Observatoire des discriminations Avril Olivier, Gérard et Mohammed ont-ils les mêmes chances de faire carrière?

Nom Prénom chapter. Repas seul

Programme : «Les objets de la ville intelligente»

N 252 ASSEMBLÉE NATIONALE

Extensions à la formation. Laurent Pérochon, avril 2008, RMT Modelia, modélisation conceptuelle, formation UML, INRA Castanet Tolosan

Université Rennes 2 Université de Rennes 1 Rennes Métropole. Délégation de l Université Laval - Québec. Rennes - 24 au 28 juin 2012.

Canevas de développement agile pour l'évolution fiable de systèmes logiciels à composants ou orientés services

Canevas de développement agile pour l'évolution fiable de systèmes logiciels à composants ou orientés services

Curriculum Vitae 1 er février 2008

Auto-explication des Chorégraphies de Services

openarchitectureware & transformation de modèle Yannick Lizzi Architecte Logiciel itemis France Mail: lizzi@itemis.de

Architecture d'entreprise : Guide Pratique de l'architecture Logique

MASTER 2 PROFESSIONNEL. Génie Logiciel, Logiciels Répartis et Embarqués

Les nouvelles architectures des SI : Etat de l Art

Service innovation, R&D, développement industriel. Chambre de commerce et d industrie. 191 avenue Paul Vaillant Couturier.

DIPLOME D ACCES AUX ÉTUDES UNIVERSITAIRES

Oracle Fusion Middleware Concepts Guide 11g Release 1 (11.1.1) Figure 1-1 Architecture Middleware

Système d administration autonome adaptable: application au Cloud

Rentrée du Barreau de Paris et de la Conférence du Stage 2005

Environnement logiciel basé sur les modèles pour la conception collaborative de produit

Élasticité des applications à base de services dans le Cloud

Valorisez vos actifs logiciels avec Rational Asset Manager. Jean-Michel Athané, Certified IT Specialist IBM Rational Software

SOLIDARITÉS NUMÉRIQUES

Faculté de droit PROGRAMME

Formation Méthode MDM. Architecture et procédés de modélisation des données de référence

IFT2255 : Génie logiciel

Diplôme Universitaire de Préparation physique. Centre d'expertise de la Performance G. Cometti Dijon

Génie logiciel (Un aperçu)

L INRIA, institut français des STIC. (en Île-de-France) 24 septembre 2009

N 1189 ASSEMBLÉE NATIONALE PROPOSITION DE LOI

N 711 ASSEMBLÉE NATIONALE

Catalogue de Pattern pour le CSCW

Pour chaque projet est indiqué son titre, le ou les laboratoires participants ainsi que le coordinateur

Description de la formation

EXTRAIT DU REGISTRE DES DELIBERATIONS DU CONSEIL MUNICIPAL

«Les enjeux de Big Data dans le domaine de la santé publique - Regards partagés entre politique, médecine, droit et éthique»

L Orchestration de Services Web avec Orchestra. Goulven Le Jeune Orchestra Project Manager

Etat de l art sur le développement logiciel dirigé par les modèles.

Partager et identifier vos besoins

La démarche MDA. Auteur : Projet ACCORD (Assemblage de composants par contrats en environnement ouvert et réparti)*

Appel à communication Colloque. 16 et 17 octobre 2014

Ingénierie des Modèles. Méta-modélisation

Semestre HPC. Violaine Louvet. Institut Camille Jordan - CNRS louvet@math.univ-lyon1.fr. Labex MILyon, Printemps 2016

Exécution de processus

Analyse,, Conception des Systèmes Informatiques

Bulletin d'information #2 JDEV 2013, septembre, Ecole polytechnique

JOURNÉES PARIS 2006 AVIGNON MARS 2007

Solutions industrielles pour l ingénierie des systèmes complexes

COMPOSITION DU BUREAU DE LA CHAMBRE RÉGIONALE suite à l assemblée générale d installation du 18 novembre 2010

Thales Services, des systèmes d information plus sûrs, plus intelligents

Gouvernance IT : par où commencer? Hubert Lalanne DE, Chief Architect for Industries IBM Software France

SYMPOSIUM Enseignement supérieur, Recherche, Innovation La coopération franco-chinoise en mouvement. Pékin, 19 et 20 juin 2014

Elasticité logicielle pour optimiser l empreinte énergétique

APPROCHES RISQUE OPERATIONNEL COLLOQUE DE RECHERCHE. Ecole reconnue par l Etat - Diplôme Bac+5 Visé - Créée en 1961

Générer du code à partir d une description de haut niveau

Projet de développement

basée sur le cours de Bertrand Legal, maître de conférences à l ENSEIRB Olivier Augereau Formation UML

LISTE DES ENTREPRISES BENEFICIANT DU DROIT D USAGE DE LA MARQUE «UN HABITAT FACILE A VIVRE»

ÉdIteur officiel et fournisseur de ServIceS professionnels du LogIcIeL open Source ScILab

Rencontres. Propos d accueil. Animation des débats : Benoît MARTIN Rédacteur en chef News Assurances Pro. Didier LEGRAND Directeur général MutRé

Jérémy Dubus. Une démarche orientée modèle pour le déploiement de systèmes en environnements

Exécution de processus

Comment accélérer la transition?

L Intelligence Économique

SAMCEP PRÉ-PROGRAMME. Congrès L ESTHÉTIQUE AU MASCULIN. Hôtel Royal Riviera, Saint-Jean-Cap-Ferrat

Configuration Interface for MEssage ROuting

Classeur de suivi de l auditeur. Architecture et Ingénierie des Systèmes et des Logiciels

Equipe «Sécurité, Fiabilité, Intégrité, de l Information et des Systèmes»

WEB15 IBM Software for Business Process Management. un offre complète et modulaire. Alain DARMON consultant avant-vente BPM

Qu'est-ce que le BPM?

Colloque parrainé par le Ministère MIPMEPI et organisé le Mai 2011 Hôtel EL-RIADH Sidi Fredj - Algérie

1 Actuate Corporation de données. + d analyses. + d utilisateurs.

p r o g r a m m e Ateliers de la Filière Automobile les 2 et 3 octobre 2013 Espace Cap 15, 13 Quai de Grenelle - Paris 15 ème

EXAMEN PROFESSIONNEL D ADJOINT TECHNIQUE DE 1ERE CLASSE Spécialité «Bâtiment, Travaux Publics, Voirie, Réseaux Divers»

THESE. DOCTORAT EN SCIENCES APPLIQUEES Spécialité : Informatique

INAUGURATION Labex SIGNALIFE 30 Avril 2013

Chapitre I : le langage UML et le processus unifié

Vérifica(on et Valida(on de Business Process. Ang Chen et Levi Lúcio

Adaptabilité d un MOOC aux styles d apprentissage. Hubert Kadima Directeur de Recherche LARIS/EISTI hubert.kadima@eisti.fr

EN ETAT D'IMMEUBLE (REVETEMENT SOL ET MUR) AUPRÈS DES PARTI MR BORAU JEAN-YVES VIC EN BIGORRE SALON DE COIFFURE MIXTE.

Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel

Journée Scientifique Onera

MODELISATION UN ATELIER DE MODELISATION «RATIONAL ROSE»

lun. 21 sept dim. 27 sept Mercredi 23/09/2015 M2 Info

21, 22 & 23 octobre 2008

EXTRAIT DU REGISTRE DES DELIBERATIONS DU CONSEIL MUNICIPAL

Plan de cours ADM 992C Page 1. École des sciences de la gestion Département de management et technologie Université du Québec à Montréal

Copyright 2012 EMC Corporation. All rights reserved. EMC FORUM PARIS Carrousel du Louvre

Démarches d urbanisation : réorganiser le Système d Information en structurant ses fonctions dans des blocs fonctionnels communicants.

THÈSE. Une Approche de Composition des Services Web Basée Transformation de Graphes

Écoute. Coopérative. Partenaire régional. Projets. Service. Engagement. Conseil. Proximité. Chiffres. Innovation. Territoire. Clés. Mutualisme.

Calculer avec Sage. Revision : 417 du 1 er juillet 2010

L organisation professionnelle

L Intelligence Économique

FORUM DE LA VOIP ET DE LA CONVERGENCE

Equipe de campagne. Mardi 4 juin 2013 Jolis Mômes (9 e ) Directeurs de campagne

Transcription:

Infos Pratiques Wi i Le mot de passe change tous les jours mardi 7 juin lipolo2y mercredi 8 juin jeudi 9 juin vendredi 10 juin 2ywimira qocykoja tariz0hy Le réseau est protégé par WPA-PSK ce qui assure la confidentialité des transmissions. Le mot de passe est changé tous les jours. Les machines connectées sur PolytechGuests reçoivent leurs coordonnées IP par l'intermédiaire de DHCP sans déclaration préalable. L'utilisation explicite d'un mandataire web n'est pas indispensable (détection automatique ou utiliser proxy.polytech-lille.fr). Avant de pouvoir utiliser Internet, il est impératif de se connecter à une page web quelconque (http://www.polytech-lille.fr par exemple). Une page web s'affiche alors présentant la charte d'utilisation de ce réseau Wifi. Il faut l'accepter pour pouvoir utiliser Internet par la suite. Amphis Il vous est demandé de ne pas manger ni boire dans les amphis. Merci. Programme Retrouvez le programme en détails : http://www.lifl.fr/idm-gpl/pier/programs Repas de midi Où : au RU Barrois. C est un self-service. Vous pouvez prendre 1 plat principal, 3 périphériques et une boisson. N oubliez pas votre ticket repas que vous devez remettre enfin de chaîne. Y aller : suivre la ligne de métro en marchand en dessous jusqu'à voir le RU Barrois sur votre droite (immédiatement après la station Cité Scientifique ) En revenir : suivre la ligne de métro dans l autre sens jusqu'à voir Polytech sur votre droite. Laisser son sac/portable : Les amphis seront fermés pendant les repas. Vous pouvez y laisser vos affaires, mais soyez quand même prudent (Les organisateurs ne pourront pas être tenu pour responsable en cas de problèmes). Métro Dernier métro peu après minuit! Evénement social Visite guidée de Lille mercredi 8 juin. Départ : 18h30 devant l office du tourisme de Lille, Palais Rihour. Arrivée : Devant le couvent des Minimes pour le gala Y aller : Métro Rihour (métro ligne 1, descendre station Rihour)

Mardi 7 juin CAL IDM IDM 8h30 9h00 Accueil 9h00 10h30 Workshop RCS2 Aziza Sabri, Laila Kjiri VERS UNE APPROCHE À BASE DE COMPOSANTS POUR LA CONCEPTION DES SYSTÈMES D'INFORMATIONS DÉCISIONNELS: EXISTANT ET PERSPECTIVES Sonia Yassa, Hubert Kadima NÉGOCIATION DYNAMIQUE DES SERVICES FONDÉE SUR LE SLA DANS UN CLOUD Peio Loubière, Florent Devin, Yannick Le Nir EVOLUTION GÉNÉRIQUE D'UNE APPLICATION WEB Session composition PRÉSIDENT : JULIEN DEANTONI, INRIA Christian Brel, Sebastien Mosser VERS UNE APPROCHE FLOT DE DONNÉES POUR SUPPORTER LA COMPOSITION D'INTERFACES HOMME MACHINE Cauê Clasen, Frédéric Jouault, Jordi Cabot VIRTUAL COMPOSITION OF EMF MODELS Julien Bigot, Christian Pérez ON MODEL- DRIVEN ENGINEERING TO IMPLEMENT A COMPONENT ASSEMBLY COMPILER FOR HIGH Démos d'outils 1 PRÉSIDENT : ANNE ETIEN, LIFL Olivier Caron, Bernard Carre and Gilles Vanwormhoudt BIBLIOTHÈQUE DE PATTERNS VIA DES TEMPLATES DE MODÈLES. ATELIER UML ÉTENDU SOUS ECLIPSE Clément Quinton, Christophe Demarey, Nicolas Dolet and Laurence Duchien APPLIDE : MODÉLISATION ET GÉNÉRATION D'APPLICATIONS POUR SMARTPHONES SPÉCIFIQUE PERFORMANCE COMPUTING 10h30 11h00 Pause 11h00 12h30 Workshop RCS2 - (Table Ronde) EVOLUTION DU PRINCIPE DE RÉUTILISATION ENTRE OBJET, COMPOSANT, SERVICES ET CLOUD SERVICES Applications PRÉSIDENT : SÉBASTIEN GÉRARD, CEA Carlos Gomez, Julien Deantoni and Frédéric Mallet SEMANTIC MULTI-VIEW MODEL FOR LOW-POWER Mickael Kerboeuf, Alain Plantec and Jean-Philippe Babau AN EXPERIMENT OF A MDE APPROACH FOR THE DESIGN OF REUSABLE DSL TOOLS Marc Palyart HPCML - UN LANGAGE DÉDIÉ AU CALCUL SCIENTIFIQUE Démos d'outils 2 PRÉSIDENT : ANNE ETIEN, LIFL Areski Flissi and Gilles Vanwormhoudt CONCEPTION DE SERVICES TÉLÉCOMS : UNE APPROCHE IDM À BASE D'ACTEURS, SESSIONS ET RÔLES Olivier Moïses LE PROJET WAZAABI: UN INTERPRÉTEUR DE MODÈLES EMF D'UI ET UN MOTEUR DE DATABIDING DÉCLARATIF CAL IDM IDM

CAL IDM IDM 12h30 14h00 Repas RU Barrois 14h00 15h30 Ouverture et session 1 - Table ronde Fadila Aoussat, Mourad Oussalah and Mohamed Ahmed Nacer MÉTAMODÉLISATION ARCHITECTURALE DE PROCÉDÉS LOGICIELS Victor Noel and Jean-Paul Arcangeli FRAMEWORKS, ARCHITECTURES ET COMPOSANTS : REVISITER LE DÉVELOPPEMENT DE SYSTÈMES MULTI-AGENTS Mariam Lahami, Moez Krichen and Mohamed Jmaiel A DISTRIBUTED TEST ARCHITECTURE FOR ADAPTABLE AND DISTRIBUTED REAL-TIME SYSTEMS Models@Runtime PRÉSIDENT : OLIVIER BARAIS, IRISA Diana Moreno Garcia and Elmehdi Damou MODEL-DRIVEN EXECUTION OF SERVICE-BASED APPLICATIONS Eric Cariou, Cyril Ballagny, Alexandre Feugas and Franck Barbier UNE APPROCHE DE VÉRIFICATION D'EXÉCUTION DE MODÈLES PAR CONTRATS Transformations et Langages PRÉSIDENT : XAVIER BLANC, LABRI Bacha Firas, Kathia Oliveira and Mourad Abed TRANSFORMATION DES MODÈLES DE BPMN VERS UIML Vanea Chiprianov, Yvon Kermarrec and Siegfried Rouvrais PRACTICAL (META-)MODEL EXTENSION FOR MODELING LANGUAGE PROFILES. AN ENTERPRISE ARCHITECTURE MODELING LANGUAGE EXTENSION FOR TELECOMMUNICATIONS SERVICE CREATION Clément Guy, Steven Derrien, Benoît Combemale and Jean-Marc Jezequel VERS UN RAPPROCHEMENT DE L'IDM ET DE LA COMPILATION 15h30 16h00 Pause 16h00 17h00 Session 2 Meriem Benhaddi, Karim Baïna and El Hassan Abdelwahed ALIGNEMENT DU MASHUPING ET DES TECHNIQUES D'ORCHESTRATION DES SERVICES Emna Fki, Chantal Soulé Dupuy, Said Tazi and Mohamed Jmaiel VERS UNE COMPOSITION DE SERVICES BASÉE SUR LES PATRONS DE SERVICES Models@Runtime Faiez Zalila, Xavier Crégut and Marc Pantel APPROCHE TRANSPARENTE POUR LA VÉRIFICATION DES MODÈLES MÉTIERS Alexandre Feugas, Sébastien Mosser, Anne-Françoise Le Meur and Laurence Duchien DÉTERMINER L'IMPACT D'UNE ÉVOLUTION DANS LES PROCESSUS MÉTIERS Processus PRÉSIDENT : JEAN-MICHEL BRUEL, IRIT Bernard Coulette, Eric Kedji, Mahmoud Nassar and Redouane Lbath VERS UN MÉTA-MODÈLE POUR LA DESCRIPTION DES PROCESSUS IDM COLLABORATIFS Emmanuelle Rouillé, Benoît Combemale, Olivier Barais, David Touzet and Jean-Marc CAL IDM IDM

CAL IDM IDM 17h00 17h30 17h30 18h30 ET DIRIGÉE PAR LES INTENTIONS Anne-Lise Courbis, Thomas Lambolais, Hong-Viet Luong and Than-Liem Phan ANALYSE DE L'INTEROPÉRABILITÉ ET DE LA CONFORMITÉ D'ARCHITECTURES LOGICIELLES Nour Aboud, Eric Cariou and Eric Gouarderes TOWARDS A COMPONENT AGENT SERVICE ORIENTED MODEL Jézéquel BRIDGING THE GAP BETWEEN SOFTWARE PROCESS AND SOFTWARE DEVELOPMENT Assemblée Générale de l'action IDM 18h30 20h45 Cocktail Dinatoire - Hall de Polytech CAL IDM IDM Revenir en haut de la page

Mercredi 8 juin CAL IDM IDM GDR GPL GDR GPL 8h00 8h30 Accueil 8h30 9h00 Accueil Ouverture des Journées Jean-Christophe Camart, Directeur de Polytech' Lille Isam Sharour, Vice-président recherche de Lille 1 David Simplot-Ryl, Directeur du centre de recherche INRIA-Lille Nord Europe Sophie Tison, directrice du LIFL Laurence Duchien (LIFL, Université Lille 1, INRIA Nord-Europe) Yves Ledru, directeur du GDR GPL 9h00 10h30 Session 3 Nadira Benlahrache, Faiza Belala and Kamel Barkaoui DESCRIPTION FORMELLE DU DÉPLOIEMENT D'ARCHITECTURES AADL BASÉE SUR LES SYSTÈMES RÉACTIFS BIGRAPHIQUES Chouki Tibermacine and Mohamed Lamine Kerdoudi MIGRATION D'APPLICATIONS À BASE DE COMPOSANTS WEB EN SERVICES ET ORCHESTRATION DE SERVICES WEB Mohamed Tahar Bhiri, Mourad Kmimech and Conférence Tom Mens Service de Génie Logiciel, Institut d'informatique, Faculté des Sciences, Université de Mons, Belgique Analyse de l'évolution des aspects sociaux dans les projets logiciels CAL IDM IDM GDR GPL GDR GPL

CAL IDM IDM GDR GPL GDR GPL Mohamed Graiet DE WRIGHT VERS ADA Mustapha Hain, Abdelaziz Marzak and Bernard Coulette VERS UNE DÉMARCHE POUR LE DÉVELOPPEMENT DE PIM À BASE DE COMPOSANTS MULTIVUE 10h30 11h00 Pause et Posters 11h00 12h30 Conférence Didier Donsez Polyetch Grenoble - Université Joseph Fourier - Grenoble 1 Vertus et vices de la plateforme dynamique de services OSGi Vérification et Validation 1 PRÉSIDENT : ROLAND GROZ, ENSIMAG Cyril Faucher, Samnang Chea, Frédéric Bertrand, Jean-Yves Lafaye VALIDATION SÉMANTIQUE D'OBJETS A L'AIDE D'UN MODÈLE DE RÉFÉRENCE ET DE CONTRAINTES André, Gilles Ardourel, Mohamed Messabihi VÉRIFICATION DE CONTRATS LOGICIELS À L'AIDE DE TRANSFORMATIONS DE MODÈLES Amphi Chappe Session GT RIMEL Jannik Laval, Usman Bhatti, Nicolas Anquetil, and Stéphane Ducasse SOFTWARE MAINTENANCE ANALYSIS AND UNDERSTANDING OF THE SOFTWARE STRUCTURE Simon Allier, Salah Sadou, Houari A. Sahraoui, Régis Fleurquin D'UNE APPLICATION ORIENTÉE OBJET VERS UNE APPLICATION À BASE DE COMPOSANTS VIA UNE ARCHITECTURE À BASE DE Session GT Compilation - (2 présentations) PRÉSIDENT : LAURE GONNORD Fabien Coelho, François Irigoin COMPILING FOR A HETEROGENEOUS VECTOR IMAGE PROCESSOR Julien Henry ANALYSE STATIQUE DE PROGRAMME PAR INTERPRÉTATION ABSTRAITE COMPOSANT Tom Mens, Benoît Vanderose, Leandro Doctors, and Flora Kamseu ETUDES CAL IDM IDM GDR GPL GDR GPL

CAL IDM IDM GDR GPL GDR GPL EMPIRIQUES SUR LA QUALITÉ D'UN LOGICIEL LORS DE SON ÉVOLUTION? L'APPROCHE MOCQA 12h30 14h00 Repas RU Barrois 14h00 15h30 Session 4 Rabah Mokhtari, Allaoua Chaoui and Mohamed Redha Bahri TRANSFORMATION DES ARCHITECTURES LOGICIELLES DYNAMIQUES VERS DES DOCUMENTS XML EN UTILISANT ATOM3 Ahmed Harbouche, Abdellah Kouider el Ouahed and Hamid Azzoune DÉVELOPPEMENT DE SYSTÈMES MULTI- AGENTS PAR TRANSFORMATION DE MODÈLES Suzy Temate, Alain Tchana, Laurent Broto and Daniel Hagimont UNE APPROCHE DE HAUT NIVEAU POUR GÉNÉRER DES Conférence Roberto di Cosmo Laboratoire PPS, Université de Paris VII Le défi des distributions de Logiciels Libres CAL IDM IDM GDR GPL GDR GPL

CAL IDM IDM GDR GPL GDR GPL EDITEURS GRAPHIQUES DE LANGAGE DÉDIÉS Sébastien Limet, Sophie Robert and Ahmed Turki CONSTRUCTION AUTOMATIQUE D'APPLICATIONS DE VISUALISATION SCIENTIFIQUE INTERACTIVES SOUS CONTRAINTES DE COHÉRENCES Session Posters/Démos et Pause café 15h30 16h00 Pause et Posters Pascal André, Mohamed Messabihi and Gilles Ardourel COSTO / KMELIA : A PLATFORM TO SPECIFY AND VERIFY COMPONENT AND SERVICE SOFTWARE Julien Cohen, Akram Ajouli and Rémi Douence PROGRAM TRANSFORMATION BASED VIEWS FOR MODULAR MAINTENANCE 16h00 16h30 Clôture de CAL - Vérification et Validation 2 PRÉSIDENT : THOMAS LAMBOLAIS, ECOLE DE MINES D'ALES Valerio Cosentino, Guillaume Doux, Patrick Albert, Gabriel Barbier, Jordi Cabot, Marcos Movida PRÉSIDENT : XAVIER LE PALLEC, LIFL Marie Gouyette, Olivier Barais, Jérôme, Lenoir, Cédric Brun, Marcos Almeida Da Silva, Xavier Blanc and Jean-Marc Antoine Beugnard and Ali Hassan CLOUD COMPONENTS FOR HIGHLY DISTRIBUTED ENVIRONMENTS Diana Allam, Herve Grall and Jean-Claude Royer TOWARDS A UNIFIED FORMAL MODEL FOR SERVICE ORCHESTRATION AND CHOREOGRAPHY Vanea Chiprianov, Yvon Kermarrec and Siegfried Rouvrais CONSTRUCTION COLLABORATIVE DE SERVICES DE TÉLÉCOMMUNICATIONS: UN PROCESSUS DIRIGÉ PAR LES MODÈLES POUR LA GÉNÉRATION D'OUTILS Hall Polytech CAL IDM IDM GDR GPL GDR GPL

CAL IDM IDM GDR GPL GDR GPL Didonet Del Fabro and Scott Lee UNE APPROCHE DE MDE POUR LA RÉSOLUTION DE PROBLÈMES DE Jezequel MOVIDA STUDIO: A MODELING ENVIRONMENT TO CREATE VIEWPOINTS AND MANAGE VARIABILITY IN VIEWS Table Ronde Libre et open source, tendances, enjeux et impacts pour la recherche et l'économie numérique 16h30 17h30 CONFIGURATION : UNE APPLICATION À LA PLATE-FORME ECLIPSE Marie De Roquemaurel, Jean-Paul Bodeveix and Mamoun Filali-Amine RÉÉCRITURE DE CONTRAINTES OCL Amine Raji and Philippe Dhaussy MODÈLES ORIENTÉS UTILISATEURS POUR LA VÉRIFICATION animateurs : Franck Barbier participants : François Letellier Consultant indépendant - logiciel open source et innovation ouverte Roberto di Cosmo Laboratoire PPS, Université de Paris VII François Mérand Microsoft Alliance, National Practice Leader at Sogeti FORMELLE EN CONTEXTE 17h30 18h00 INDUSTRIEL Amphi Chappe réunion LMO 18h00 18h30 Visite guidée de Lille 18h30 20h00 Départ : place Rihour, arrivée : Couvent des Minimes 20h00 23h59 Repas de Gala, Couvent des Minimes, Lille CAL IDM IDM GDR GPL GDR GPL Revenir en haut de la page

Jeudi 9 juin GDR GPL GDR GPL 8h30 9h00 Accueil Conférence 9h00 10h30 10h30 11h00 Cédric Fournet Microsoft Research Modèles et outils pour la vérification de programmes utilisant la cryptographie Pause et Posters 11h00 12h30 Session GT IDM Thierry Millan et Agusti Canals L'INGÉNIERIE DIRIGÉE PAR LES MODÈLES : OÙ EN EST-ON? Ileana Ober, Sébastien Gérard MODELING WIZARDS: ÉCOLE D'AUTOMNE DÉDIÉE À LA MODÉLISATION Reda Bendraou, Marcos Aurélio Almeida da Silva, Xavier Blanc and Marie-Pierre Gervais EARLY DEVIATION DETECTION IN MODELING ACTIVITIES OF MDE PROCESSES Session GT LTP Thomas Jensen, Florent Kirchner, et David Pichardie SPÉCIFICATION ET VALIDATION DES POLITIQUES DE COPIES D'OBJET Paolo Herms, Claude Marché, and Benjamin Monate A CERTIFIED WEAKEST PRECONDITION CALCULUS Pierre Castéran, Vincent Filou, Allyx Fontaine PREUVES FORMELLES DE SYSTÈMES DE CALCULS LOCAUX 12h30 14h00 Repas RU Barrois Discussions 14h00 15h00 Discussion avec Jean-Pierre Cocquerez sur les évolutions et actions de l'ins2i. Présentation par Yves Ledru des actions en cours dans le GDR GPL GDR GPL GDR GPL

GDR GPL GDR GPL 15h00 16h00 Pause, Posters et Démonstrations 16h00 17h30 Session GT AFSEC Albert Benveniste, Timothy Bourke, Benoît Caillaud, and Marc Pouzet DIVIDE AND RECYCLE: TYPES AND COMPILATION FOR A HYBRID SYNCHRONOUS LANGUAGE Sandie Balaguer, Thomas Chatain, Stefan Haar BUILDING TIGHT OCCURRENCE NETS FROM REVEALS RELATIONS Euriell Le Corronc, Bertrand Cottenceau et Laurent Hardouin FLOW CONTROL WITH (MIN,+) ALGEBRA Session GT COSMAL Damien Cassou, Emilie Balland, Charles Consel, Julia Lawall FAIRE LEVIER SUR LES ARCHITECTURES LOGICIELLES POUR GUIDER ET VÉRIFIER LE DÉVELOPPEMENT D'APPLICATIONS SCC Gwenaël Delaval et Éric Rutten MODÈLES RÉACTIFS POUR LE CONTRÔLE DE RECONFIGURATION DANS LE MODÈLE À COMPOSANTS FRACTAL Sébastien Mosser, Gunter Mussbacher, Mireille Blay-Fornarino et Daniel Amyot UNE APPROCHE ORIENTÉ ASPECT ALLANT DU MODÈLE D'EXIGENCES AU MODÈLE DE CONCEPTION 17h30 19h30 Réunion des comités GDR GPL GDR GPL Revenir en haut de la page

Vendredi 10 juin GDR GPL GDR GPL COSMAL 8h00 8h30 8h30 9h00 Accueil Accueil Session de présentations 1 PRÉSIDENT : CHOUKI TIBERMACINE 9h00 10h30 Session GT Forwal PRÉSIDENT : OLGA KOUCHNARENKO Iovka Boneva, Anne-Cécile Caron, Benoît Groz, Yves Roos, Slawek Staworko, Sophie Tison VUES DE SÉCURITÉ POUR DOCUMENTS XML Y. Boichut, J.-M. Couvreur, D. Nguyen SYSTÈMES DE RÉÉCRITURE FONCTIONNELS POUR LE MODEL-CHECKING SYMBOLIQUE Session GT MTV2 Johan Oudinet(6), Alain Denise, Marie-Claude Gaudel, Richard Lassaigne, and Sylvain Peyronnet EXPLORATION UNIFORME DE MODÈLES: APPLICATION AU MODEL-CHECKING DE FORMULES LTL Sébastien Bardin, Philippe Herrmann, and Franck Védrine REFINEMENT-BASED CFG RECONSTRUCTION FROM EXECUTABLES Frédéric Dadeau, Pierre-Cyrille Héam, Rafik Kheddam GÉNÉRATION DE TESTS À PARTIR DE MUTATIONS DE PROTOCOLES DE SÉCURITÉ EN HLPSL Huu Nghia Nguyen, Pascal Poizat, Fatiha Zaïdi, Philippe Dague TEST PASSIF DE LA CONFORMITÉ DE CHORÉGRAPHIES WS-BPEL Nabil Fakhfakh, Hervé Verjus et Frédéric Pourraz AGRÉGATION D'ATTRIBUTS QUALITÉ POUR LA SUPERVISION DES ORCHESTRATIONS DE SERVICES Zeina Azmeh, Fady Hamoui, Marianne Huchard, Chouki Tibermacine, Maha Driss, Naouel Moha CLASSIFICATION HIÉRARCHIQUE ET SÉLECTION DE SERVICES WEB COMPOSABLE Nicolas Petitprez, Romain Rouvoy et Laurence Duchien MACCHIATO : VERS UN SYSTÈME DE PANIER UNIQUE POUR LE E-COMMERCE 10h30 11h00 Pause Session GT MFDL Session GT LaMHa Session de présentations 2 11h00 12h30 Marie de Roquemaurel, Thomas Polacsek, Jean-Paul Bodeveix, Mamoun Filali ASSISTANCE À LA CONCEPTION DE MODÈLES À L'AIDE DE CONTRAINTES Philippe Dhaussy, Fredéric Boniol, Pierre-Yves Pillain, Yves Le Traon, Benoit Baudry FORMALISATION DE CONTEXTES ET D'EXIGENCES Jean Fortin et Frédéric Gava BSP-WHY: AN INTERMEDIATE LANGUAGE FOR DEDUCTIVE VERIFICATION OF BSP PROGRAMS Frédéric Peschanski PRINCIPES ET PRATIQUES DE LA PROGRAMMATION CONCURRENTE EN PI-CALCUL Chong Li, Gaëtan Hains SGL - Dorel Lucanu, Vlad Rusu SUPPORT FOR FORMAL VERIFICATION OF DOMAIN-SPECIFIC MODELLING LANGUAGES Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer et Mario Sudholt THE SYNTHESIS PROBLEM FOR TRUSTED SERVICE-BASED COLLABORATIONS GDR GPL GDR GPL COSMAL

GDR GPL GDR GPL COSMAL POUR LA VALIDATION FORMELLE DE LOGICIELS EMBARQUÉS Christophe Junke, CRITÈRES DE TESTS POUR LES AUTOMATES DE MODES ET APPLICATION AU LANGAGE SCADE 6 PROGRAMMATION PARALLÈLE HÉTÉROGÈNE ET HIÉRARCHIQUE Elie Fares, Jean-Paul Bodeveix et Mamoun Filali ENVIRONNEMENT DE TRANSFORMATION ET DE VÉRIFICATION DE MODÈLES BPEL 2.0 TEMPORISÉS 12h30 13h00 Clôture Proclamation du meilleur poster Repas 13h00 14h00 Repas RU Barrois RU Barrois 14h00 16h00 Tutoriel sur SCA et FraSCAti Session pratique et démo d'outils Orateur : Philippe Merle 16h00 16h30 16h30 18h00 Pause Session de pratique sur FraSCAti - Dans le cadre de la journée Services, une session de mise en pratique interactive est prévue. Si vous souhaitez effectuer sur votre propre ordinateur les manipulations faites durant la session, vous trouverez à l'adresse http://www.lifl.fr/idm-gpl /pier/gdr/call les informations nécessaire à l'installation de la plateforme FraSCAti ainsi que les artefacts permettant de démarrer le TP. GDR GPL GDR GPL COSMAL

GDR GPL GDR GPL COSMAL PRÉSIDENT : PHILIPPE MERLE 18h00 18h30 Session de démonstrations d'outils GDR GPL GDR GPL COSMAL Revenir en haut de la page

Gala Mercredi 20h00 Couvent des Minimes à Lille. Y aller : Métro Rihour, puis suivre le plan Adresse : 17, Quai du Wault 59000 Lille, France Tel : +33 (0)3 20 30 62 62

Plan du campus