- Del 24 al 30 de Mayo fui a Oxford donde se llevó a cabo la spring school foundational structures in quantum computation and information (escuela de primavera estructuras fundamentales en computación e información cuántica), seguida del workshop quantum physics and logic (Física y Lógica Cuánticas). Los videos de todas las charlas de la escuela están acá y del workshop acá. Allí mismo tienen videos de eventos anteriores ordenados por evento o por speaker.
- El 8 de Junio fui a Marsella al primer encuentro del proyecto QuAND a presentar el "additive type system" (próximamente en arXiv), trabajo realizado con Barbara Petit, y la traducción del Linear-Algebraic Lambda-Calculus al Algebraic Lambda-Calculus (y viceversa), trabajo realizado con Simon Perdrix, Christine Tasson y Benoît Valiron que ya fue aceptado para el workshop higher-order rewriting que se realizará en Edimburgo el 14 de Julio próximo.
- Finalmente, del 9 al 11 de Junio estuve en Turin en el encuentro CONCERTO-PICS donde presenté el mismo trabajo con Barbara. Proximamente van a poner los slides de todas las charlas en esa página.
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.
17 de junio de 2010
Oxford → Marsella → Turín
Las últimas semanas he estado viajando un poco:
Suscribirse a:
Comentarios de la entrada (Atom)
0 comments:
Publicar un comentario