Quelles vidéos tout le monde devrait regarder?

L’Université de Stanford a maintenant une chaîne Youtube , avec un accès gratuit à la vidéo HD de tous les cours, des systèmes dynamiques à l’intrication quantique. Plus de conférences et d'ateliers enregistrent leurs discours sur bande vidéo. Quelles sont les vidéos en ligne que tout le monde devrait connaître?

Je vais ajouter quelques réponses à des présentations qui sont pour la plupart des exposés, mais j'espère que ce wiki de communauté deviendra une ressource pour partager d'excellentes présentations de nouvelles recherches, ainsi qu'un lieu pour apprendre ( ou renforcer) fond dans une zone inconnue.

Timothy Gowers propose une série de vidéos sur la complexité informatique et le calcul quantique en ligne.

Conférences Messenger de Richard Feynman restaurées, avec des annotations, par le projet Tuva de Microsoft. Divulgation complète: je n'en ai regardé que deux jusqu'à présent; ils étaient géniaux. (Pas vraiment TCS, mais je devais commencer par ceux-ci.)

Les réflexions de Don Knuth sont excellentes, décrivant toujours quelque chose d'extraordinaire que je ne connaissais pas auparavant.

Stephen Boyd a toute sa classe à Stanford sur l' optimisation convexe en ligne.

Quelques commentaires intéressants et à part, couvre le même matériel que dans son livre .

Instituts avec vidéos de discussion en ligne:

• The Fields Institute de l'Université de Toronto (audio + diapositives)

• Institut des hautes études en mathématiques et informatique et mathématiques discrètes

• L'Institute for Advanced Studies / Princeton pour l'intractabilité informatique ,
  par exemple des ateliers sur les obstacles

• Institut Isaac Newton pour les sciences mathématiques

• Institut Simons pour la théorie de l'informatique

Groupes théoriques avec vidéos de discussion en ligne:

• Groupe de théorie à l'Université de Chicago

Voir aussi cet article de blog de Lance Fortnow.

La conférence sur le prix Nevanlinna de Dan Spielman à Hyderabad en 2010. J'ai reçu ce lien dans un article de blog de Timothy Gowers; l'article contient plusieurs autres liens vidéo et texte vers l'ICM 2010.

Il y a une discussion très intéressante, donnée par Yuri Gurevich, sur la thèse de Church-Turing ici .

La section vidéo de IAS est également une excellente source de cours en ligne. Un de mes préférés est:
Ketan Mulmuley. Sur P vs NP, la théorie de la complexité géométrique et l'hypothèse de Riemann.

FOCS (Symposium IEEE sur les fondements de l'informatique)

• Les vidéos FOCS 2010 sont maintenant en ligne . Glencora Borradille mentionne ses favoris dans cet article .

Je ne sais pas s'il s'agit d'une conférence vidéo que tout le monde devrait regarder, mais j'ai décidé de les regarder pour apprendre un peu la topologie algébrique. Cela me semble plutôt bon jusqu'à présent.

Conférences sur la topologie algébrique

EDIT (ajouté plus tard) . Une autre belle série de conférences vidéo

Voici un autre ensemble merveilleux de conférences par Erik Demaine. Le cours s'appelle Planar Graph Algorithms and Beyond et est enseigné par Erik Demaine, Shay Mozes, Christian Sommer et Siamak Tazari. Ils utilisent également certaines sections du brouillon de Phil Kliens sur les graphes planaires. Je suis convaincu que cela fera un bon livre après avoir vu les deux premières conférences.

Pour les personnes intéressées par le calcul quantique, les présentations de QIP 2010 sont disponibles à l' adresse suivante : http://www.qip2010.ethz.ch/programme

Cela peut sembler assez préliminaire à la plupart des gens ici, mais j'en ai grandement bénéficié puisque je suis essentiellement autodidacte. http://aduni.org/courses/theory/index.php?view=cw

Je suggère les conférences sur Channel 9: http://channel9.msdn.com/Tags/c9+lectures

J'aime particulièrement les conférences d'Erik Meijer sur la programmation fonctionnelle.

Quantiki a un site de résumé vidéo , où les gens sont libres de poster une courte vidéo (3-6 minutes) décrivant leurs récents articles / pré-impressions. Comme il fait partie de Quantiki, il se concentre principalement sur l’information / le calcul quantique.

Une vidéo complètement hilarante (et également très éducative) est la célèbre vidéo de Serre sur la façon d'écrire mal les mathématiques.

J'ai apprécié la conférence de Scott Aaronson à Caltech intitulée "L'informatique quantique et les limites de l'efficacité calculable". Cette conférence, qui était en l'honneur de Feynman, retrace les connaissances communes des utilisateurs de ce site, mais de manière très claire et amusante.

STOC (Symposium ACM sur la théorie de l'informatique)

• Les vidéos de STOC 2011 sont maintenant en ligne sur ACM DL.

Erik Winfree décrit l'autoassemblage de l'ADN et la programmation moléculaire lors d'une conférence plénière à ASPLOS 2008. Probablement la meilleure introduction rigoureuse à la théorie de l'autoassemblage actuellement en ligne.

Information quantique, calcul et complexité

Erik Demaine présente les conférences vidéo de son cours d'automne 2010 sur les algorithmes de pliage géométrique qui suit le manuel qu'il a coécrit avec Joseph O'Rourke:

http://courses.csail.mit.edu/6.849/fall10/lectures/

Les conférences sont super comme vous vous en doutez. Mais ce qui me frappe le plus, ce sont les valeurs de la production: la page Web de chaque conférence comprend des diapositives et des notes de lecture intégrées qui se synchronisent avec la vidéo. Il utilise la vidéo HTML5 haute définition avec toute la synchronisation des diapositives et des notes de cours réalisée en JavaScript. Espérons que cela établira une nouvelle norme d'excellence.

CCC (Conférence IEEE sur la complexité informatique)

• Les vidéos CCC 2010

La chaîne Youtube du MIT pourrait également être utile.

Je viens de trouver les deux sites Web suivants. Certaines personnes les ont recommandées, mais je ne les ai pas encore évaluées:

• VideoLectures.net: http://videolectures.net/Top/Computer_Science/
• AacademicEarth.org: http://academicearth.org/subjects/computer-science/

Je suis en retard pour répondre, mais trouvez l' excellente conférence de Cristian Calude sur l'incomplétude.

$\mathsf{P}$$\mathsf{NP}$

Michael Sipser, "Au-delà du calcul: le problème P vs NP" , Conférence publique du CMI , 2006.

Egalement disponible sur youtube .

Ce sont des séries de conférences sur le calcul quantique par le professeur David Deutsch

http://www.quiprocone.org/Protected/DD_lectures.htm

Une autre grande série sur le calcul quantique de Michael Nielsen s’adresse au Joe moyen qui veut en savoir plus sur le calcul quantique

https://m.youtube.com/#/playlist?gl=US&hl=fr&client=mv-google&list=PL1826E60FD05B44E4

$\pi$

Les ressources suivantes sont très utiles: http://www.aduni.org/courses/ (mathématiques discrètes, algorithmes, théorie de l'informatique et bien d'autres) et http://erikdemaine.org/classes/ (j'aime particulièrement les algorithmes sur graphes lecture et structure de données avancée lec ici)

TCS + (une série de séminaires en ligne toutes les deux semaines, utilisant Google Hangouts comme support), possède une chaîne YouTube , ainsi qu'une liste des conférences précédentes:

https://sites.google.com/site/plustcs/past-talks

(Cette liste comprend également les diapositives des discussions).

Les sujets sont assez diversifiés et destinés à couvrir tous les domaines du SDC.

Vidéos générales CS, vous en trouverez de bonnes ici: http://lecturefox.com/computerscience/

Pas limité au calcul mais néanmoins bon: http://mitworld.mit.edu/