Vectorial, Lógica Lineal y Ortogonalidad

El miércoles y jueves pasados estuve en Lyon, invitado por Barbara Petit del grupo PLUME de la École Normale Supérieure de Lyon. Allí di un seminario sobre los sistemas de tipos que he desarrollado: Scalar, Additive y Vectorial, y algunos de los problemas sobre cómo chequear ortogonalidad entre términos y algunas pistas para resolverlo.

Olivier Laurent se dio cuenta de simplemente ver la presentación, la conexión entre Additive y Intuitionistic Multiplicative Exponential Linear Logic.

Pronto estaré publicando un nuevo paper sobre Additive (con esa conexión a la lógica lineal) y Vectorial. Además, hemos empezado a trabajar juntos con Barbara en el problema de la ortogonalidad, usando subtyping.

Próximos viajes:
Los días 4 y 5 de Mayo voy a París a visitar a Benoît Valiron y Gilles Dowek del proyecto TypiCal, en la École Polytechnique de París, donde daré otro seminario. Luego, el 18 de Mayo estaré en Chambery, donde iremos con mi director, Pablo Arrighi, a participar de una serie de seminarios organizados por Lionel Vaux del grupo LAMA.

Volviendo...

Buenas! Ya se me están terminando los días por Europa, he estado en Paris, en los cursos del Institut Henri Poincaré, estuvieron allí gente como Bennett, Brassard, Winter, Aharonov, Cerf, Cleve, Gottesman, Zoller.... bueno, toda esa gente que son la cabeza de la computación cuántica hoy en día, estuvo increíble.
Para quienes quieran disfrutar de las charlas, la mayor parte de ellas fueron grabadas en video y están aquí, realmente valen la pena.
Para quienes quieran ver las fotos que tomé de París están aquí ;)
Luego de Paris (que estuve sólo el mes de Febrero), me he dado una vuelta por Valladolid, España, donde seguimos trabajando con Manolo, Juanjo y todo el grupo de allí, y de paso di un pequeño seminario sobre la Teleportación de N-qubits.
Bueno, ya postearé algo más en cuanto llegue a Argentina!

IHP, allí voy!

Me han aceptado en los cursos que se dictarán en el Instituto Henri Poincaré (que comenté en un post anterior), me asignaron la oficina 322 donde estaremos 3 canadienses, 1 francés, 3 estadounidenses, 1 turco, 1 inglés, 1 japonés, 2 alemanes, 1 maldoví, 2 italianos, 1 austríaco, 1 coreano, 1 taiwanés, 1 indú, 1 holandés, 1 portugués, 1 belga, 1 mexicano, 1 israelí y yo (argentino).

Luego de allí (que estaré sólo el mes de Febrero), Manuel Gadella, de la Universidad de Valladolid, España, me invitó a ir a su universidad un par de semanas a continuar una investigación que estamos haciendo en conjunto.

Aún estoy buscando beca (se aceptan sugerencias), hasta ahora he conseguido medio pasaje por medio del Ministerio de Migraciones (Argentina), mi estadía en España ya está arreglada, lo que aún estoy buscando es abaratar la estadía en París.

PD: A los lectores de este blog, les pido disculpas porque hace un tiempo que no posteaba nada (he estado con demasiadas tareas juntas) y ahora posteo algo más bien de tono personal... ya volveré a postear cosas interesantes ;)

Cursos en el Instituto Henri Poincaré

Información, Computación y Complejidad Cuántica
4 de Enero al 7 de Abril de 2006

TOPICS

• Algoritmos cuánticos
• Comunicaciones
• Teleportación y criptografía
• Corrección de errores
• Información cuántica con variables contínuas
• Decoherencia y caos cuántico inducido por imperfecciones
• Implementación de qubits en estado sólido
• etc, etc...

Además, los siguientes eventos se llevarán a cabo:

• 16 al 20 de Enero: 9th International Workshop "Quantum Information Processing"
• 13 al 16 de Febrero: "QIPC Cluster Review and Conference 2006"
• 22 al 26 de Marzo: Workshop "Quantum computation and coherence"

Para más información dejo el Website del evento, y si algún alma caritativa me consigue una beca, nos veremos allá ;)