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’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 Al

Lire la suite

Pages