Tercera Escuela Mexicana de Verano en Computación e Información Cuánticas

Retransmito la información que me llegó sobre la Escuela Mexicana de Verano de Computación Cuántica:

 
Tercera Escuela Mexicana de Verano en Computación e Información Cuánticas
http://www.cem.itesm.mx/dia/mexqc09/
1 al 19 de junio de 2009
 
El grupo de procesamiento cuántico de la información del Tecnológico de Monterrey Campus Estado de México y el grupo Aspuru-Guzik de la Universidad de Harvard tienen el placer de convocar a la comunidad científica a participar en la
 
Tercera Escuela Mexicana de Verano en Computación e Información Cuánticas
 
del 1 al 19 de junio de 2009 en las instalaciones del Tecnológico de Monterrey Campus Estado de México. 

Actividades
- Primera semana (1-6 de junio). Curso de introducción (36 horas) a la computación e información cuánticas.
- Segunda semana (8-12 junio). Conferencias de once investigadores de talla mundial, demostración experimental de un sistema comercial de criptografía cuántica y pláticas técnicas por parte de la empresa SmartQuantum, y talleres de ejercicios en: algoritmos cuánticos, información cuántica, criptografía cuántica y un paquete de simulación de algoritmos cuánticos. Además, habrá carteles y charlas cortas por parte de los becarios de la escuela.
- Tercera semana (15-19 junio). Curso de introducción (30 horas) a los sistemas cuánticos abiertos.

Conferencistas
Dr. Daniel Browne, One-way Quantum Computation, Univ. College London. 
Dr. Bob Coecke, Category Theory in Quantum Computation, Oxford University. 
Prof. Ivan Deutsch, Quantum Control, University of New Mexico.
Prof. Edward Farhi, (Keynote speaker), Adiabatic Quantum Computing, MIT. 
Dr. Marco Lanzagorta, Quantum Cryptography, ITT Corporation, US Naval Research Lab. Contractor. 
Prof. Peter Love, Quantum Entanglement Quantification. Haverford College. 
Dr. Keye Martin, Domain Theory in Quantum Computation. US Naval Research Laboratory. 
Prof. Cristopher Moore, Scattering Algorithms. University of New Mexico and Santa Fe Institute.
Drs. Nicolas Pelloquin y François Guignot, A commercial quantum cryptography system, SmartQuantum.
Dr. Donald Sofge, Quantum Programming Languages, US Navy Center for Applied Research in Artificial Intelligence.
Dr. Rolando Somma, Quantum Simulated Annealing, Perimeter Institute.
Dr. Marko Znidaric, Entanglement Properties of Random Quantum States, University of Ljubljana.

Becas
Deseamos apoyar a estudiantes con alto desempeño académico y potencial para la investigación científica. En consecuencia, hemos diseñado un programa de becas completas y medias becas. Fecha límite para solicitud de becas: 1 de abril de 2009. Visite la página del evento para conocer los requisitos y documentos solicitados.

Perfil de asistentes 
- Estudiantes de licenciatura (últimos dos años), maestría o doctorado en ingeniería, matemáticas, física o computación.
- Profesores-investigadores interesados en el cómputo cuántico.
- La lengua oficial de la escuela de verano es el inglés.

Más información sobre programa, becas, inscripciones y alojamiento, en nuestra página: http://www.cem.itesm.mx/dia/mexqc09/

Agradecemos el apoyo de las siguientes instituciones: COMECyT, CLAF, CINVESTAV, Universidad de Cambridge, AMC, SMF y UNAM.

Blog Boliviano sobre Computación Cuántica

Buenas,
Les comento que hace unos seis meses ha surgido un nuevo weblog en Español sobre Computación Cuántica, mantenido por Hernán Payrumani: http://computacioncuantica.wordpress.com/
Tiene algunos posts en Inglés y otros en Español, y trata diversos temas dentro de la Computación Cuántica. Y algo importante: lo actualiza mucho más seguido que yo :) (pero prometo pronto enviar algo nuevo!).
Saludos y mucha suerte a Hernán con su blog!

System F à la Curry y Grupo de trabajo

Buenas!

Les cuento que ya estoy instaladísimo en Grenoble. Lo que he hecho en estos días es adaptar un sistema de tipos polomórficos (System F à la Curry, ver [1], [3] o [4] para más detalles) al Linear-Algebraic Lambda-Calculus de Arrighi y Dowek [2], además hice una prueba de strong normalization (ver [1] o [3]) para este «Linear-Algebraic System F» y algunos comentarios respecto a que este sistema se corresponde de acuerdo al Isomorfismo de Curry-Howard (ver [4]) con la misma lógica (Lógica Proposicional de Segundo Orden) que el System F original. La idea ahora es empezar a jugar con reglas de tipos más complejas, hacer alguna clase de álgebra de tipos, para obtener alguna lógica un poco más loca. Ya les comentaré cuando tenga algo más armado :)

Este próximo jueves nos juntamos con el grupo de trabajo que estamos más o menos en los mismos temas, en lo que le hemos dado a llamar WHOCAS: «(informal) Workshop on Higer-Order Calculi and Algebraic Structures», seremos sólo 5 personas, ya que es un grupo de trabajo más que un workshop: Lionel Vaux, Benoît Valiron, Gilles Dowek, Pablo Arrighi y yo. La idea es que cada uno dará una pequeña charla de 40 minutos contando en qué está trabajando, así vemos qué colaboraciones pueden salir de allí. Luego del WHOCAS publicaré aquí las transparencias que use.

Referencias
[1] Jean-Yves Girard, Yves Lafont, Paul Taylor. Proofs and types. Cambridge University Press, 1989.
[2] Pablo Arrighi, Gilles Dowek. Linear-algebraic lambda-calculus: higher-order, encodings, and confluence. Lecture Notes in Computer Science: (RTA'08), 5117:17-31, 2008. (preprint en arXiv:quant-ph/0612199)
[3] Henk Barendregt. Lambda calculi with types, volume 2 of Handbook of Logic in Computer Science. Clarendon Press, Oxford, 1992.
[4] Morten Sørensen, Pawel Urzyczyn. Lectures on the Curry-Howard Isomorphism, volume 149 of Studies in Logic and the Foundations of Mathematics. Elsevier, 2006. (disponible para bajar en CiteSeer)