LIG Keynote Speeches

Les Grandes Conférences du LIG - The LIG Keynote Speeches
 - 
LIG
 -  04 octobre 2012

Le génie mathématique, du théorème des quatre couleurs à la classification des groupes

George Gonthier (Microsoft & INRIA)

Voilà plus de trente ans que l’informatique et les ordinateurs ont fait irruption dans les mathématiques, avec la célèbre preuve du théorème des quatre couleurs par Appel et Haken.

Lire la suite
Les Grandes Conférences du LIG - The LIG Keynote Speeches
 - 
LIG
 -  05 juillet 2012

L’évolution biologique comme forme d’apprentissage

Leslie Valiant

Living organisms function according to protein circuits. Darwin’s theory of evolution suggests that these circuits have evolved through variation guided by natural selection.

Lire la suite
Les Grandes Conférences du LIG - The LIG Keynote Speeches
 - 
LIG
 -  07 juin 2012

Information Visualization for Knowledge Discovery

Ben Shneiderman
Lire la suite
Les Grandes Conférences du LIG - The LIG Keynote Speeches
 - 
LIG
 -  02 février 2012

Vers une modélisation expressive des mondes virtuels animés

Marie-Paule Cani / LJK - INRIA

Despite our great expressive skills, we humans lack an easy way of conveying the 3D shapes we imagine, even more so for dynamic shapes that change over time.

Lire la suite
Les Grandes Conférences du LIG - The LIG Keynote Speeches
 - 
LIG
 -  05 janvier 2012

Integrating Job Management and Machine Management in Google Data Centers

Joseph L. Hellerstein, Google, USA

In cloud based services, many jobs run for months. This is a time frame that is on the order of machine lifetimes.

Lire la suite
Les Grandes Conférences du LIG - The LIG Keynote Speeches
 - 
LIG
 -  01 décembre 2011

From Concurrency Models to Numbers: Performance, Dependability, Energy

Holger Hermanns, Saarland University, Germany

Is it a good idea to ride a bike with a wireless brake ? How to dimension buffer sizes in a NoC ? What availability can be expected for Gallileo IOV ?

Lire la suite
Les Grandes Conférences du LIG - The LIG Keynote Speeches
 - 
LIG
 -  03 novembre 2011

Une vision pour l’informatique - La perspective système

Joseph Sifakis

In this talk, I will discuss the evolution of Computer Science and in particular its shift of focus from algorithms and programs to systems.

Lire la suite

Pages