Accueil

Au fil de l'actualité

  • Le vendredi 30 septembre 2016, soutenance de thèse de Nicolo Rivetti intitulée "Analyse efficace de flux de données et applications au traitement (...) Lire
  • Le mercredi 5 octobre 2016, soutenance de thèse de Brice Nedelec intitulée "Edition collaborative décentralisée dans les navigateurs" VOIR EN LIGNE (...) Lire
  • Le mercredi 19 octobre 2016, soutenance de thèse de Rajani Chulyadyo intitulée "Un nouvel horizon pour la recommandation : intégration de la (...) 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 : lundi 4 juillet 2016