Accueil
Présentation
Le mot du Directeur
La direction du LIG
Vu dans la presse
Des chiffres
Faits marquants
Rapports d’activités
Accès
Recherche
Axes de recherche
Équipes de recherche
Keynote Speeches
Investissements d’avenir
Soutien et support
Collaborations
Ambassadeurs du LIG
Contrats
Unités partenaires
Internationales
Production
Publications
Plates-formes expérimentales
HPC, clusters et grilles : Digitalis
L’appartement DOMUS
The Smart Environments Lab
La salle d’interaction "Playground"
La voiture instrumentée
Le fauteuil roulant autonome
Les robots
Plates-formes logicielles
Plate-forme de prototypage
Valorisation
Panorama
Start-ups
Doctorants
Vie des doctorants
LIG-Synergy
Thèses proposées
Soutenances de thèse
Emplois & Stages
Toutes les offres
Ressources
Agenda
Annuaire du LIG
Accès
LIG-Synergy
Liens externes
VASCO
Équipes hébergées dans le bâtiment :
VASCO
Séminaires
Séminaire : Yves Grasland - Test fonctionnel de propriétés hybrides
Soutenance de thèse : Muhammad Naeem Irfan - Analysis and Optimization of Software Model Inference Algorithms
Conférence : AFADL’12 : Approches Formelles dans l’Assistance au Développement de Logiciels
Soutenance de thèse : Nafees Qamar - Animation of Security Design Models using Z
Séminaire : More Testable Properties
Séminaire : De l’utilisation de l’intelligence collective pour le développement des logiciels.
Habilitation : Contributions à l’automatisation raisonnée de différents processus du test logiciel
Thèse : Test automatique de programmes Lustre/SCADE
Thèse : Test de logiciels synchrones avec la PLC
Thèse : Codèle : Une Approche de Composition de Modèles -pour la Construction de Systèmes à Grande Échelle
0
|
10
|
20
Langues du site
English
français
ou d'autres langues
via la passerelle
...
À voir
Offres d’emploi - Maître de conférences : Université Grenoble 1 UJF / MCF4104 — Système distribué et efficacité énergétique
(mis à jour le 17/05/2013)
Offres d’emploi - Maître de conférences : Université Grenoble 2 UPMF / MCF4093 — Aide à la décision
(mis à jour le 17/05/2013)
Offres d’emploi - Maître de conférences : Université Grenoble 2 UPMF / MCF4094 — Sciences du Web
(mis à jour le 17/05/2013)
Offres d’emploi - Thèse : PhD Position in HCI
(mis à jour le 13/05/2013)
Édition 2013 de la Journée des Doctorants du LIG
(mis à jour le 29/04/2013)
DOMUS - Des locataires d’un jour testent un appartement "robotisé"
(mis à jour le 29/04/2013)
Offres d’emploi - Thèse : Multimodalité et interaction sociale
(mis à jour le 19/04/2013)
Offres d’emploi - Ingénieur CDD : animation et gestion du “fablab” du pôle recherche MSTIC de l’Université de Grenoble
(mis à jour le 10/04/2013)
Soutenance de thèse : Marion Potet : Vers l’intégration de post-éditions d’utilisateurs pour améliorer les systèmes de traduction automatiques probabilistes
(mis à jour le 5/04/2013)
Conférence : WASSS 2013 - 1st Workshop on Affective Social Speech Signals
(mis à jour le 5/04/2013)
UMR 5217 - Laboratoire LIG - Maison Jean Kuntzmann - 110 av. de la Chimie - Domaine Universitaire de Saint-Martin-d’Hères - BP 53 - 38041 Grenoble cedex 9 - France
Tél. : +33 (0)4 76 51 43 61 - Fax : +33 (0)4 76 51 49 85