¿Qué videos deberían ver todos?

La Universidad de Stanford ahora tiene un canal de Youtube , con acceso gratuito a videos HD de cursos completos sobre todo, desde sistemas dinámicos hasta entrelazamiento cuántico. Más conferencias y talleres están grabando en video sus charlas. ¿Qué videos en línea crees que todos deberían saber?

Sembraré esto con algunas respuestas a las presentaciones que son en su mayoría expositivas, pero lo que espero que suceda es que este wiki de la comunidad podría convertirse en un recurso para compartir excelentes presentaciones de nuevas investigaciones, así como un lugar para aprender ( o reforzar) antecedentes en un área desconocida.

Timothy Gowers tiene un conjunto de videos en línea sobre Complejidad Computacional y Computación Cuántica .

Las conferencias Messenger de Richard Feynman restauradas, con anotaciones, por el Proyecto Tuva de Microsoft. Revelación completa: solo he visto dos hasta ahora; fueron geniales. (No es realmente TCS, pero tuve que comenzar con estos).

Las reflexiones de Don Knuth son geniales, siempre describen algo sorprendente desconocido para mí antes.

Stephen Boyd tiene toda su clase de Stanford en Convex Optimization en línea.

Algunos comentarios interesantes y aparte, cubre el mismo material que en su libro .

Institutos con videos de conversación en línea:

• The Fields Institute de la Universidad de Toronto (audio + diapositivas)

• El Instituto de Estudios Avanzados en la Escuela de Matemáticas e Informática y Matemáticas Discretas

• El Instituto de Estudios Avanzados / Centro de Princeton para Intractabilidad Computacional ,
  por ejemplo , Talleres de Barreras

• Instituto Isaac Newton de Ciencias Matemáticas

• Instituto Simons de Teoría de la Computación

Grupos de teoría con videos de conversación en línea:

• Grupo Teórico en la Universidad de Chicago

También vea esta publicación de blog de Lance Fortnow.

Conferencia del Premio Nevanlinna de Dan Spielman en Hyderabad 2010. Recibí este enlace de una publicación de blog de Timothy Gowers; la publicación contiene varios enlaces de video y texto más al ICM 2010.

Hay una charla realmente interesante, dada por Yuri Gurevich, sobre la tesis de Church-Turing aquí .

La sección de videos de IAS también es una gran fuente de cursos en línea. Uno de mis favoritos es:
Ketan Mulmuley. En P vs NP, teoría de la complejidad geométrica y la hipótesis de Riemann.

FOCS (Simposio IEEE sobre Fundamentos de Informática)

• Los videos de FOCS 2010 ya están en línea . Glencora Borradille menciona sus favoritos en esta publicación de blog .

No sé si esta es una video conferencia que todos deberían ver, pero he decidido verlos para aprender algo de topología algebraica. Me parece bastante bien hasta ahora.

Conferencias de topología algebraica

EDITAR (agregado más tarde) . Otro buen conjunto de video conferencias

Aquí hay otro maravilloso conjunto de conferencias de Erik Demaine. El curso se llama Planar Graph Algorithms and Beyond y está siendo impartido por Erik Demaine, Shay Mozes, Christian Sommer y Siamak Tazari. También están utilizando algunas secciones del borrador de Phil Kliens en Gráficos Planar. Estoy seguro de que será un gran libro después de haber visto las dos primeras conferencias.

Para las personas interesadas en la computación cuántica, las charlas de QIP 2010 están disponibles aquí: http://www.qip2010.ethz.ch/programme

Esto puede parecer bastante preliminar para la mayoría de las personas aquí, pero me he beneficiado enormemente de esto ya que soy esencialmente autodidacta. http://aduni.org/courses/theory/index.php?view=cw

Sugiero las conferencias del Canal 9: http://channel9.msdn.com/Tags/c9+lectures

Me gustan especialmente las conferencias de Erik Meijer sobre programación funcional.

Quantiki tiene un buen sitio de resumen de videos , donde las personas son libres de publicar un video corto (3-6 minutos) describiendo sus trabajos / preimpresiones recientes. Como es parte de Quantiki, se centra principalmente en la información / computación cuántica.

Un video completamente divertido (y también muy educativo) es el video ahora famoso de Serre sobre cómo escribir mal las matemáticas.

Disfruté de la conferencia de Scott Aaronson en Caltech titulada "Computación cuántica y los límites de lo eficientemente computable". Esta conferencia, que fue en honor a Feynman, vuelve a contar lo que es de conocimiento común para los usuarios de este sitio, pero de una manera muy clara y divertida.

STOC (Simposio ACM sobre Teoría de la Computación)

• Los videos de STOC 2011 ya están en línea en ACM DL.

Erik Winfree describe el autoensamblaje de ADN y la programación molecular en una charla plenaria en ASPLOS 2008. Probablemente la mejor introducción rigurosa a la teoría del autoensamblaje actualmente en línea.

Información cuántica, computación y complejidad

Erik Demaine tiene las conferencias en video de su curso de otoño de 2010 sobre algoritmos de plegado geométrico que siguen el libro de texto que escribió junto con Joseph O'Rourke:

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

Las conferencias son geniales como era de esperar. Pero lo que realmente me llama la atención son los valores de producción: la página web de cada conferencia tiene diapositivas incrustadas y notas de lectura que se reproducen en sincronía con el video. Utiliza video HTML5 de alta definición con toda la sincronización de diapositivas y notas de clase realizadas en JavaScript. Esperemos que esto establezca un nuevo estándar de excelencia.

CCC (IEEE Conference on Computational Complexity)

• Los videos de CCC 2010

El canal de YouTube del MIT también podría ser útil.

Acabo de encontrar los siguientes dos sitios web. Fueron recomendados por algunas personas, pero aún no los he evaluado:

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

Llego tarde a responder, pero encuentro excelente la conferencia de Cristian Calude sobre Incompleteness.

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

Michael Sipser, "Más allá de la computación: el problema P vs NP" , CMI Public Lecture , 2006.

También disponible en youtube .

Estas son una serie de conferencias sobre computación cuántica del profesor David Deutsch

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

Otra gran serie sobre computación cuántica de Michael Nielsen dirigida al Joe promedio que quiere aprender sobre computación cuántica

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

$\pi$

Los siguientes recursos son muy útiles: http://www.aduni.org/courses/ (Matemáticas discretas, algoritmos, teoría de la computación y muchos otros) y http://erikdemaine.org/classes/ (particularmente me gustan los algoritmos en planar conferencia de gráficos y estructura de datos avanzada lec aquí)

TCS + (una serie de seminarios quincenales en línea, utilizando Google Hangouts como medio), tiene un canal de YouTube , así como una lista de conferencias anteriores:

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

(Este listado también incluye las diapositivas de las conversaciones).

Los temas son bastante diversos y están destinados a cubrir todas las áreas de TCS.

Videos generales de CS, encontré algunos buenos aquí: http://lecturefox.com/computerscience/

No se limita a la informática, pero es bueno: http://mitworld.mit.edu/