Vidéos en ligne

Les Grandes Conférences du LIG - The LIG Keynote Speeches
 - 
LIG
 -  06 octobre 2016

Electronic voting : How logic can help

Véronique CORTIER

Véronique Cortier is CNRS research director at Loria (Nancy, France). In 2003, she received her Ph.D.

Lire la suite
Thèse
 - 
VERIMAG
 -  29 septembre 2016

Habilitation à Diriger des Recherches

Radu IOSIF

Abstract In this thesis, we present several theoretical and practical re

Lire la suite
Conférence
 - 
VERIMAG
 -  29 septembre 2016

Automatic Verification of Linearization Policies

Parosch Aziz ABDULLA

We consider the problem of proving linearizability for concurrent threads that access a shared data structure.

Lire la suite
Conférence
 - 
VERIMAG
 -  29 septembre 2016

Decision Problems for Linear Dynamical Systems

Joël OUAKNINE

Dynamical systems, both discrete and continuous, permeate vast areas of mathematics, physics, engineering, and comput

Lire la suite
Conférence
 - 
VERIMAG
 -  29 septembre 2016

Thread Modularity on the Next Level

Andreas PODELSKI

A thread-modular proof for the correctness of a concurrent program is based on an inductive and interference-free ann

Lire la suite
Conférence
 - 
EcoInfo
 -  27 septembre 2016

L’éco conception des produits d’Orange : Bilan & perspectives des actions après 4 générations de produits

Marc VAUTIER

Marc Vautier a passé près de 20 ans dans la R&D chez Orange dans le domaine des réseaux & services, il est en charge depuis 2007 de l’éco

Lire la suite
Conférence
 - 
EcoInfo
 -  27 septembre 2016

LENOVO : “Comment trouver l’équilibre optimal entre les exigences de l’utilisateur et l’impact environnemental ?”

Damien HARTMANN / Magnus PIOTROWSKI

Damien Hartmann & Magnus Piotrowski (Responsable des Affaires Environnementales pour la zone EMEA chez Lenovo.

Lire la suite
Conférence
 - 
EcoInfo
 -  27 septembre 2016

L’aventure Fairphone

Olivier HEBERT

Une vision du design pour une industrie IT plus éthique.

Lire la suite
Conférence
 - 
EcoInfo
 -  27 septembre 2016

Apports et impacts de l’Open Hardware sur l’éco-conception

Olivier RICHARD

Olivier Richard (LIG, Grenoble) Olivier Richard est enseignant-chercheur à l’université Grenoble Alpes, il s’intéresse à la gestion des infrastru

Lire la suite

Pages