Accueil

Au fil de l'actualité

  • Le lundi 5 décembre 2016, 14h15, LINA, soutenance de thèse de Jonathan Pépin intitulée "Architecture d’entreprise : alignement des cartographies (...) Lire
  • Le mercredi 7 décembre 2016, 10h30 à l’ Ecole des Mines de Nantes, soutenance de thèse de Amine Benelallam intitulée "Transformation de modèles sur (...) Lire
  • Le mardi 13 décembre, 16h Amphi Teillac de l’Ecole des Mines de Nantes, soutenance de Kevin Quirin pour sa thèse intitulée "Faisceautisation de (...) Lire
  • Mercredi 14 décembre, 10h30 à Polytech’Nantes, soutenance de Maroua Haddad pour sa thèse intitulée "Learning possibilistic graphical models from (...) Lire
  • Le jeudi 15 décembre, 10h à l’Ecole des Mines de Nantes, soutenance de Alexandre Garnier pour sa thèse intitulée "Langage dédié au traitement des (...) Lire
  • Le 1er janvier 2017, le LINA fusionne avec l’IRCCyN pour donner naissance au LS2N (Laboratoire des Sciences du Numérique de Nantes) - UMR (...) Lire

Toutes les actualités
    Evènements
  • logo

    CoqHoTT signifie Coq for Homotopy Type Theory. Le but de ce projet est d’aller plus loin dans la correspondance entre preuves et programmes qui a déjà permis ces 20 dernières années de développer des assistants de preuves performant, comme Coq développé au sein d’Inria. CoqHoTT (...)  Lire

  • Séminaires
  • logo

    Eclipse en Relation avec la Recherche

    A finding : Lots of academic and industrial researchers are using Eclipse technologies. Few of them are involved in the Eclipse ecosystem (for example Nantes modelling (...) Lire

le laboratoire

Le LINA résulte de la réunion en 2004 de l’Institut de Recherche en Informatique de l’Université de Nantes (IRIN) et du département informatique de l’École des Mines de Nantes. Initialement FRE (Formation de Recherche en Évolution), le LINA devient l’UMR 6241 en janvier 2008 avec trois tutelles : l’Université de Nantes, l’École des Mines de Nantes et le CNRS. Il est rattaché à l’Institut des Sciences Informatiques et de leurs Interactions (INS2I) du CNRS, qui recouvre ses 5 grands thèmes de compétence, soit au sein de la section 6 pour les thèmes « science des données », « contraintes et optimisation », « systèmes et logiciels répartis » et « bioinformatique », soit au sein de la section 7 pour le thème « ressources et applications multilingues ». Depuis janvier 2013, Inria est partenaire du LINA. Le laboratoire est dirigé par Pierre Cointe. (...) Lire

Dernière modification : vendredi 25 novembre 2016