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

2 Evolution des moyens au LIFC - Plan Présentation du LIFC Financement des thèses Investissement, fonctionnement et personnels contractuels de 1998 à 2003 Evolutions des moyens Questions ?

3 Personnels et Répartition géographique 90 Besançon 8 Prof. 14 MCF 19 Thésards 1,25 Adm. 1 IGR 0,5 IGE 7 ing. contr. Extérieurs 3 Thésards (FT R&D, CHU) Belfort- Montbéliard 2 Prof. 16 MCF 8 Thésards 40 ens.-ch., 30 doctorants, 2,75 IATOS 7 contractuels

4 Deux équipes de recherche et une action Equipe DP : D istribution P arallélisme responsable : H. Guyennet Equipe TFC : T echniques F ormelles et à C ontraintes responsable : F. Bellegarde Action SICAH : S ystèmes d I nformation et de C ommunication pour laide à l A pprentissage H umain responsable : T. Chanier

5 Equipe Distribution et Parallélisme - Hervé Guyennet quatre actions : metacomputing algorithmique numérique algorithmes distribués et télé-applications coopératives flux multimédia dans les réseaux mobiles 5 profs, 16 MCF, 1 IGR, 20 doctorants, 2 ing. contr.

6 Equipe Techniques Formelles et à Contraintes - Françoise Bellegarde e 1 déchargement DeDt DeDt e 0 chargement init chargement évacuation e 2 DeDt évacuation e 3 DeDt (De=occupé Dt=occupé) ( De=libre Dt=occupé) ((De=lre Dt=libre) (Dt=occupé)) 4 Profs, 12 MCF, 13 doctorants, 5 ing. contr. deux actions : expression et vérification par raffinement model-checking modulaire vérification compositionnelle vérification par reformulation vérification de systèmes infinis vérification et validation symboliques et à contraintes évaluation de spécifications logico-ensembl. génération de tests animation et model-checking test d atteignabilité d états aux limites

7 Action Systèmes dInformation et de Communication pour laide à lApprentissage Humain - Thierry Chanier Plan dun centre de formation virtuel modélisation cognitive étude des interactions de groupe en FAD architecture des systèmes de télé- formation 1 Prof, 1 MCF, 1 doctorant

8 Sources de financements en 2003 Quadriennal MR, CNRS Projet INRIA CASSIS Région, CPER RNTL (BOM, GASP, INKA, PROUVE) et RNRT (TEMIC) ANVAR BZ-Testing-Tools ACI Sécurité (EDEMOI, GECCOO, V3F), GRID (ARGE, ASP) JeMSTIC et ACI Jeune chercheur MR Contrats (CEA, PSA, Schlumberger) Europe ITEA (PROTEUS) et Interreg III

9 Evolution depuis 98 Doctorants : 18 en 98, 30 en 2003 Enseignants-chercheurs : 23 en 98, 40 en créations et redéploiements 15 extérieurs sur 25 recrutements de 98 à 2003 Développement des relations industrielles : contrats CEA, Schlumberger et PSA projets avec Gemplus, SUN, Thales, ClearSy, NMG Télécom projet ANVAR

10 Evolution depuis 98 (suite) Fort développement de linsertion nationale 5 projets RNTL (LSR-IMAG, I3S, LIP, LORIA, IRCOM) membre du projet INRIA CASSIS (LORIA) 1 ACI Cognitique (Nancy 2, Open University) 2 ACI GRID (Nancy, Metz, Strasbourg, Reims, Dijon,...) 3 ACI Sécurité (Grenoble, Nancy, Orsay, Sophia, …) Amélioration de linsertion européenne participation au projet ITEA PROTEUS 2 projets Interreg III en cours Progression importante des moyens financiers budget 2001 = 4 budget 98 (projets nationaux, contrats) Budget 2003 = 6 budget 98 (projets européens)

11 Financement des 30 thèses en cours 6 allocations MR 6 collectivités locales (Région, CAPM, Ville Belfort) 1 Région/INRIA (projet Européen) 3 CPER 4 projets (ANVAR, Interreg III, ITEA) 3 extérieurs (FT R&D, CHU) 2 coopérations internationales (Cameroun, Sénégal) 5 ATER et PRAG

12 Origine des financements des thèses Répartition DEA (alloc. MR) 99/00 : 3 00/01 : Région 01/02 : 3 ED (alloc. MR) 02/03 : région 03/04 : 1 Projets 03/04 : 1 ACI Sécurité + 1 Région Autres financements que MR 00/99 : 0 00/01 : 1 01/02 : 4 02/03 : 6 03/04 : 6

13 Evolution des financements de thèses attribution par répartition ED : 21 allocations MJER en 01/02, 15 en 03/04 attributions sur projet (ACI, Région) autres financements (contrats, projets européens, collectivités, CPER, etc.)

14 Budget 1998

15 Répartition des dépenses 1998

16 Origine des recettes 1998

17 Origine détaillée des recettes 1998

18 Budget 2001

19 Répartition des dépenses 2001

20 Origine des recettes 2001

21 Origine détaillée des recettes 2001

22 Budget 2003

23 Répartition des dépenses

24 Origine des recettes 2003

25 Origine détaillée des recettes 2003

26 Evolution du budget

27 Evolution des ressources de1998 à 2003

28 Bilan des allocations de thèses affectées par répartition d autres financements de thèses : Région, CPER, contrats, ACI, etc. stabilité du financement des tutelles accès à d autres financements grâce à nos reconnaissances CNRS et INRIA 2003 accès aux financements CPER depuis 2000 développement des personnels contractuels

29 Questions (1) qualité des résultats et Chiffre dAffaire ? sommes-nous 6 fois meilleurs en 6 ans ? quel est l impact de la participation à des projets ? ACI, ITEA, RNTL ou RNRT, etc. ANVAR et création d entreprise financement des tutelles proportionné ? à l effort de contractualisation à l argent distribué sur projet

30 Questions (2) les projets optimisent-ils l utilisation des financements ? comment les orientent-ils entre fondamental et appliqué ? quels financements pour la recherche fondamentale ?