Projet ANR-11-BS BR4CP. Programme Blanc 2011

Dimension: px
Commencer à balayer dès la page:

Download "Projet ANR-11-BS02-008 BR4CP. Programme Blanc 2011"

Transcription

1 Compte-rendu intermédiaire à 24 mois Projet ANR-11-BS BR4CP Programme Blanc 2011 A IDENTIFICATION...3 B LIVRABLES ET JALONS...4 C RAPPORT D AVANCEMENT...5 C.1 Objectifs initiaux du projet...5 C.2 Travaux effectués et résultats atteints sur la période concernée...5 C.3 Difficultés rencontrées et solutions...8 C.4 Faits et résultats marquants C.5 Travaux spécifiques aux entreprises (le cas échéant) C.6 Réunions du consortium (projets collaboratifs) C.7 Commentaires libres D VALORISATION ET IMPACT DU PROJET DEPUIS LE DEBUT D.1 Publications et communications D.2 Autres éléments de valorisation D.3 Pôles de compétitivité (projet labellisés) D.4 Personnels recrutés en CDD (hors stagiaires) D.5 État financier... 18

2 E RAPPORTS D ACTIVITE SCIENTIFIQUE, PAR PARTENAIRE E.1 Cameleon E.2 CRIL E.3 IBM E.4 IRIT E.5 LIRMM E.6 RENAULT

3 A IDENTIFICATION Acronyme du projet Titre du projet Coordinateur du projet (société/organisme) Date de début du projet Date de fin du projet Labels et correspondants des pôles de compétitivité (pôle, nom et courriel du corresp.) Site web du projet, le cas échéant BR4CP Business Recommendation for Configurable Products IRIT Université Paul Sabatier 7 janvier janvier 2015 Label du Pôle Industrie du Commerce (PICOM) Dubois Bruno Rédacteur de ce rapport Civilité, prénom, nom Hélène Fargier Téléphone Courriel Date de rédaction Juin 2013 Période faisant l objet du rapport d activité 7 janvier juillet

4 B LIVRABLES ET JALONS Quand le projet en comporte, reproduire ici le tableau des jalons et livrables fourni au début du projet. Mentionner l ensemble des livrables, y compris les éventuels livrables abandonnés, et ceux non prévus dans la liste initiale. N Intitulé Nature* Prévue initialement Date de fourniture Replanif iée Livrée Partenaires (souligner le responsable) Etat de l art critique sur les système de recommandation Rapport 7/1/13 1/2/13 J. Mengin, IRIT Analyse des besoins Rapport 7/1/13 20/1/13 O. Lhomme, IBM-ILOG Benchmarks (produits configurable) Benchmarks (historiques de ventes) Données (Fichiers en ligne, site BR4CP) Données (Fichiers en ligne, site BR4CP) 7/1/13 25/6/12 J.M. Astesana, Renault 7/1/13 25/6/12 J.M. Astesana, Renault Résultats théoriques Tâche 2 Rapport 7/7/13 3/11/13 J. Mengin, F. Koriche IRIT/CRIL Protocole Expérimental Tâche 5 Fichier en ligne, site BR4CP 7/7/13 7/11/13 H. Fargier IRIT Utilisation d algorithmes de recherche et de propagation pour la configuration. Resultats individuels. experimentaux Rapport 7/1/14 D. Le Berre, CRIL C. Bessiere LIRMM Carte de compilation (Tâche 4) Rapport 7/1/14 S. Coste CRIL Algorithmes de Compilation (Tâche 4) Code source et resultats experimentaux Tâche 2 Code source et resultats experimentaux Tâche 3 Code source et resultats experimentaux Tâche 4 Résultat experimentaux comparatifs (Tâche 5) Rapport 7/7/14 S. Coste CRIL Rapport 7/1/15 J. Mengin F. Koriche Rapport 7/1/15 D. Leberre CRIL Rapport 7/1/15 S. Coste CRIL Rapport 1/1/15 H. Fargier IRIT * jalon, rapport, logiciel, prototype, données, 4

5 C RAPPORT D AVANCEMENT C.1 OBJECTIFS INITIAUX DU PROJET. L'objectif du projet BR4CP est d'explorer comment les configurateurs peuvent conseiller le client et l'orienter dans ses choix, comme le font les systèmes de recommandation, mais sans perdre leur capacité à travailler sur des domaines combinatoires. Ce qui permettra à la fois de faire de la configuration dirigée par les préférences, ou du filtrage collaboratif en configuration, et de construire des systèmes de recommandation offrant l'interactivité des configurateurs. Scientifiquement, l'originalité du projet repose sur deux idées maîtresses : d'une part l'utilisation de techniques d'apprentissage pour la résolution de problèmes combinatoires ; d'autre part le recours à des approches du problème par compilation non seulement du catalogue ou des indicateurs clients, mais aussi du modèle de recommandation. Le projet BR4CP vise à développer pleinement la fonction conseil et la prise en compte des préférences client dans les systèmes orientés configuration, qu'il s'agisse de configuration B2B " classique " (configuration d'objets techniques) ou d'exploration interactive d'un catalogue en B2C (de type " preferencebased search " ou exploration interactive). Pour ce, il se propose de mettre en commun les acquis des deux types de systèmes en étudiant conjointement techniques d'apprentissage, de filtrage collaboratif et de compilation et/ou de propagation de préférences. C.2 TRAVAUX EFFECTUES ET RESULTATS ATTEINTS SUR LA PERIODE CONCERNEE Maximum 1 page. Travaux et résultats obtenus pendant la période concernée, conformité de l avancement des travaux avec le plan initialement prévu. Prévision de travaux pour la (les) prochaine(s) période(s). En ce qui concerne l avancement, toutes les tâches ont débuté comme prévu. La tâche 1 (terminée) contenait plusieurs sous tâches. Un état de l art des systèmes de recommandation - il a été livré en février Soulignons de plus que des contacts ont été pris avec des membres de la communauté des systèmes de recommandation (A. Boyer et A. Brun - LORIA, E. Negre - LAMSADE) et celle des Software Product Lines (A. Hubaux FUND Namur) Un rapport d analyse de besoins, livré en janvier Après un recensement des limitations de la technologie actuelle, nous avons identifié de nombreuses voies d'amélioration des systèmes de configuration. Nous avons synthétisé les différents besoins sous la forme d'une structure matricielle hiérarchique, qui se remplira au fur et à mesure de l'avancée des travaux réalisés par les partenaires au cours de ce projet. Nous avons rédigé un rapport d'analyse des besoins qui résume les principaux besoins que les partenaires du projet ont rencontrés dans leurs développements précédents d'applications ou d'outils de configuration. Il a été livré en janvier La constitution de jeux d essai ; Renault a fourni trois benchmarks de produits configurables ainsi que des historiques de vente. Les benchmarks fournis par Renault ont été exprimés au format XCSP 1 utilisé par de nombreux prouveurs CSP académiques. 5

6 Ce livrable a été mis en ligne sur le site du projet en janvier En ce qui concerne la tâche 2 (Apprentissage), nous avons recherche : développé plusieurs axes de L'apprentissage de préférences représentées par des GAI-décompositions (ou encore CSP valués). Nous avons étudié la VC dimension de ce problème et montré que l'on peut calculer une GAI décomposition de structure la plus simple possible expliquant un ensemble de comparaisons entre objets en résolvant un problème d'optimisation linéaire L'apprentissage actif de CSP. Nous avons étudié une méthode permettant d'apprendre un CSP en parcourant par une méthode de type branch and bound les solutions partielles possibles, et soumettant au modélisateur du CSP ces instances partielles. Nous avons également proposé une technique d acquisition rapide des contraintes basée sur un des requêtes partielles et qui assure une convergence polynomiale en nombre de requêtes. L apprentissage de CP-Net acycliques non séparables. Nous proposons de transformer les exemples en contraintes sur les tables à apprendre lorsque la structure du CP-net cible est connue, généralisant ainsi nos travaux antérieurs sur l'apprentissage de CP-nets séparables. Nous avons d autre part proposé une extension des CP-nets permettant de représenter des préférences entre objets de types variés liés entre eux par des relations diverses La recommandation de choix à l utilisateur en fonction de ses choix précédents dans un configurateur et d un historique de vente. Nous avons testé l'utilisation de classifieurs bayésiens naïfs sur la base de d historiques de configuration de voitures fournie par Renault Des CP-nets probabilistes. Nous avons étendu le formalisme des CP-nets à la prise en compte de probabilité sur des ordres capturant une incertitude sur les préférences de l utilisateur et étudié les problèmes de dominance et d'optimisation dans ces «CP-nets probabilistes». Nous travaillons actuellement à l apprentissage de CP-nets probabilistes (une algorithmique a été proposée et son implémentation est en cours). Le généralisation des contraintes/préférences acquises : ce travail en cours aborde la notion de requête de généralisation basée sur des regroupements de variables. Cette nouvelle dimension permet de généraliser chaque contrainte/préférence apprise sur des variables de même «type». Ceci réduit drastiquement le nombre de requêtes posées à l utilisateur. La tâche 3 contient plusieurs sous tâches. Utilisation de moteurs de propagation et de recherche académiques SAT et CSP pour la configuration en ligne (sous tâches 3.1.A et 3.A). Cette tâche avance normalement ; une première approche basée sur l'utilisation d'un prouveur SAT incrémental (Sat4j) pour le calcul de littéraux impliqués permet d'effectuer en ligne de commande la configuration interactive des problèmes fournis pas Renault, avec remise en cause des choix précédents. Une seconde approche de la même fonctionnalité mais fondée sur la maintenance de la cohérence globale inverse dans les CSP a été développée ; nous avons obtenus de premiers résultats (théoriques et expérimentaux), et un prototype pleinement fonctionnel. Enfin, vous avons entamé l étude du maintient du prix minimum de la 6

7 configuration courrante (basée sur Sat4j). Algorithmes de dépropagation et résolution interactive application au logiciel Cameleon software (sous-tâche 3.1.B). Cette tâche avance normalement. Nos premiers résultats concernant la maintenance de valeurs alternatives ont été confirmés et une analyse de la problématique de la configuration de sous produits optionnels ont été présentés lors des réunions de janvier et juin La thèse Cifre correspondant à cette tâche est en cours de rédaction. Utilisation du moteur CPLEX pour la configuration en ligne (sous-tâche 3.B) : IBM a abordé dans cette tâche la modélisation en CP du problème de configuration; Nous avons obtenu des résultats intéressants permettant d'améliorer grandement l'efficacité de constructions très souvent présentes en configuration. La tâche 4 est partagée en 3 sous-tâches. La première tâche (4.1 «Identification et évaluation des langages cibles») s'est terminée en juin Les points suivants y ont été traités. La compilation de préférences sous la forme de diagrammes de décision valués (thèse de N. Schmidt, IRIT/CRIL). Nous avons proposé et étudié ces langages de manière algébrique et montré que certaines conditions simples (la structure doit être un monoïde) garantissent l'existence d'une forme canonique (à l'instar des OBDDs utilisés dans le cas booléen). Le conditionnement et l'optimisation sont réalisables en temps polynomial pour les formules de ces langages, ce qui est essentiel pour les applications visées. Nous avons entamé la construction d une carte de compilation des diagrammes de décision valués «classiques» (ADD, AADD, SLDD+ et SLDDx). La définition et l'étude d'un nouveau formalisme, les arbres de décision affines étendus, pour la représentation de fonctions booléennes. Nous avons montré que ce langage permet, en temps polynomial, le comptage des modèles de la formule représentée. La conception d'un cadre générique et abstrait permettant la comparaison de formalismes pour la représentation des connaissances, en particulier les langages cibles utilisés en compilation de connaissances. Il s'agit de pouvoir comparer sur des bases formelles des langages qui ne partagent pas la même sémantique, ce que le cadre utilisé jusqu'ici ne permet pas. La carte de compilation booléenne. Nous avons mis à profit les derniers mois pour travailler sur la carte de compilation et rédiger le livrable de cette sous-tâche. Les sous-tâches 4.2 («Algorithmes de compilation») et 4.3 («Exploitation des formes compilées : filtrage coopératif, évaluation des critères en ligne et propagation des préférences») sont commencées et ont avancé sur les points ci-dessous. La construction d un compilateur de CNF en arbre de décision affine (CNF-to-EADT) qui se révèle particulièrement efficace, comparé à certains compteurs de modèles dédiés (pour certaines instances, le temps de compilations est amorti dès la première requête de comptage de modèles). La construction d un compilateur de CSP valué / réseau bayésien en diagramme de décision valué (AADD, SLDD, ADD). La proposition d une approche de la compilation de bases de connaissances par l'utilisation à la volée de solveurs SAT. Sur les benchmarks fournis par Renault, un encodage des contraintes en CNF à l'aide de «l'order encoding» permet de répondre à 7

8 plusieurs des requêtes utiles en configuration en moins de 0.01s, dans tous les cas. Nous avons entrepris un travail d'étude d'une classe de langages de compilation, à base de graphes et exploitant les symétries possibles entre variables. Nous comptons progresser sur ce travail au semestre prochain et développer un compilateur dédié à certains langages de la classe, puis évaluer ce compilateur. En ce qui concerne la tâche 5, un protocole de comparaison des approches (CSP, PLNE, SAT, Compilation) pour le traitement du problème de la résolution interactive a été proposé. Un protocole de test des algorithmes de recommandation fondé sur les historiques est en cours d élaboration. L ensemble de ces travaux suit d assez près le programme scientifique de la proposition. La second moitié du projet devrait rester conforme avec le planning initial. Cela dit, le protocole d expérimentation que vous avons construit dépasse les objectifs initiaux (plus de requêtes pourraient être traitées) ; nous envisageons de demander une prolongation du projet sur 6 à 12 mois afin d exploiter au mieux ce protocole et fournir un panel complet de résultats expérimentaux. C.3 DIFFICULTES RENCONTREES ET SOLUTIONS Maximum 10 à 20 lignes. Difficultés éventuelles rencontrées et solutions de remplacement envisagées ex : impasse technique, abandon d un prestataire, maîtrise des délais, maîtrise des budgets. Faut-il revoir le contenu du projet? Faut-il revoir le calendrier du projet? Nous avons éprouvé les plus grandes difficultés pour la mise en place de l accord de consortium, le projet d accord proposé par l université Paul Sabatier (tutelle du porteur du projet) et le CNRS partant sur des principes de propriété intellectuelle et de confidentialité opposés à ceux qui avaient été prévus par les partenaires dans la proposition. La solution a été malheureusement de ne prévoir aucun résultat commun avec les partenaires industriels, pour éviter les problèmes de propriété intellectuelle. Le Lirmm, qui avait prévu d'embaucher un post doc (9 mois) sur la tâche 2 n'a pas trouvé de candidat. Ce laboratoire envisage de transformer ce budget en missions pour monter une collaboration avec deux des candidats qui avaient été contactés. D'autre part, Frederic Koriche a obtenu en 2012 une mutation du Lirmm vers le Cril ; son départ a été compensé par l arrivée au Lirmm de Nadjib Lazaar ; suite à ces changement dans leur équipe, le Lirmm a recentré sa contribution à la tâche 2 sur l'apprentissage de contraintes dures plutôt que l apprentissage de préférences comme prévu dans la proposition originale. D autre part, l Irit a embauché un doctorant sur la thématique de l apprentissage de préférences, ce qui n était pas prévu à l origine et fait progresser la tâche 2 par un collaboration forte avec le Greyc (partenaire associé au projet). Ceci mis à part, l'ensemble des travaux suit d assez près le programme scientifique de la proposition. La seconde moitié du projet devrait rester conforme avec le planning initial. Cela dit, le protocole d expérimentation que vous avons construit dépasse les objectifs initiaux (plus de requêtes pourraient être traitées) ; nous envisageons de demander une prolongation du projet 8

9 sur 6 à 12 mois afin d exploiter au mieux ce protocole et fournir un panel complet de résultats expérimentaux. 9

10 C.4 FAITS ET RESULTATS MARQUANTS En quelques lignes pour chaque fait ou résultat marquant. Cet élément pourrait donner lieu à communication, après accord du coordinateur du projet. C.5 TRAVAUX SPECIFIQUES AUX ENTREPRISES (LE CAS ECHEANT) Maximum 10 à 20 lignes par entreprise. Pour chaque entreprise du consortium, décrire les activités dans le projet, en se concentrant sur les apports, collaborations et perspectives liés au projet. Préciser notamment les perspectives d application industrielle ou technologique, de potentiel économique et commercial, d intégration dans l activité industrielle, etc. Entreprise Rédacteur (nom + adresse mél) Cameleon Software J. Amilhastre Apports au projet : 1. Exposé général de problématiques posées par la configuration commerciale interactive (Tâche 1) Exposé des travaux de Cameleon Software menés sur le calcul des valeurs alternatives en configuration (Tâche 3.1.B) 3. Exposé des travaux de Cameleon Software sur l optionalité en configuration et le filtrage dans les composantes optionnelles (Tâche 3.1.B) Perspectives d application industrielle: Les algorithmes proposés dans 2 et 3 pourraient être intégrés à la suite logicielle Cameleon en tant qu évolution des algorithmes existants. Entreprise Rédacteur (nom + adresse mél) IBM-ILOG O. Lhomme Apports au projet: - reformulations efficaces de certaines constructions propres aux problèmes de configuration. - développement et intégration dans le produit IBM ILOG CPLEX Optimization Studio de traitements efficaces de ces reformulations. - recueil des différents besoins exprimés par les partenaires du projet et rédaction du delivrable d'analyse des besoins. Collaborations: - IBM a participé a la conférence ECAI 2012 avec l'organisation du workshop sur la configuration et la présentation d'une communication scientifique a la conférence. 10

11 Perspectives scientifiques: - poursuivre le travail de modélisation CP et/ou MIP. Perspectives d application industrielle ou technologique: - les reformulations sont directement applicables lors de la modélisation dans un solveur CP de problèmes de configuration, et les algorithmes développés sont intégrés dans la dernière version du solveur industriel IBM ILOG CPLEX Optimization Studio. Entreprise Rédacteur (nom + adresse mél) Renault JM Astesana Nous avons développé un module d'exportation des données opérationnelles de définition, de tarification et d'historique des ventes de la gamme Renault. Trois jeux de données, de complexités différentes, ont été fournis. Nous avons proposé un protocole d évaluation des solutions de configuration. Démonstration du configurateur Renault lors de la réunion de janvier Au cours du dernier trimestre 2013, nous avons travaillé à l amélioration du protocole d évaluation (en rendant les tests déterministes) ainsi qu à l extension aux données de tarification. 11

12 C.6 REUNIONS DU CONSORTIUM (PROJETS COLLABORATIFS) Date Lieu Partenaires présents Thème de la réunion 30/1/2012 IRIT Tous, ainsi qu un Réunion de lancement : au 1/2/2012 (Toulouse) correspondant ANR (O. Coucharière) présentation administrative du projet, présentation du problème exposés scientifiques, reunions des tâches 1, 2, 3 25/6/2012 au 26/6/2012 CRIL (Lens) Tous Réunions des tâches 1, 2, 3 et 4. avancement exposés scientifiques invités (recommandation, lignes de produits) 9/01/2013 LIRMM (Montpellier) Tous Réunions des tâches 2, 3 et 4. avancement exposés scientifiques propres + un exposé scientifique invité (recommandation) 16/4/2013 Paris CRIL, IRIT, LIRMM Réunion de la tâche /6/2013 Paris Tous Réunions des tâches 2, 3, 4 et 5 avancement exposés scientifiques propres + un exposé scientifique invité (GAI nets) C.7 COMMENTAIRES LIBRES Commentaires du coordinateur Commentaire général à l appréciation du coordinateur, sur l état d avancement du projet, les interactions entre les différents partenaires Le projet BR4CP se déroule de manière vraiment très satisfaisante. La tâche 1, qui semblait peut être la plus délicate a été achevée sans problème. Les tâches 3, 4 et 5 avancent très bien et sont riches tant au niveau scientifique que collaboratif. La tâche 2 semble un peu plus difficile à faire avancer selon les modalités prévues par la proposition - peu de travail collaboratif entre les deux principaux partenaires impliqués dans la tâche, l Irit et le Lirmm, et implication réelle de l un d entre eux dans cette tâche durant la première période plus faible que prévue à l origine (problèmes de mutation, difficulté à trouver un post doc) ; ceci est compensé par plusieurs embauches et une collaboration soutenue avec le Greyc (voir «Difficultés rencontrées et solutions», C.3, pour plus de détails). 12

13 Commentaires des autres partenaires Éventuellement, commentaires libres des autres partenaires LIRMM : Frédéric Koriche, membre du projet initialement rattaché au LIRMM a été nommé professeur au CRIL et est dorénavant rattaché au CRIL. Suite à cette mutation, la contribution du LIRMM à la tâche 2 a été légèrement recentrée. En effet, avec le départ de Koriche on perd une compétence forte sur les CP-nets. Son départ est compensé par l arrivée dans le projet de Nadjib Lazaar, qui travaille sur l apprentissage de contraintes dures. Apprendre des contraintes dures permettra d acquérir le modèle du produit configurable. Or, lors de l analyse des besoins, on s est aperçu qu apprendre le modèle du produit configurable serait bien utile. Concernant l embauche du postdoc sur l appentissage des préférences, prévue cette année sur la tâche 2, nous avons beaucoup de mal à trouver un candidat ayant les compétences nécessaires qui accepterait de venir pour seulement 9 mois. La solution trouvée a été de monter une collaboration avec deux des candidats qui avaient été contactés et une collègue du LIRMM spécialiste des préférences. Nous utiliserons une partie du budget alloué pour leur payer des visites fréquentes au LIRMM durant l année qui vient plus quelques missions à des conférences sur le thème. Question(s) posée(s) à l ANR Éventuellement, question(s) posée(s) à l ANR 13

14 D VALORISATION ET IMPACT DU PROJET DEPUIS LE DEBUT Cette partie rassemble des éléments cumulés depuis le début du projet qui seront suivis tout au long de son avancée, et repris dans son bilan final. D.1 PUBLICATIONS ET COMMUNICATIONS Citer les publications résultant du projet en utilisant les normes habituelles du domaine. Si la publication est accessible en ligne, préciser l adresse. L ANR encourage, dans le respect des droits des co-auteurs et des éditeurs, à publier les articles résultant des projets qu elle finance dans l archive ouverte pluridisciplinaire HAL : Attention : éviter une inflation artificielle des publications, mentionner uniquement celles qui résultent directement du projet (postérieures à son démarrage, et qui citent le soutien de l ANR et la référence du projet). Liste des publications multipartenaires (résultant d un travail mené en commun) Revues à comité de lecture Ouvrages ou chapitres d ouvrage Communications (conférence) J. Amilhastre, H. Fargier, A. Niveau, C. Pralet. Compiling CSPs: A Complexity Map of (Non-Deterministic) Multivalued Decision Diagrams. ICTAI 2012: 1-8 International C. Becker, H. Fargier. Maintaining alternative values in constraint-based configuration. ECAI 2012 Configuration Workshop (ConfWS 12): 1-7 et IJCAI 2013: C. Bessiere, H. Fargier et C. Lecoutre Global Inverse Consistency for Interactive Constraint Satisfaction. CP'13 : D. Bigot, H. Fargier., J. Mengin, B. Zanuttini. Using and Learning GAI-Decompositions for Representing Ordinal Rankings. ECAI 2012 workshop on Preference Learning (PL 12): D. Bigot, H. Fargier, J. Mengin, B. Zanuttini. Probabilistic Conditional Preference Networks. UAI 2013 : H. Fargier, P. Marquis, N. Schmidt. Semiring Labelled Decision Diagrams, Revisited: Canonicity and Spatial Efficiency Issues. IJCAI 2013: H. Fargier, P. Marquis, A. Niveau. Towards a Knowledge Compilation Map for Heterogeneous Representation Languages. IJCAI 2013: France Revues à comité de lecture Ouvrages ou chapitres d ouvrage Communications (conférence) C. Becker, H. Fargier. Maintenance de valeurs alternatives dans les CSP dynamiques: principes et expérimentations en configuration de produit. JFPC 2012 : D. Bigot, H. Fargier., J. Mengin, B. Zanuttini. Apprentissage de GAI-décompositions. JIAF 201 D. Bigot, H. Fargier, J. Mengin, B. Zanuttini. Probabilistic Conditional Preference Networks. JIAF 2013: A. Niveau, H. Fargier, P. Marquis. Vers une carte de compilation pour des langages de représentation hétérogènes. JIAF 14

15 2013 : A. Niveau, H. Fargier, C. Pralet. Compilation de CSPs: carte de complexité des MDDs. JNPC 2013 : H. Fargier, P. Marquis, N. Schmidt. Compacité pratique des diagrammes de décision valués : normalisation, heuristiques et expérimentations. JNPC 2013 : Articles de vulgarisation 1. Actions de diffusion Conférences de vulgarisation 1. Autres 1. Liste des publications monopartenaires (impliquant un seul des partenaires) Revues à comité de lecture Ouvrages ou chapitres d ouvrage Communications (conférence) G. Audemard, JM Lagniez, L. Simon. Just-In-Time Compilation of Knowledge Bases. IJCAI-13: International 3. C. Bessiere, R. Coletta, E. Hebrard, G. Katsirelos, N. Lazaar, N. Narodytska, CG Quimper, T. Walsh 2013, Constraint acquisition via partial queries. IJCAI 13: L. Bordeaux, M. Janota, J. Marques-Silva et P. Marquis. On Unit- Refutation Complete Formulae with Existentially Quantified Variables. KR'12: F. Koriche, J.-M. Lagniez, P. Marquis and S. Thomas. Knowledge Compilation for Model Counting: Affine Decision Trees. IJCAI'13: France Revues à comité de lecture Ouvrages ou chapitres d ouvrage Communications (conférence) ]. F. Koriche, J.-M. Lagniez, P. Marquis et S. Thomas. Arbres de décision affine pour le comptage de modèles. IAF Articles de vulgarisation 1. Actions de diffusion Conférences de vulgarisation 1. Autres 1. 15

16 D.2 AUTRES ELEMENTS DE VALORISATION Ce tableau détaille les brevets nationaux et internationaux, licences, et autres éléments de valorisation consécutifs au projet, du savoir-faire, des retombées diverses en précisant les partenariats éventuels. Voir en particulier celles annoncées dans l annexe technique. Liste des éléments. Préciser les titres, années et commentaires Brevets 1. Licences d exploitation (obtention / cession) 1. Créations d entreprises ou essaimage 1. Nouveaux projets collaboratifs 1. Colloques scientifiques 1. Autres (préciser) 1. D.3 POLES DE COMPETITIVITE (PROJET LABELLISES) Pour les projets labellisés par un ou plusieurs pôles de compétitivité, Collaboration du projet avec le(s) pôle(s) ayant labellisé Quelles collaborations y a-t-il eu entre votre projet et le(s) pôle(s) de compétitivité l ayant labellisé? A la demande du pôle Picom, le CRIL a participé à un forum des PME innovantes; Comme nous l'avons déjà indiqué dans le précédent rapport, nous n'avons pas mis en place de collaboration plus directe avec PICOM à ce stade du projet. Il nous semble, en effet, raisonnable d'attendre que le projet soit plus avancé pour ce faire (sans doute lors de la dernière année du projet, une fois les développements logiciels suffisamment avancés pour que des démonstrations soient possibles Activités financées par le complément de pôle (laboratoires publics uniquement) Détailler les activités réalisées par les laboratoires publics avec le complément de financement accordé au titre de la labellisation. Préciser notamment les partenaires impliqués et la collaboration menée avec le ou les pôles. Montant du complément accordé par l ANR (pour chaque labo public) - Partenaire CRIL :

17 Type d action menée Détails (exemples non limitatifs) Dépenses complément de pôle* Actions contribuant à la réflexion stratégique et à la programmation scientifique du pôle Actions de communication scientifique et publique bénéficiant à la notoriété du pôle Développement de la recherche partenariale (recherche de partenaires, frais de gestion du partenariat, ingénierie de projets,...) Valorisation de la recherche et transfert vers le monde industriel * Estimation des dépenses imputées sur le complément de financement accordé au titre de la labellisation par un pôle de compétitivité, partenaires publics seulement. D.4 PERSONNELS RECRUTES EN CDD (HORS STAGIAIRES) Ce tableau dresse le bilan du projet en termes de recrutement de personnels non permanents sur CDD ou assimilé. Renseigner une ligne par personne embauchée sur le projet quand l embauche a été financée partiellement ou en totalité par l aide de l ANR et quand la contribution au projet a été d une durée au moins égale à 3 mois, tous contrats confondus, l aide de l ANR pouvant ne représenter qu une partie de la rémunération de la personne sur la durée de sa participation au projet. Les stagiaires bénéficiant d une convention de stage avec un établissement d enseignement ne doivent pas être mentionnés. Des données complémentaires sur le devenir professionnel des personnes concernées seront demandées à la fin du projet. Elles pourront faire l objet d un suivi jusqu à 5 ans après la fin du projet. Identificat ion Avant le recruteme nt sur le projet Recrutem ent sur le projet Nom et prénom Sexe H/F Adresse (1) Date des dernières nouvelles Dernier diplôme obtenu au moment du recrutement Lieu d'études (France, UE, hors UE) Expérience prof. antérieure (ans) Partenaire ayant embauché la personne Poste dans le projet (2) Date de recrutement Schmidt Nicolas H. Quotidienn es MR2 informatique France neant CRIL doctorant Janvier

18 Aide pour le remplissage (1) Adresse indiquer une adresse la plus pérenne possible (2) Poste dans le projet : post-doc, doctorant, ingénieur ou niveau ingénieur, technicien, vacataire, autre (préciser) (3) Durée missions : indiquer en mois la durée totale des missions (y compris celles non financées par l ANR) effectuées ou prévues sur le projet D.5 ÉTAT FINANCIER Donner un état indicatif de la consommation des crédits par les partenaires. Indiquer la conformité par rapport aux prévisions et expliquer les écarts significatifs éventuels. Nom du partenaire Crédits consommés (en %) Commentaire éventuel IRIT 52% Petit écart par rapport au prévisionnel, dû au fait que les sommes prévues pour l embauche de stagiaires de master n ont pas encore été dépensées. CRIL 62 % LIRMM 65% CAMELEON 40 % IBM 33% La consommation d IBM, en temps passé, est en décélération en Cela est dû à la disponibilité insuffisante des experts. Une décision de recrutement est en cours afin de sécuriser la disponibilité des ressources. RENAULT 44 % 18

19 E RAPPORTS D ACTIVITE SCIENTIFIQUE, PAR PARTENAIRE E.1 CAMELEON Cameleon Software a démarré ses travaux par un état de l art des problématiques générales à adresser pour la configuration interactive de produit. Ces problématiques, et plus particulièrement celle originale du maintien d un domaine alternatif pour les variables décrivant le produit, mettent en évidence le besoin d une méthode de dépropagation efficace dans les CSP. En parallèle de travaux sur la dépropagation qui permettraient d implémenter ce calcul de valeurs alternatives par un algorithme brute-force naïf, une approche différente reposant sur le maintien en permanence des domaines alternatifs a été proposée. De complexité temporelle au pire cas identique à la méthode naïve, cette méthode lui a été comparée et s'avère bien plus efficace en pratique. Elle présente cependant une complexité spatiale importante qui doit être améliorée pour pouvoir être utilisé sur de gros problèmes. Des test ont été réalisés sur les benchmarks de la Tâche 1. L état de l art met également en évidence un certains nombres de problèmes liés à la présence d éléments optionnels dans la description du produit configurable. Nous avons travaillé à la mise en place d un formalisme unifiant les notions d existence et d optionnalité rencontrées dans l état de l art et dans lequel il existe une hiérarchie de l optionnalité ainsi qu à l adaptation de l algorithme GAC2001 pour les CSP avec optionnalité [Becker, Fargier 2012, 2013]. Nous travaillons actuellement sur les relations entre les autres états particuliers à la configuration et leur relation entre eux, notamment les états d activation, de complétude et d erreur. Publications : [Amilhastre, Fargier, Niveau, Pralet 2012] J. Amilhastre, H. Fargier, A. Niveau, C. Pralet. Compiling CSPs: A Complexity Map of (Non-Deterministic) Multivalued Decision Diagrams. ICTAI 2012 : 1-8 [Becker, Fargier 2012] Caroline Becker et Helene Fargier. Maintenance de valeurs alternatives dans les CSP dynamiques: principes et experimentations en configuration de produit. Actes de JFPC 2012, Toulouse, juin 201 [Becker, Fargier 2012, 2013] C. Becker, H. Fargier. Maintaining alternative values in constraintbased configuration. ECAI 2012 Configuration Workshop (ConfWS 12): 1-7 et IJCAI 2013 (accepté) E.2 CRIL Signalons l'arrivée au CRIL de Fredéric Koriche, recruté comme Professeur à l'iut de Lens de l'université d'artois au 1er septembre 201 Le CRIL a poursuivi ses travaux au sein des tâches 3 et 4. Nos études ont porté sur les points suivants : Tâche 3 Le problème de la maintenance de la cohérence inverse globale (en collaboration avec le LIRMM et l IRIT). Nous avons finalisé une première étude concernant l'établissement et le maintien de la cohérence globale inverse. Cette cohérence très forte assure que chaque valeur apparaît au moins dans une solution du problème (de configuration) représenté sous la forme d'un réseau de contraintes. Maintenir cette propriété assure qu'un scénario de configuration ne peut mener à un 19

20 échec : un utilisateur ne peut se voir indiquer par le système automatisé de configuration qu'il doit reconsidérer l'un de ses choix. Nous avons montré sur un banc d'essai assez large que cette approche était réaliste ; les temps que nous avons obtenus sont très intéressants. Nous avons publié ces travaux dans [Bessiere, Fargier, Lecoutre, 2013]. Utilisation de moteurs académiques de recherche SAT pour la configuration en ligne: une première approche basée sur l'utilisation d'un prouveur SAT incrémental (Sat4j) pour le calcul de littéraux impliqués permet d'effectuer en ligne de commande la configuration interactive des problèmes fournis pas Renault, avec remise en cause des choix précédents. La période écoulée nous a permis d intégrer la prise en compte des prix dans le prototype de configurateur basé sur SAT et de valider le protocole expérimental. Elle correspond aussi à la rédaction du livrable «Algorithmes «de la tâche 3. Codage des instances Renault dans le formalisme TVL (collaboration avec l'équipe de recherche «Unité Conception et Développement des systèmes d'information» de l'université de Namur). La configuration multicritère de dépendances logicielles, voir [Le Berre, Lonca, Marquis, Parrain, 2012]. Tâche 4 La définition d un langage de compilation efficace pour la réfutation unitaire. Ce langage offre les mêmes requêtes et transformations traitables que DNNF tout en étant au moins aussi succinct. En outre, il est strictement plus succinct que DNF, SDNNF et d-dnnf qui sont les trois sousensembles de DNNF les plus succincts pour lesquels des compilateurs ont été développés ; voir [Bordeaux, Janota, Marques-Silva et Marquis 2012] La conception d'un cadre générique et abstrait permettant la comparaison de formalismes pour la représentation des connaissances, en particulier les langages cibles utilisés en compilation de connaissances. Il s'agit de pouvoir comparer sur des bases formelles des langages qui ne partagent pas la même sémantique, ce que le cadre utilisé jusqu'ici ne permet pas. Voir [Fargier, Marquis, Niveau, 2013] et [Fargier, Marquis, Niveau, 2013b]. En collaboration avec l IRIT. La définition et l'étude d'un nouveau formalisme, les arbres de décision affines étendus, pour la représentation de fonctions booléennes. Ces langages permettent un comptage en temps polynomial des modèles de la formule représentée ; nous avons aussi développé un compilateur (CNF-to-EADT) qui se révèle particulièrement efficace, comparé à certains compteurs de modèles dédiés (pour certaines instances, le temps de compilations est amorti dès la première requête de comptage de modèles). Voir [Koriche, Lagniez, Marquis, Thomas, 2013] et [Koriche, Lagniez, Marquis, Thomas, 2013b]. La compilation de préférences sous la forme de diagrammes de décision valués (thèse de N. Schmidt, IRIT/CRIL) : Nous avons proposé et étudié ces langages de manière algébrique et montré certaines conditions simples (la structure doit être un monoïde) garantissent l'existence d'une forme canonique ; le conditionnement et l'optimisation sont en temps polynomial sur ces diagrammes de décision, ce qui est essentiel pour les applications visées. Un compilateur et des traducteurs entre langages de diagrammes de décision valués ont été programmés. Voir [Fargier, Marquis, Schmidt, 2013] et [Fargier, Marquis, Schmidt, 2013b]. La proposition d une approche de la compilation de bases de connaissances par l'utilisation à la volée de solveurs SAT. Nous avons travaillé au test de techniques de compilations "just in time", permettant d'utiliser la puissance des solveurs SAT sans calcul préalable, tout en permettant d'amortir d'éventuels calculs précédent grâce à l'apprentissage de clauses. Nous avons montré dans [Audemard, Lagniez, Simon, 2013] qu'il était possible, pour les problèmes de compilation 20

Modèles et algorithmes pour le conseil et la gestion des préférences en configuration de produit

Modèles et algorithmes pour le conseil et la gestion des préférences en configuration de produit Modèles et algorithmes pour le conseil et la gestion des préférences en configuration de produit Revue à mi parcours du projet ANR Blanc «BR4CP» Hélène Fargier - IRIT Résolution interactive Le «catalogue»

Plus en détail

Compte-rendu intermédiaire T0+6. Projet ANR-11-BS02-008 BR4CP. Programme Blanc 2011

Compte-rendu intermédiaire T0+6. Projet ANR-11-BS02-008 BR4CP. Programme Blanc 2011 Compte-rendu intermédiaire T0+6 Projet ANR-11-BS02-008 BR4CP Programme Blanc 2011 IDENTIFICATION... 1 A DEMARRAGE DU PROJET... 2 A.1 Moyens mis en place... 2 A.2 Pôles de compétitivité (projet labellisés)...

Plus en détail

Modèles et algorithmes pour le conseil et la gestion des préférences en configuration de produit. Introduction au projet ANR Blanc «BR4CP»

Modèles et algorithmes pour le conseil et la gestion des préférences en configuration de produit. Introduction au projet ANR Blanc «BR4CP» Modèles et algorithmes pour le conseil et la gestion des préférences en configuration de produit Introduction au projet ANR Blanc «BR4CP» Participants Cameleon: CRIL: IBM-ILOG : IRIT : LIRMM: Renault :

Plus en détail

1 Bref Curriculum Vitae

1 Bref Curriculum Vitae Hélène FARGIER Institut de Recherche en Informatique de Toulouse (IRIT) 118 route de Narbonne, 31062 Toulouse Cedex 9, France Tel : (33) 5. 61.55.82.97 E-mail : fargier@irit.fr État civil : 48 ans, veuve,

Plus en détail

Maître de conférences en Informatique

Maître de conférences en Informatique Jean-François CONDOTTA Maître de conférences en Informatique CRIL CNRS UMR 8188 Université d Artois - IUT de Lens Rue de l Université, 62307 Lens Cedex T +33 (0)3 21 79 32 79 B condotta@cril.univ-artois.fr

Plus en détail

Langage dédié pour le pilotage de solveurs de contraintes

Langage dédié pour le pilotage de solveurs de contraintes LABORATOIRE D INFORMATIQUE DE NANTES-ATLANTIQUE UMR 6241 ÉCOLE DOCTORALE STIM, N. 503 «Sciences et technologies de l information et des mathématiques» Sujet de thèse pour 2010 Langage dédié pour le pilotage

Plus en détail

Rapport d'analyse des besoins

Rapport d'analyse des besoins Projet ANR 2011 - BR4CP (Business Recommendation for Configurable products) Rapport d'analyse des besoins Janvier 2013 Rapport IRIT/RR--2013-17 FR Redacteur : 0. Lhomme Introduction...4 La configuration

Plus en détail

Curriculum Vitae - Emmanuel Hebrard. Emmanuel Hebrard

Curriculum Vitae - Emmanuel Hebrard. Emmanuel Hebrard Emmanuel Hebrard Adresse 5 Tuckey Street Cork, Ireland emmanuel.hebrard@gmail.com http ://4c.ucc.ie/ ehebrard/home.html Adresse Professionnelle Cork Constraint Computation Centre Cork, Ireland Telephone

Plus en détail

AAP «Fonds de transfert»

AAP «Fonds de transfert» AAP «Fonds de transfert» CONTEXTE : L'un des objectifs d'a*midex est le renforcement de la recherche partenariale entre le monde académique et le monde socio-économique. Cette démarche, revendiquée dans

Plus en détail

Sujet de thèse Prise en compte des recommandations de l utilisateur dans les services numériques intelligents

Sujet de thèse Prise en compte des recommandations de l utilisateur dans les services numériques intelligents Sujet de thèse Prise en compte des recommandations de l utilisateur dans les services numériques intelligents Directeur de thèse : Bruno Zanuttini GREYC, UMR 6072 UNICAEN/CNRS/ENSICAEN, équipe MAD Démarrage

Plus en détail

AAP HIT. Maison de l Innovation et de la Technologie House of Innovation and Technology - HIT

AAP HIT. Maison de l Innovation et de la Technologie House of Innovation and Technology - HIT AAP HIT Maison de l Innovation et de la Technologie House of Innovation and Technology - HIT Introduction au projet La région Provence Alpes Côte d Azur, forte de compétences reconnues dans les domaines

Plus en détail

Études de bachelor en informatique

Études de bachelor en informatique 1 Études de bachelor en informatique Informatique A notre époque, il n y a pratiquement plus aucune activité qui puisse se passer de l ordinateur. On ne le trouve pas seulement sur les bureaux et dans

Plus en détail

Enquête 2014 de rémunération globale sur les emplois en TIC

Enquête 2014 de rémunération globale sur les emplois en TIC Enquête 2014 de rémunération globale sur les emplois en TIC Enquête 2014 de rémunération globale sur les emplois en TIC Les emplois repères de cette enquête sont disponibles selon les trois blocs suivants

Plus en détail

LICENCE (LMD) MENTION : INFORMATIQUE

LICENCE (LMD) MENTION : INFORMATIQUE LICENCE (LMD) MENTION : INFORMATIQUE RÉSUMÉ DE LA FORMATION Type de diplôme : Licence (LMD) Domaine ministériel : Sciences, Technologies, Santé Objectifs Les connaissances et compétences informatiques

Plus en détail

BACHELOR OF SCIENCE INFORMATICIEN-NE DE GESTION

BACHELOR OF SCIENCE INFORMATICIEN-NE DE GESTION Informatique de gestion BACHELOR OF SCIENCE HES-SO BACHELOR OF SCIENCE INFORMATICIEN-NE DE GESTION Plans d études et descriptifs des modules Filière à plein temps et à temps partiel Table des matières

Plus en détail

IODAA. de l 1nf0rmation à la Décision par l Analyse et l Apprentissage / 21

IODAA. de l 1nf0rmation à la Décision par l Analyse et l Apprentissage / 21 IODAA de l 1nf0rmation à la Décision par l Analyse et l Apprentissage IODAA Informations générales 2 Un monde nouveau Des données numériques partout en croissance prodigieuse Comment en extraire des connaissances

Plus en détail

Cours de Master Recherche

Cours de Master Recherche Cours de Master Recherche Spécialité CODE : Résolution de problèmes combinatoires Christine Solnon LIRIS, UMR 5205 CNRS / Université Lyon 1 2007 Rappel du plan du cours 16 heures de cours 1 - Introduction

Plus en détail

Programme "Conception et simulation" COSINUS Edition 2009. Projet

Programme Conception et simulation COSINUS Edition 2009. Projet Projet Numéro d'ordre du projet : Acronyme du projet : Titre du projet : Coordonnateur du projet (nom/laboratoire) : Thématique principale : Montant total de l'aide demandée (en k ) : Durée du projet :

Plus en détail

RESUME DESCRIPTIF DE LA CERTIFICATION (FICHE OPERATIONNELLE METIERS)

RESUME DESCRIPTIF DE LA CERTIFICATION (FICHE OPERATIONNELLE METIERS) RESUME DESCRIPTIF DE LA CERTIFICATION (FICHE OPERATIONNELLE METIERS) Intitulé (cadre 1) Master Droit Economie Gestion, mention Management des Systèmes d Information, spécialité Management et Technologies

Plus en détail

MASTER (LMD) PARCOURS ARCHITECTURE & INGÉNIERIE DU LOGICIEL & DU WEB

MASTER (LMD) PARCOURS ARCHITECTURE & INGÉNIERIE DU LOGICIEL & DU WEB MASTER (LMD) PARCOURS ARCHITECTURE & INGÉNIERIE DU LOGICIEL & DU WEB RÉSUMÉ DE LA FORMATION Type de diplôme : Master (LMD) Domaine ministériel : Sciences, Technologies, Santé Mention : INFORMATIQUE Spécialité

Plus en détail

INFORMATIQUE. Licence 3 e année (L3) & Master (M1-M2) Centre d Etudes Suisse Romande Formation universitaire

INFORMATIQUE. Licence 3 e année (L3) & Master (M1-M2) Centre d Etudes Suisse Romande Formation universitaire Centre d Etudes Suisse Romande Formation universitaire INFORMATIQUE Licence 3 e année (L3) & Master (M1-M2) En collaboration avec l Université de Franche-Comté CTU de Besançon Unidistance 2 GÉNÉRALITÉS

Plus en détail

Propriété Intellectuelle: le partenariat industriel. Anne CORMIER Lionel PUJOL

Propriété Intellectuelle: le partenariat industriel. Anne CORMIER Lionel PUJOL Propriété Intellectuelle: le partenariat industriel Anne CORMIER Lionel PUJOL 1 Enjeux et Clauses des Contrats dans le Partenariat Industriel Les accords de secret Les accords de transfert de matériel

Plus en détail

Résumé du document «Programmes des classes préparatoires aux Grandes Écoles ; Discipline : Informatique ; Première et seconde années - 2013»

Résumé du document «Programmes des classes préparatoires aux Grandes Écoles ; Discipline : Informatique ; Première et seconde années - 2013» Résumé du document «Programmes des classes préparatoires aux Grandes Écoles ; Discipline : Informatique ; Première et seconde années - 2013» I Objectifs Niveau fondamental : «on se fixe pour objectif la

Plus en détail

INSTRUCTIONS POUR PREPARER

INSTRUCTIONS POUR PREPARER INSTRUCTIONS POUR PREPARER LE Les s comportant un document de non conformes aux instructions indiquées ciaprès comme devant impérativement être suivies seront considérées comme ne satisfaisant pas aux

Plus en détail

RESUME DESCRIPTIF DE LA CERTIFICATION (FICHE OPERATIONNELLE METIERS)

RESUME DESCRIPTIF DE LA CERTIFICATION (FICHE OPERATIONNELLE METIERS) RESUME DESCRIPTIF DE LA CERTIFICATION (FICHE OPERATIONNELLE METIERS) Intitulé (cadre 1) DUT Génie électrique et informatique industrielle (GEII) 3 Parcours possibles : Automatismes et Réseaux Locaux Energies

Plus en détail

Appel à projets national «Outils web innovants en entreprise»

Appel à projets national «Outils web innovants en entreprise» Appel à projets national «Outils web innovants en entreprise» 1 Contexte - Objectif 1.1 Le développement des pratiques collaboratives dans les entreprises, un levier de compétitivité, Les outils web d

Plus en détail

Projets Logiciels: Processus de développement pratiqué à TELECOM ParisTech

Projets Logiciels: Processus de développement pratiqué à TELECOM ParisTech Projets Logiciels: Processus de développement pratiqué à TELECOM ParisTech INF380-2013! Sylvie.Vignes@telecomParistech.fr Département INFRES, groupe S3 Cadre du processus 2! q Basé sur un processus incrémental:

Plus en détail

Informatique, spécialité AIGLE

Informatique, spécialité AIGLE Université de MONTPELLIER 2 1/3 Informatique, spécialité AIGLE L1 S1 Algebre et Analyse 1 10 L1 S1 Calculus 5 L1 S1 Du binaire au web 5 L1 S1 Introduction à l'algorithmique 5 L1 S1 Physique générale 5

Plus en détail

Quel profil pour les futurs professionnels de l'informatique? Le référentiel de compétences du master en sciences informatiques de l'ucl.

Quel profil pour les futurs professionnels de l'informatique? Le référentiel de compétences du master en sciences informatiques de l'ucl. université catholique de louvain louvain-la-neuve, belgique Quel profil pour les futurs professionnels de l'informatique? raisonner théorie appliquer apprendre examens concevoir bachelier référentiel universitaire

Plus en détail

Comparaison entre approche directe et compilée pour un problème de configuration

Comparaison entre approche directe et compilée pour un problème de configuration Comparaison entre approche directe et compilée pour un problème de configuration Nicolas Morbieu Mémoire de stage de M2R soutenu le 23 juin 2006 Directrice de recherche : Hélène Fargier Recherche effectuée

Plus en détail

ISMMS, Faculté de médecine, Université de Genève. Personne de contact :

ISMMS, Faculté de médecine, Université de Genève. Personne de contact : EEPS/MASTER/MEMOIRE STAGE/guidestage.doc 1 Stages en milieux professionnels pour étudiant e s en Maîtrise ès sciences en Sciences du Mouvement et du Sport - Orientation Entraînement et Performance ISMMS,

Plus en détail

Programme Gaspard Monge pour l Optimisation et la recherche opérationnelle

Programme Gaspard Monge pour l Optimisation et la recherche opérationnelle Programme Gaspard Monge pour l Optimisation et la recherche opérationnelle Appel à Projets 2014 Sommaire / Summary Sommaire 1. Introduction... 3 1.1 Le sous-programme PRMO... 3 1.2 Le sous-programme IROE...

Plus en détail

OLAP. Data Mining Decision

OLAP. Data Mining Decision Machine Learning Information Systems Data Warehouses Web & Cloud Intelligence OLAP Knowledge Management Data Mining Decision ENTREPÔTS, REPRÉSENTATION & INGÉNIERIE des CONNAISSANCES Une recherche pluridisciplinaire...

Plus en détail

Orientation entraînement et performance

Orientation entraînement et performance Démarche pour les stages professionnels Maîtrise en sciences du mouvement et du sport Orientation entraînement et performance Version du 26-9- 2013 1. Quelques points de repère utiles à la préparation

Plus en détail

Ingénieur Recherche, Études et Développement en Informatique

Ingénieur Recherche, Études et Développement en Informatique Nicolas PARIS 32 rue Ernest Loyer 59160 Lomme Tél : 0676711697, E-mail : nparis62@gmail.com, Web : www.cril.univ-artois.fr/~paris/ Nationalité française Né le 19 Février 1982 à Calais (62) Célibataire

Plus en détail

Business Intelligence avec SQL Server 2012

Business Intelligence avec SQL Server 2012 Editions ENI Business Intelligence avec SQL Server 2012 Maîtrisez les concepts et réalisez un système décisionnel Collection Solutions Informatiques Extrait Alimenter l'entrepôt de données avec SSIS Business

Plus en détail

O RMATION. Ingénierie Système Management de Projet Évaluation de la Maturité

O RMATION. Ingénierie Système Management de Projet Évaluation de la Maturité PLANS F de O RMATION Ingénierie Système Management de Projet Évaluation de la Maturité O R G A N I S A T I O N ACTEURS CONCERNÉS Les concepteurs de systèmes doivent détecter, analyser les besoins des utilisateurs,

Plus en détail

Livre Blanc. Optimiser la gestion et le pilotage des opérations. Août 2010

Livre Blanc. Optimiser la gestion et le pilotage des opérations. Août 2010 Livre Blanc Optimiser la gestion et le pilotage des opérations Août 2010 Un livre blanc édité par : NQI - Network Quality Intelligence Tél. : +33 4 92 96 24 90 E-mail : info@nqicorp.com Web : http://www.nqicorp.com

Plus en détail

Le Comité directeur de la Haute école spécialisée de Suisse occidentale. Master of Science HES-SO in Engineering (ci-après HES-SO//MSE).

Le Comité directeur de la Haute école spécialisée de Suisse occidentale. Master of Science HES-SO in Engineering (ci-après HES-SO//MSE). Directives du Master of Science HES-SO in Engineering Version du février 01 Le Comité directeur de la Haute école spécialisée de Suisse occidentale vu le protocole d accord entre la CUSO et la HES-SO relatif

Plus en détail

UFR d Informatique. FORMATION MASTER Domaine SCIENCES, TECHNOLOGIE, SANTE Mention INFORMATIQUE 2014-2018

UFR d Informatique. FORMATION MASTER Domaine SCIENCES, TECHNOLOGIE, SANTE Mention INFORMATIQUE 2014-2018 UFR d Informatique FORMATION MASTER Domaine SCIENCES, TECHNOLOGIE, SANTE Mention INFORMATIQUE 2014-2018 Objectif L UFR d informatique propose au niveau du master, deux spécialités sous la mention informatique

Plus en détail

Management de l Innovation

Management de l Innovation Management de l Innovation Mention du Master Sciences et Technologies de l Université Pierre et Marie Curie Directeur du Département de Formation : Patrick Brézillon Contact secrétariat : 01 44 39 08 69

Plus en détail

Appel à projet national ULISS «Utilisation comme Levier d Innovation des Signaux Satellites» Année 2012

Appel à projet national ULISS «Utilisation comme Levier d Innovation des Signaux Satellites» Année 2012 Appel à projet national ULISS «Utilisation comme Levier d Innovation des Signaux Satellites» Année 2012 I. Présentation du contexte et des objectifs La Direction générale de la compétitivité, de l industrie

Plus en détail

Licence Professionnelle Systèmes Informatiques et Logiciels

Licence Professionnelle Systèmes Informatiques et Logiciels U.F.A. Paul Verlaine IUT1 Département Informatique Université de Metz Ile du Saulcy 57012 METZ C.F.A. Robert Schuman 4, rue Monseigneur Pelt 57070 METZ Formation par ALTERNANCE Licence Professionnelle

Plus en détail

Objet : A : examen de l habilitation arrivant à échéance en phase avec le calendrier national périodique D : habilitation d une nouvelle formation

Objet : A : examen de l habilitation arrivant à échéance en phase avec le calendrier national périodique D : habilitation d une nouvelle formation Avis n 2010/07-01 relatif à l habilitation de l Université de technologie de Belfort-Montbéliard (UTBM) à délivrer des titres d ingénieur diplômé Objet : A : examen de l habilitation arrivant à échéance

Plus en détail

Programmation paresseuse et causale des architectures orientées services

Programmation paresseuse et causale des architectures orientées services LABORATOIRE D INFORMATIQUE DE NANTES-ATLANTIQUE UMR 6241 ÉCOLE DOCTORALE STIM, N. 503 «Sciences et technologies de l information et des mathématiques» Sujet de thèse pour 2016 Programmation paresseuse

Plus en détail

Participaient à la séance : Olivier CHALLAN BELVAL, Hélène GASSIN, Jean-Pierre SOTURA et Michel THIOLLIERE, commissaires.

Participaient à la séance : Olivier CHALLAN BELVAL, Hélène GASSIN, Jean-Pierre SOTURA et Michel THIOLLIERE, commissaires. Délibération Délibération de la Commission de régulation de l énergie du 13 juin 2013 portant orientations sur le cadre de régulation du système de comptage évolué de GrDF Participaient à la séance : Olivier

Plus en détail

Candidature à une admission en 2 nde année. Instructions pour la constitution de votre dossier de candidature / année 2015

Candidature à une admission en 2 nde année. Instructions pour la constitution de votre dossier de candidature / année 2015 Fiche A 1/2 UFR Sciences et Technologies Candidature à une admission en 2 nde année Instructions pour la constitution de votre dossier de candidature / année 2015 Vous venez de recevoir : 1. 1 fiche d

Plus en détail

Démo 1 Gestion de projet. Partie théorique : Exercice 1 : WBS (Work Breakdown Structure) Exercice 2: COCOMO (COnstructive COst MOdel)

Démo 1 Gestion de projet. Partie théorique : Exercice 1 : WBS (Work Breakdown Structure) Exercice 2: COCOMO (COnstructive COst MOdel) Démo 1 Gestion de projet Professeur : Bruno Dufor Démonstrateurs : Marouane Kessentini Hassen Grati Partie théorique : Exercice 1 : WBS (Work Breakdown Structure) 1. Qu est-ce que WBS? 2. À quoi ça sert?

Plus en détail

INGÉNIEUR DE L'ENSEEIHT SPÉCIALITÉ INFORMATIQUE ET RÉSEAUX (APPRENTISSAGE)

INGÉNIEUR DE L'ENSEEIHT SPÉCIALITÉ INFORMATIQUE ET RÉSEAUX (APPRENTISSAGE) INGÉNIEUR DE L'ENSEEIHT SPÉCIALITÉ INFORMATIQUE ET RÉSEAUX (APPRENTISSAGE) RÉSUMÉ DE LA FORMATION Type de diplôme : Formation d'ingénieur classique Domaine : Sciences, Ingénierie et Technologies Mention

Plus en détail

SYLLABUS SEMESTRE 9 Année 2011-2012

SYLLABUS SEMESTRE 9 Année 2011-2012 SYLLABUS SEMESTRE 9 2011-2012 Parcours S2I «Systèmes d Information et Informatique» François Brucker Tel.: 04 91 05 43 95 E-mail : francois.brucker@centrale-marseille.fr PROGRAMME Nb heures élèves (hors

Plus en détail

LICENCE (LMD) - INFORMATIQUE

LICENCE (LMD) - INFORMATIQUE LICENCE (LMD) - INFORMATIQUE RÉSUMÉ DE LA FORMATION Type de diplôme : Licence (LMD) Domaine ministériel : Sciences, Technologies, Santé OBJECTIFS Les connaissances et compétences informatiques visées par

Plus en détail

Business Project Management : Cycle de vie des documents et workflow

Business Project Management : Cycle de vie des documents et workflow Business Project Management : Cycle de vie des documents et workflow Iut de Tours Département Information-Communication Option Gestion de l Information et du Document dans les Organisations Page 1 sur

Plus en détail

Dossier justificatif des travaux de R&D déclarés au titre du CIR

Dossier justificatif des travaux de R&D déclarés au titre du CIR Dossier justificatif des travaux de R&D déclarés au titre du CIR I PRÉSENTATION DE LA SOCIETE Présenter l activité de la société en quelques lignes ou au moyen d une plaquette publicitaire et replacer

Plus en détail

Programmation par contraintes pour les technologies logicielles

Programmation par contraintes pour les technologies logicielles Colloque GEMSTIC 03 Programmation par contraintes pour les technologies logicielles Narendra Jussien École des Mines de Nantes 4, rue Alfred Kastler BP 20722 F-44307 Nantes Cedex 3 email: jussien@emn.fr

Plus en détail

Liste des emplois et descriptions. Enquête 2016 de rémunération globale sur les emplois en TIC

Liste des emplois et descriptions. Enquête 2016 de rémunération globale sur les emplois en TIC Liste des emplois et descriptions Enquête 2016 de rémunération globale sur les emplois en TIC Enquête 2016 de rémunération globale sur les emplois en TIC 71 emplois repères de cette enquête sont disponibles

Plus en détail

1 CHAMP D APPLICATION

1 CHAMP D APPLICATION INVESTISSEMENTS D AVENIR REGLEMENT RELATIF AUX MODALITES D ATTRIBUTION DES AIDES AU TITRE DES APPELS «Valorisation Instituts Carnot» 1 CHAMP D APPLICATION Le présent règlement concerne les aides accordées

Plus en détail

Apprentissage de structure dans les réseaux bayésiens pour

Apprentissage de structure dans les réseaux bayésiens pour Apprentissage de structure dans les réseaux bayésiens pour la détection d événements vidéo Siwar Baghdadi 1, Claire-Hélène Demarty 1, Guillaume Gravier 2, et Patrick Gros 3 1 Thomson R&D France, 1 av Belle

Plus en détail

MASTER (LMD) MODELISATION, OPTIMISATION, COMBINATOIRE ET ALGORITHME

MASTER (LMD) MODELISATION, OPTIMISATION, COMBINATOIRE ET ALGORITHME MASTER (LMD) MODELISATION, OPTIMISATION, COMBINATOIRE ET ALGORITHME RÉSUMÉ DE LA FORMATION Type de diplôme : Master (LMD) Domaine ministériel : Sciences, Technologies, Santé Mention : INFORMATIQUE Spécialité

Plus en détail

Activité Intitulé de l'activité Volume horaire

Activité Intitulé de l'activité Volume horaire Informations de l'unité d'enseignement Implantation Institut Paul Lambin Cursus de Bachelier en informatique de gestion Activité d'intégration en Milieu Professionnel I3080 Cycle 1 Bloc 3 Quadrimestre

Plus en détail

Formation initiale Formation diplômante Blois (L1 à L3)

Formation initiale Formation diplômante Blois (L1 à L3) LICENCE Informatique Présentation Nature Site(s) géographique(s) : Accessible en : Tours (L1) Formation initiale Formation diplômante Blois (L1 à L3) Formation continue Type de diplôme : Durée des études

Plus en détail

Le Répertoire National des Certifications Professionnelles (RNCP) Résumé descriptif de la certification

Le Répertoire National des Certifications Professionnelles (RNCP) Résumé descriptif de la certification 1 sur 8 26/09/2013 16:49 Le Répertoire National des Certifications Professionnelles (RNCP) Résumé descriptif de la certification Intitulé Licence : Licence Sciences, technologies, santé mention Informatique

Plus en détail

Positionnement de UP

Positionnement de UP UNIFIED PROCESS Positionnement de UP Unified Process Langage Méthode Outil logiciel UML UP RUP 6 BONNES PRATIQUES développement itératif gestion des exigences architecture basée sur des composants modélisation

Plus en détail

Guide pour la rédaction, la défense et l'évaluation des travaux de fin d'étude (TFE) dans le cadre de la formation Did@cTIC

Guide pour la rédaction, la défense et l'évaluation des travaux de fin d'étude (TFE) dans le cadre de la formation Did@cTIC Guide pour la rédaction, la défense et l'évaluation des travaux de fin d'étude (TFE) dans le cadre de la formation Did@cTIC Afin de finaliser son parcours de formation Did@cTIC, chaque participant-e au

Plus en détail

Master Informatique Aix-Marseille Université

Master Informatique Aix-Marseille Université Aix-Marseille Université http://masterinfo.univ-mrs.fr/ Département Informatique et Interactions UFR Sciences Laboratoire d Informatique Fondamentale Laboratoire des Sciences de l Information et des Systèmes

Plus en détail

Le Web sémantique, une infrastructure d'intégration de sources de données

Le Web sémantique, une infrastructure d'intégration de sources de données Le Web sémantique, une infrastructure d'intégration de sources de données Chantal Reynaud Université Paris X & LRI (Université Paris-Sud & CNRS), UR INRIA Futurs Plan de l'exposé 1. Importance du point

Plus en détail

LE MASTER SYSTEMES D INFORMATION

LE MASTER SYSTEMES D INFORMATION Le Master Systèmes LE MASTER SYSTEMES D INFORMATION 33 Le Master Système d Information LE MASTER SYSTEME D INFORMATION Organisation générale L objectif général du diplôme est de préparer les étudiants

Plus en détail

Une extension pour RDF/RDFS utilisant des relations procédurales

Une extension pour RDF/RDFS utilisant des relations procédurales Une extension pour RDF/RDFS utilisant des relations procédurales Jean-François Baget * * INRIA Sophia-Antipolis & LIRMM(CNRS - UM2) LIRMM, 161 rue Ada, 34392 Montpellier Cedex 5 baget@lirmm.fr RÉSUMÉ.

Plus en détail

Labellisation des projets par le Pôle DREAM Eau et Milieux 2013-2015

Labellisation des projets par le Pôle DREAM Eau et Milieux 2013-2015 1 Labellisation des projets par le Pôle DREAM Eau et Milieux 2013-2015 Sommaire : 1. Procédure de labellisation des projets 1.1 Le dossier de demande de labellisation 1.2 Attribution des dossiers aux correspondants

Plus en détail

DUT INFORMATIQUE. Objectifs. Contenu de la formation PLUS D'INFOS. EN SAVOIR PLUS Visiter le site internet du diplôme

DUT INFORMATIQUE. Objectifs. Contenu de la formation PLUS D'INFOS. EN SAVOIR PLUS Visiter le site internet du diplôme DUT INFORMATIQUE RÉSUMÉ DE LA FORMATION Type de diplôme : DUT Domaine : Sciences, Ingénierie et Technologies Objectifs Le Diplôme Universitaire de Technologie en Informatique prépare principalement les

Plus en détail

ANNEXE DESCRIPTIVE au diplôme UNIVERSITE MONTPELLIER 2

ANNEXE DESCRIPTIVE au diplôme UNIVERSITE MONTPELLIER 2 ANNEXE DESCRIPTIVE au diplôme UNIVERSITE MONTPELLIER 2 1 - Informations sur le titulaire du diplôme : réservé à l administration 1.1- Nom(s) patronymique : Prénom : 1.2- Date de naissance (J/M/A) : 1.3-

Plus en détail

SEMESTRE S1. Intitulé et descriptif des U.E. Coef Crédits Discipline A : Mathématiques Mathématiques Outils mathématiques Discipline B :

SEMESTRE S1. Intitulé et descriptif des U.E. Coef Crédits Discipline A : Mathématiques Mathématiques Outils mathématiques Discipline B : SEMESTRE S Intitulé et descriptif des U.E. Coef Crédits Discipline A : Mathématiques Mathématiques Discipline B : 0 0 Biologie Biologie Chimie Chimie Géologie Géologie Informatique Informatique Physique

Plus en détail

Rapport du comité d'experts

Rapport du comité d'experts Section des Unités de recherche Rapport du comité d'experts Unité de recherche : Laboratoire d Informatique Avancé de Saint-Denis (LIASD) EA de l'université Paris 8 février 2008 2 Section des Unités de

Plus en détail

Génie Logiciel 1. Julie Dugdale. Julie.Dugdale@upmf-grenoble.fr Daniel Bardou@upmf-grenoble.fr

Génie Logiciel 1. Julie Dugdale. Julie.Dugdale@upmf-grenoble.fr Daniel Bardou@upmf-grenoble.fr Génie Logiciel 1 Julie Dugdale Julie.Dugdale@upmf-grenoble.fr Daniel Bardou@upmf-grenoble.fr Tous les cours seront sur le Bureau Virtuel (cours, TDs, Génie Logiciel 1-2 etc.) Introduction et information

Plus en détail

Gestion de projet - la phase de réalisation du projet

Gestion de projet - la phase de réalisation du projet Gestion de projet - la phase de réalisation du projet GÉRARD CASANOVA - DENIS ABÉCASSIS Paternité - Pas d'utilisation Commerciale - Pas de Modification : http://creativecommons.org/licenses/by-nc-nd/2.0/fr/

Plus en détail

IBM Cognos TM1. Fiche Produit. Aperçu

IBM Cognos TM1. Fiche Produit. Aperçu Fiche Produit IBM Cognos TM1 Aperçu Cycles de planification raccourcis de 75 % et reporting ramené à quelques minutes au lieu de plusieurs jours Solution entièrement prise en charge et gérée par le département

Plus en détail

White Paper ADVANTYS. Workflow et Gestion de la Performance

White Paper ADVANTYS. Workflow et Gestion de la Performance White Paper Workflow et Gestion de la Performance Présentation L automatisation des process combinée à l informatique décisionnelle (Business Intelligence) offre une nouvelle plateforme de gestion pour

Plus en détail

Secteurs socio-économiques et industriels concernés

Secteurs socio-économiques et industriels concernés Master Sciences & Technologies, mention ASE (Automatique et Systèmes Electriques) Spécialité SMaRT Systèmes, Machines autonomes et Réseaux de Terrain Master co-accrédité Univerité Lille 1 - Ecole Centrale

Plus en détail

Gestion de Projet Informatique

Gestion de Projet Informatique Gestion de Projet Informatique Partie 3 : Cycles de vie de projet Licence d'informatique 3 ième Année Tianxiao Liu Université de Cergy-Pontoise 1 GPI T. LIU The earliest moment is when you think it is

Plus en détail

LICENCE SCIENCES, TECHNOLOGIES, SANTE MENTION INFORMATIQUE

LICENCE SCIENCES, TECHNOLOGIES, SANTE MENTION INFORMATIQUE LICENCE SCIENCES, TECHNOLOGIES, SANTE MENTION INFORMATIQUE RÉSUMÉ DE LA FORMATION Type de diplôme : Licence (LMD) Domaine : Sciences, Ingénierie et Technologies Mention : Informatique Présentation Informatique

Plus en détail

LICENCE INFORMATIQUE

LICENCE INFORMATIQUE COLLEGIUM SCIENCES ET TECHNOLOGIES LICENCE RMATIQUE Parcours Informatique (Nancy ou Metz) et Parcours ECS (Metz) OBJECTIFS DE LA FORMATION La licence Informatique délivre les connaissances et les compétences

Plus en détail

MASTER. Logistique. Domaine : Droit, Economie, Gestion. Mention : Logistique et distribution

MASTER. Logistique. Domaine : Droit, Economie, Gestion. Mention : Logistique et distribution MASTER Logistique Domaine : Droit, Economie, Gestion Mention : Logistique et distribution Parcours : Management logistique Ingénierie logistique Organisation : Ecole Universitaire de Management Lieu de

Plus en détail

LICENCE (LMD) - INFORMATIQUE

LICENCE (LMD) - INFORMATIQUE LICENCE (LMD) - INFORMATIQUE RÉSUMÉ DE LA FORMATION Type de diplôme : Licence (LMD) Domaine ministériel : Sciences, Technologies, Santé OBJECTIFS Les connaissances et compétences informatiques visées par

Plus en détail

Loi n 2011-893 du 28 Juillet pour le développement de l alternance et la sécurisation des parcours professionnels

Loi n 2011-893 du 28 Juillet pour le développement de l alternance et la sécurisation des parcours professionnels Loi n 2011-893 du 28 Juillet pour le développement de l alternance et la sécurisation des parcours professionnels La loi n 2011-893 du 28 juillet 2011 comporte différentes mesures visant notamment à développer

Plus en détail

MATHEMATIQUES ET SCIENCES POUR L INGENIEUR

MATHEMATIQUES ET SCIENCES POUR L INGENIEUR MASTER SCIENCES, TECHNOLOGIES, SANTE / STAPS MATHEMATIQUES ET SCIENCES POUR L INGENIEUR Spécialité Ingénierie Numérique, Signal-Image et Informatique Industrielle (INS3I) www.univ-littoral.fr OBJECTIFS

Plus en détail

Raisonner le Web Sémantique avec des graphes : Application à un cas industriel

Raisonner le Web Sémantique avec des graphes : Application à un cas industriel Raisonner le Web Sémantique avec des graphes : Application à un cas industriel Olivier Carloni LIRMM, Université de Montpellier II, 161, rue Ada, F-34392 Montpellier cedex - France carloni@lirmm.fr Mondeca,

Plus en détail

Tout au long de votre cursus Quel métier futur? Dans quel secteur d activité? En fonction de vos goûts et aptitudes et du «niveau d emploi» dans ce

Tout au long de votre cursus Quel métier futur? Dans quel secteur d activité? En fonction de vos goûts et aptitudes et du «niveau d emploi» dans ce Tout au long de votre cursus Quel métier futur? Dans quel secteur d activité? En fonction de vos goûts et aptitudes et du «niveau d emploi» dans ce «profil» S orienter (éventuellement se réorienter) dans

Plus en détail

Programme de la licence informatique, université de Caen http://www.info.unicaen.fr

Programme de la licence informatique, université de Caen http://www.info.unicaen.fr Programme de la licence informatique, université de Caen http://www.info.unicaen.fr Unité Systèmes d'information CM : 45h - TD : 60h - TP : 12h - Coeff 2 Systèmes de Gestion de Bases de Données Modéliser

Plus en détail

Projet au fil de l'année Info 2A PFA. Informations générales 30 septembre 2015. Antoine Rollet ENSEIRB MATMECA antoine.rollet@enseirb-matmeca.

Projet au fil de l'année Info 2A PFA. Informations générales 30 septembre 2015. Antoine Rollet ENSEIRB MATMECA antoine.rollet@enseirb-matmeca. Projet au fil de l'année Info 2A PFA Informations générales 30 septembre 2015 Antoine Rollet ENSEIRB MATMECA antoine.rollet@enseirb-matmeca.fr Objectif de ce projet Mise en pratique des techniques nécessaires

Plus en détail

CAHIER DES CHARGES FONCTIONNEL APPLICATION DE GESTION PÔLE SCS. CDC Application de Gestion v4 Septembre 2012 Page 1 sur 23

CAHIER DES CHARGES FONCTIONNEL APPLICATION DE GESTION PÔLE SCS. CDC Application de Gestion v4 Septembre 2012 Page 1 sur 23 CAHIER DES CHARGES FONCTIONNEL APPLICATION DE GESTION PÔLE SCS CDC Application de Gestion v4 Septembre 2012 Page 1 sur 23 TABLE DES MATIÈRES I. Introduction :...3 1. Contexte :...3 2. Indicateurs de volumétrie

Plus en détail

Conception d'un système de gestion de logs -

Conception d'un système de gestion de logs - Conception d'un système de gestion de logs - Dossier d'initialisation Version : 0.2-22/05/2008 Rédiger par : Gassmann Sébastien Lu et revu par : Petit Jean-Marc (23/05/2008) Table des matières 1 Contexte

Plus en détail

Licence en Informatique à Horraire Décalé. Cours Gestion de projet informatique Première partie

Licence en Informatique à Horraire Décalé. Cours Gestion de projet informatique Première partie Licence en Informatique à Horraire Décalé Cours Gestion de projet informatique Première partie 1 PLAN Introduction 1. Les concepts de base en management de projet : 3-33 2 Les processus du management de

Plus en détail

وزارة السكنى والتعمير وسياسة المدينة

وزارة السكنى والتعمير وسياسة المدينة وزارة السكنى والتعمير وسياسة المدينة Phase 3 Planification de la solution retenue et stratégie de changement Elaboration du Schéma Directeur du Système d Information des agences urbaines 2013 Sommaire

Plus en détail

Optimisez votre SIRH. HR Access Services Une nouvelle dimension de services. Business Consulting Services. Copyright IBM Corporation 2001

Optimisez votre SIRH. HR Access Services Une nouvelle dimension de services. Business Consulting Services. Copyright IBM Corporation 2001 Business Consulting Services Copyright IBM Corporation 2001 Compagnie IBM France Tour Descartes 2, avenue Gambetta La Défense 5 92066 Paris-La Défense cedex services/fr IBM, le logo IBM et le logo e-business

Plus en détail

Catalogue des PFE. Comment postuler

Catalogue des PFE. Comment postuler Catalogue des PFE 2012 2013 IP-TECH propose plusieurs sujets pour des stages de PFE. Ce fascicule est destiné aux étudiants et aux professeurs de l enseignement supérieur. Il commence par un aperçu rapide

Plus en détail

Mon métier, mon parcours

Mon métier, mon parcours Mon métier, mon parcours Les métiers de l Informatique Le domaine Sciences, Technologies, Santé Eric, analyste programmeur diplômé d un Master Informatique et aide à la décision Ce fascicule est centré

Plus en détail

Rapport d évaluation de la licence professionnelle

Rapport d évaluation de la licence professionnelle Section des Formations et des diplômes Rapport d évaluation de la licence professionnelle Développeur web des systèmes d'information et multimédia de l Université de Strasbourg Vague C 2013-2017 Campagne

Plus en détail

LABEL Pro RH Critères de Labellisation

LABEL Pro RH Critères de Labellisation 2011 LABEL Pro RH Critères de Labellisation VERSION V2.0c DATE : 10 Octobre 2011 LdV Project ToI n 2009-1-FR1-LEO05-07382 Page 1/6 Projet LABEL PRO RH CRITERES A VALIDER AVANT LANCEMENT DU PROCESSUS DE

Plus en détail

MATURATION ET TRANSFERT DE TECHNOLOGIE

MATURATION ET TRANSFERT DE TECHNOLOGIE MATURATION ET TRANSFERT DE TECHNOLOGIE Contexte La stratégie de spécialisation intelligente (S3) a mis en évidence la nécessité de rendre plus efficace l offre régionale de transfert de technologie, sur

Plus en détail

Master MIAGE, Spécialité en Informatique et Innovation

Master MIAGE, Spécialité en Informatique et Innovation Master MIAGE, Spécialité en Informatique et Innovation Portes ouvertes Masters 02/04/2015 Lancement de la 16 ème promotion L équipe opérationnelle du master Chrystel Petiteville, responsable administrative

Plus en détail