Los videos del 2do workshop Categories, Logic and the Foundations of Physics que se realizó en Londres están disponibles aquí. También hay allí algunas charlas del workshop Logic, Physics and Quantum Information Theory organizado por Prakash Panagaden en Barbados. Desafortunadamente algunas de las charlas no salieron muy bien, por ejemplo la de Peter Selinger "completeness result for dagger compact categories". Esperamos poder compensar esto en el workshop Quantum Physics and Logic que se hará en julio en Islandia. Todos los créditos para Ben Jackson y Jamie Vicary por realizar esta filmación y ponerla online.Ese congreso en Islandia es donde presentamos y nos fue aceptado el paper sobre medición y confluencia en lambdas cálculos cuánticos. Lamentablemente por razones económicas no podré ir, así que al menos espero poder ver los videos.
La fecha para el próximo workshop "Categories, Logic and the Foundations of Physics", el cual será en Oxford, es el 23 y 24 de agosto - dos días esta vez.
Blog sobre computación cuántica y fundamentos de las ciencias de la computación. En general cubrimos los temas de investigación a los que nosotros nos dedicamos, los cuales comenzaron siendo computación cuántica, y con el tiempo van evolucionando, cambiando, agregando nuevas áreas, etc.
9 de junio de 2008
Categories, Logic and Foundations of Physics: Los videos
Copio (y traduzco) un post de Bob Coecke en el blog The n-Category Café:
Suscribirse a:
Comentarios de la entrada (Atom)
0 comments:
Publicar un comentario