01:04:23

ETAPS 2023 - Scaling Formal Verification to Realistic Code with Applications to DeFi Verification

01:01:47

ETAPS 2023 - Electronic Voting: Design And Formal Verification

01:40:25

ETAPS 2023 - Verifying Probabilistic Programs: From Theory to Automation

01:26:50

ETAPS 202 - Heterogeneous Computing: What, Why, How, and Where to ?

01:00:49

ETAPS2023 - Brains on Code: Towards a Neuroscientific Foundation of Program Comprehension

05:46

Coriolis : Chaîne de conception assistée par ordinateur pour la VLSI (Very-Large-Scale Integration)

05:05

E-LearningScape : Un escape game numérique pour la recherche en EIAH

04:20

SyncLock : Protection anti-piratage pour les circuits intégrés de communications sans fil

01:38:38

LIP6 - De l'histoire de l'informatique considérée comme une course d'obstacles épistémologiques

04:06

Célébration des 25 ans du LIP6 !

01:28:10

Le Logiciel Libre - Au service de la souveraineté numérique depuis plus de 35 ans

01:03:15

Du calcul mécanique au calcul quantique

01:16:47

Intelligence artificielle et architectures électroniques : un destin commun

01:27:58

Mieux décider dans un monde complexe grâce à l'intelligence artificielle

17:04

08 — Informatique, algorithmique et logiciels libres aussi

05:56

07 — Après 75 ans, l'informatique enfin dans les lycées

14:16

06 — Recherche en informatique et transferts technologiques

07:34

05 — Informatique, éthique et humanités

23:03

04 — 75 ans d'informatique, le point de ve d'institutions majeures dans son développement

09:00

03 — L'algorithmique au service de la société

13:04

02 — Arts et quantique, sur les frontières de l'informatique

06:45

01 — Vous avez dit «75 ans d'informatique en France ?»

02:53

00 — Célébration de 75 ans d'informatique en France

01:45:42

Femmes dans le numérique : disparition réversible ? (table ronde)

01:30:17

Naissance de l'intelligence artificielle (table ronde)

01:09:08

L'informatique dans le 7eme art : mythe ou réalité ? (F. Kordon)

01:35:57

Introduction to quantum computing (Alex Bredariol Grilo, November 8, 2021)

54:51

La naissance du traitement numérique de l'image (I. Bloch et H. Maître)

10:27

Remise de la médaille de Cristal à Francis Hulin Hubard

31:05

Séminaire Laurent Rodriguez (1er juillet 2021)

44:54

Séminaire Jade Vanbuis (8 avril 2021)

05:36

Projet Cyclope (@LIP6) — France Télévision, TéléMatin du 23 février 2021

54:00

Séminaire d'Isabelle Bloch (20 novembre 2020)

07:50

05 — La classe virtuelle, comment ça marche ?

07:21

04 — L’intelligence artificielle pour aider les medecins

07:44

03 — L’impact du confinement sur le réseau Internet

08:08

02 — Un virus informatique, comment ça marche ?

07:50

01 — Le traçage numérique pour le suivi de contact

02:30

La plateforme de calcul du LIP6

02:25

La plateforme optique du LIP6