Publicada la lista de papers aceptados para el QPL

El paper que enviamos al QPL fue aceptado para una exposición completa de 30 minutos (en contraposición con una exposición corta de 15 minutos). La lista completa de los papers aceptados está publicada en la página del evento.

Medición y confluencia en lambda cálculos cuánticos con qubits explícitos

Ayer llegué de Francia. Estuve 2 semanas en Grenoble y 2 semanas en Orsay.

En Grenoble estuvimos trabajando con Pablo Arrighi y Jonathan Grattage en extender mi tesis de grado de agregado de medición al Lambda Cálculo cuántico de van Tonder[1]. La idea fue extenderlo para probar confluencia y dejar el método lo suficientemente general para que pueda ser fácilmente usado para extender otros lambda cálculos (en particular, ahora estamos trabajando en extender el lambda cálculo de Pablo[3,4], que es quien me invitó a Grenoble, y el QML de Jon[5,6], también investigador en Grenoble).

Hoy enviamos el extended abstract al QPL08 que se realizará en Reykjavík, Islandia los próximos 12 y 13 de Julio.

El 21 de Abril nos avisarán si el paper ha sido aceptado.

Esas dos semanas y el tiempo que le siguió, he aprendido muchísimo! Ahora Pablo está tramitando una beca para ver si puedo empezar mi doctorado allí en Setiembre.

En Orsay también fueron muy amables, y también aprendí mucho. Ellos están trabajando en algoritmos y complejidad (cuánticos), un tema que no conocía en profundidad.

Tanto en Grenoble como en Orsay, dí una charla sobre mi tesis de grado, los slides los pueden obtener de aquí. (Igualmente si les interesa el tema, les recomiendo leer el extended abstract, ya que tiene algunos cambios bastante importantes).

Referencias.

[1] A. van Tonder. A lambda calculus for quantum computation. SIAM Journal on Computing, 33(5):1109-1135, 2004. (también en arXiv:quant-ph/0307150).

[2] P. Arrighi y G. Dowek. A computational definition of the notion of vectorial space. Electronic Notes in Theoretical Computer Science, 117:249-261, 2005. (también disponible en la página de Gilles Dowek).

[3] P. Arrighi y G. Dowek. Linear-algebraic lambda-calculus: higher-order, encodings and confluence. Enviado a RTA'08 (también en arXiv:quant-ph/0612199).

[4] T. Altenkirch y J. J. Grattage. A functional quantum programming language. En Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (LICS). IEEE Computer Society, 2005. (también en arXiv:quant-ph/0409065).

[5] T. Altenkirch, J. J. Grattage, J. K. Vizzotto, y A. Sabry. An algebra of pure quantum programming. Electronic Notes in Theoretical Computer Science, 170:23-47, 2007. (también en arXiv:quant-ph/0506012).

QCMC 2008: Primer anuncio

Transcribo (y traduzco) el mail que me llegó del Primer Anuncio del QCMC 2008

Queridos Colegas,

Este es el primer anuncio de la Novena Conferencia Internacional en Comunicación, Medición y Computación Cuántica (QCMC), la cual se desarrollará en la Universidad de Calgary, Canadá, del 19 al 24 de Agosto de 2008.

El alcance de la conferencia será similar al de la serie de encuentros anteriores e incluirá los siguientes temas:

- Comunicación Cuántica y Criptografía Cuántica
- Medición Cuántica y Meteorología Cuántica
- Computación Cuántica y Teoría de la Información Cuántica
- Implementaciones del Procesado Cuántico de Información
- Control Cuántico

La fecha límite para la presentación de resúmenes de papers es el 15 de Abril de 2008, y la fecha límite para la registración es el 30 de Junio de 2008. Puede encontrar más detalles sobre el evento en el sitio web http://www.qcmc2008.org/

Calgary es una ciudad de un millón de habitantes en las colinas de las magníficas Montañas Rocosas Canadienses. Se encuentra cercana al Parque Nacional de Banff y ofrece a muchas actividades recreativas de verano incluyendo excursiones, rafting y kayak, escaladas, exploración de cuevas, buceo en lagos de montaña, ciclismo de montaña, visita a glaciares, ala delta, y equitación. Agosto es un mes excelente para la recreación debido a su clima clemente y tiempo seco.

Esperamos darle la bienvenida en Calgary en agosto de 2008.

En nombre de los comités de organización y de programación,

Alex Lvovsky, organizador principal.

Versión original:

Dear Colleagues,

This is the first announcement of the Ninth International Conference on Quantum Communication, Measurement and Computing (QCMC), which will be held at the University of Calgary, Canada, on August 19 to 24, 2008.

The scope of the conference will be similar to that of previous meetings in the series and include the following topics:

- Quantum Cryptography and Quantum Communications
- Quantum Measurement and Quantum Metrology
- Quantum Computing and Quantum Information Theory
- Implementations of Quantum Information Processing
- Quantum Control

The abstract submission deadline for contributed papers is April 15, 2008, and the early registration deadline is June 30, 2008. Further details about the meeting can be found on the website http://www.qcmc2008.org/.

Calgary is a city of one million inhabitants in the foothills of the magnificent Canadian Rocky Mountains. Calgary is close to Banff National Park and offers many summertime recreational activities including hiking, whitewater rafting and kayaking, climbing, caving, mountain-lake scuba diving, mountain biking, glacier trips, hang gliding, and horseback riding. August is an excellent month for recreation due to its clement warm and usually dry weather.

We look forward to welcoming you in Calgary in August 2008.

On behalf of the organizing and program committees,

Alex Lvovsky, principal organizer