Accueil

Au fil de l'actualité

  • Le 19 décembre 2014 à 14h00 en salle 3 du LINA, Faculté des Sciences et Techniques, soutenance de thèse d’Elizaveta Clouet (Loginova) intitulée (...) Lire
  • Le vendredi 19 décembre 2014 de 10h30 à 12h, salle 105 LINA Deux orateurs invités par Alban Gaignard (projet SyMeTRIC, CHU de Nantes) : Bernard (...) Lire
  • Nicolas Tabareau, chargé de recherche Inria et membre de l’équipe ASCOLA, est lauréat d’un ERC starting Grant dédié aux jeunes (...) 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

    Séminaire biosticker

    Bernard Gibaud Titre : Vers des ontologies pour décrire des biomarqueurs d’imagerie : pourquoi et comment ? The presentation will introduce imaging biomarkers, and (...) Lire

le laboratoire

logo

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

%##1@

%##1@

%##1@

%##1@

Dernière modification : lundi 15 décembre 2014