14 de abril de 2016

Agenda de viajes... Y CURSO DE CUANTICA

En este post les cuento un poco los viajes programados que tengo para este año. En particular, si son estudiantes de computación en Argentina y quieren ir a un curso de computación cuántica y lenguajes para la misma, voy a estar dando un curso en el CACIC.

  • Hasta mediados de Julio (y desde Enero) estoy en la Università degli Studi di Torino, en Turín (Italia), a donde vine como investigador visitante a trabajar con Simona Ronchi della RoccaMariangiola Dezani-Ciancaglini.
  • En Mayo voy una semana a trabajar con Gilles Dowek a París (Francia).
  • En Junio voy al CSR a presentar el paper que escribimos con Abuzer Yakaryılmaz, en San Petersburgo (Rusia).
  • También en Junio voy al FSCD, en Porto (Portugal), aunque allí no voy a presentar nada (pero no me podía perder el primer RTA-TLCA fusionado en FSCD).
  • En Julio voy a la sesión de Lógica y Computabilidad del Congreso Latinoamericano de Matemáticos en Barranquilla (Colombia). Allí voy a presentar lo que he estado trabajando con Simona, que básicamente es una continuación del trabajo con Gilles (es la interpretación en lógica lineal de ese trabajo).
  • Y finalmente, en Octubre, voy a San Luis (Argentina) a dar un curso de 5 días a la Escuela del CACIC. El curso va tener básicamente el mismo formato que el que dí en la Río, pero con un poco más de profundidad (porque tengo el doble de horas). Les dejo acá los datos oficiales del curso:

    TITULO: Fundamentos de lenguajes de programación para computación cuántica

    OBJETIVOS: Introducir la computación cuántica y los fundamentos de lenguajes de programación para dicho paradigma. Se pretende que los estudiantes tengan una primera visión no sólo de la computación cuántica sino también de problemas científicos actuales a la hora de estudiar sus fundamentos lógicos. El estudiante debería terminar con un conocimiento introductorio de computación cuántica y de cálculo lambda.

    CONTENIDOS: Introducción a la computación cuántica. Conceptos de física. Formalismo matemático. Algoritmos cuánticos: Deutsch, Deutsch-Jotza, Grover, Teleportación, Codificación Superdensa, Protocolo de distribución de claves BB84 Introducción al cálculo lambda tipado. Relación entre tipos y lógica intuicionista. Introducción a las extensiones cuánticas al cálculo lambda: paradigma de control clásico y datos cuánticos, y paradigma de control y datos cuánticos tipado.

Espero cruzarlos en algún evento.