17:0408 — Informatique, algorithmique et logiciels libres aussi
A 17-minute video from LIP6: “08 — Informatique, algorithmique et logiciels libres aussi”.
LIP6
374 subscribers on YouTube
Shorts, livestreams, trailers and promos are never listed. Unless a curator approved this channel in full, only individually picked videos appear.
17:04
5:46Coriolis : Chaîne de conception assistée par ordinateur pour la VLSI (Very-Large-Scale Integration)
Advanced
A 6-minute video from LIP6: “Coriolis : Chaîne de conception assistée par ordinateur pour la VLSI (Very-Large-Scale Integration)”.
1:03:15Du calcul mécanique au calcul quantique
A 63-minute video from LIP6: “Du calcul mécanique au calcul quantique”.
1:26:50ETAPS 202 - Heterogeneous Computing: What, Why, How, and Where to ?
Advanced
A 87-minute video from LIP6: “ETAPS 202 - Heterogeneous Computing: What, Why, How, and Where to ?”.
1:01:47ETAPS 2023 - Electronic Voting: Design And Formal Verification
Advanced
A 62-minute video from LIP6: “ETAPS 2023 - Electronic Voting: Design And Formal Verification”.
1:04:23ETAPS 2023 - Scaling Formal Verification to Realistic Code with Applications to DeFi Verification
Advanced
A 64-minute video from LIP6: “ETAPS 2023 - Scaling Formal Verification to Realistic Code with Applications to DeFi Verification”.
1:40:25ETAPS 2023 - Verifying Probabilistic Programs: From Theory to Automation
Advanced
A 100-minute video from LIP6: “ETAPS 2023 - Verifying Probabilistic Programs: From Theory to Automation”.
1:00:49ETAPS2023 - Brains on Code: Towards a Neuroscientific Foundation of Program Comprehension
Advanced
A 61-minute video from LIP6: “ETAPS2023 - Brains on Code: Towards a Neuroscientific Foundation of Program Comprehension”.
1:16:47Intelligence artificielle et architectures électroniques : un destin commun
A 77-minute video from LIP6: “Intelligence artificielle et architectures électroniques : un destin commun”.
1:38:38LIP6 - De l'histoire de l'informatique considérée comme une course d'obstacles épistémologiques
Advanced
A 99-minute video from LIP6: “LIP6 - De l'histoire de l'informatique considérée comme une course d'obstacles épistémologiques”.
1:28:10Le Logiciel Libre - Au service de la souveraineté numérique depuis plus de 35 ans
A 88-minute video from LIP6: “Le Logiciel Libre - Au service de la souveraineté numérique depuis plus de 35 ans”.
1:27:58Mieux décider dans un monde complexe grâce à l'intelligence artificielle
A 88-minute video from LIP6: “Mieux décider dans un monde complexe grâce à l'intelligence artificielle”.