Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 9323
Conférences

le (1h2m37s)

Proofs assistants : from symbolic logic to real mathematics

Mathematicians have always been prone to error. As proofs get longer and more complicated, the question of correctness looms ever larger. Andrew Wiles’ proof of Fermat’s last theorem contained a flaw that was only fixed a year later. Meanwhile, proof assistants — formal tools originally developed in order to verify hardware and software — are growing in sophistication and are being applied more and more to mathematics itself. When will proof assistants finally become useful to working mathematicians? Mathematicians have used computers in ...
Voir la vidéo
Entretiens

le (53m29s)

Entretien Michel Lequenne 2012

Michel Lequenne est entré à 17 ans dans les Auberges de jeunesse (en 1938, groupe du Havre), le chaos des discussions qui s'y déroulent lui ouvrent de nouveaux horizons.  Les procès de Moscou, la lecture de Faux Passeports de Charles Plisnier, enfin des récits de la guerre d'Espagne par un ami de la famille, lui ont ouvert les yeux sur le stalinisme dès cette date.Après l'exode, au Mans, il découvre en 1940 le programme des Jeunes équipes unies pour une nouvelle économie sociale (JEUNES) de la gauche abondanciste.En novembre, il participe au congrès clandestin du Centre laïque des Auberges de la jeunesse (CLAJ) ...
Voir la vidéo
Documentaires

le (17m40s)

Le dernier supplice chinois

Sujet délicat pourrait-on penser d'emblée… l'horreur de ces images est pourtant transcendée dès que Jérôme Bourgon prend la parole. Limpide, précis, historien avant toute chose, son exposé tient de l'enquête et de la reconstitution. Décryptage extrêmement détaillé de l'image, découvertes, recoupements, construction d'un réseau d'informateurs, exhumation de documents d'archives, toute son analyse concourt à une lecture analytique de ce document a priori insupportable. L'étude réalisée pour le musée Niepce est à cet égard significative. Sujet court et intense, centré sur un cliché particulier de cette série conservée à Chalons sur Saône, la réalisation prend le parti d'une mise en scène ...
Voir la vidéo
Conférences

le (1h19m16s)

Les premiers photons : les saisir, les faire parler

La collaboration « Planck » de l’Agence Spatiale Européenne a récemment publié une carte plein-ciel du rayonnement fossile cosmologique. Cette image est presque littéralement une « photo instantanée » de notre Univers aux premiers temps de sa formation, la plus vieille image du monde. Elle confirme avec éclat et approfondit la théorie du Big Bang, notre meilleur scénario pour l’origine et la formation de l’Univers.  Dans cet exposé, je rappellerai les grandes lignes de la théorie du Big Bang, décrirai le satellite Planck et le traitement des ...
Voir la vidéo
Conférences

le (58m39s)

Coccinelle: synergy between programming language research and the Linux kernel

The Linux kernel underlies all kinds of systems across the computing landscape, from embedded systems to supercomputers. Today, the number of developers contributing to a given Linux kernel version is almost 2000. These range from developers who have many years of experience and work on core parts of the kernel to new developers who contribute a single device driver or bug fix. This volume of contributors and range of experience levels implies that devising means to unambiguously communicate information about kernel properties across the ...
Voir la vidéo

 
FMSH
 
Facebook Twitter
Mon Compte