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
Logique
Équipes hébergées dans le bâtiment :
CAPP
,
CONVECS
,
EXMO
,
TYREX
,
VASY
,
WAM
Séminaires
Conférence : WACAI’12 - Workshop Affects, Compagnons Artificiels, Interaction
Soutenance de thèse : Du typage vectoriel
Séminaire : Clément Hurlin - Verification, analysis, and transformation of multithreaded programs using separation logic
Keynote Speech : Alain Colmerauer - Du traitement de la langue naturelle à Prolog
Séminaire : A model for Web information management with access control
Habilitation : Frédéric Prost - Calcul et dépendances
Soutenance de thèse : Découverte automatique de correspondances entre ontologies
Soutenance de thèse : Schémas de formules et de preuves en logique propositionnelle
Soutenance de thèse : Methods and Tools for Weak Translation Problems
Thèse : Agents utilisateurs pour la protection des données personnelles : modélisation logique et outils informatiques
0
|
10
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 - Ingénieur CDD : animation et gestion du “fablab” du pôle recherche MSTIC de l’Université de Grenoble
(mis à jour le 10/04/2013)
Conférence : WASSS 2013 - 1st Workshop on Affective Social Speech Signals
(mis à jour le 5/04/2013)
Conférence : SLPAT 2013 - 4th Workshop on Speech and Language Processing for Assistive Technologies
(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