14 de febrero de 2017

Curso en la Escuela de Ciencias Informáticas 2017

Del 24 al 29 de Julio de 2017 voy a dictar un curso de Fundamentos de Lenguajes para Computación Cuántica en la 31a ECI, la Escuela de Ciencias Informáticas del Departamento de Computación de la Facultad de Ciencias Exactas y Naturales de la Universidad de Buenos Aires.

El curso tendrá 15 horas (5 clases de 3hs cada una), y tratará los mismos temas del curso semestral que dicté en la Universidad Nacional de Rosario, (aunque forzosamente con menos profundidad debido a la menor cantidad de horas). El material del curso que dicté en la UNR lo pueden ver aquí.

Para más información de la ECI no dejen de visitar la página oficial:

https://www.dc.uba.ar/events/eci/2017

28 de septiembre de 2016

Workshop on Foundations of Quantum Computation @ Quilmes

FoQCoSS Kickoff Workshop
Foundations of Quantum Computation: Syntax and Semantics
5 y 6 de Diciembre
Universidad Nacional de Quilmes
Roque Sáenz Peña 352, Bernal, Buenos Aires, Argentina

En el marco del proyecto STIC-AmSud FoQCoSS, el lunes 5 y martes 6 de diciembre próximos se realizará un workshop con exposiciones de los integrantes del proyecto. El mismo se desarrollará en el campus de la Universidad Nacional de Quilmes (Roque Sáenz Peña 352, Bernal), aula a confirmar.

Rogamos confirmar asistencia enviando un mail a alejandro ARROBA diaz-caro PUNTO info, con su nombre, apellido e institución de pertenencia.

Por razones de organización, se ruega confirmar asistencia enviando un email a alejandro@diaz-caro.info

Cronograma:
(Los abstracts de las charlas, y más información sobre el evento, los pueden ver en la página del mismo).

Lunes 5/12 - Aula 22
10.30 ► Gilles Dowek: Quantitative informational aspects in discrete physics
11.15 ► Pablo Arrighi: Discrete Lorentz covariance for quantum walks and quantum cellular automata
12.00 - Almuerzo
14.00 ► Christian de Ronde: On the physical foundation of quantum superpositions (beyond measurement outcomes and mathematical structures)
14.45 ► Simon Martiel: Quantum causal graph dynamics
15.30 - Coffee break
16.00 ► Stefano Facchini: Quantum walking in curved spacetime: (3+1) dimensions, and beyond

Martes 6/12 - Aula 44
10.30 ► Benoît Valiron: A Geometry of interaction for quantum computation
11.15 ► Alejandro Díaz-Caro: Typing quantum superpositions and projective measurements
12.00 - Almuerzo
14.00 ► Gabriel Senno: Robust Bell inequalities from communication complexity
14.45 ► Ariel Bendersky: Non-signaling deterministic models for non-local correlations have to be uncomputable
15.30 - Coffee break
16.00 ► Renaud Vilmart: Completeness and Incompleteness of the ZX-Calculus, a diagrammatic language for quantum reasoning and computing
16.45 ► José Carlos Puiati (video-conferenced): Implementation of an interpreter and typechecker for the double effect quantum lambda calculus

10 de agosto de 2016

Materia optativa en Rosario

Este semestre, además del curso de una semana (25 hs) que voy a dar en el CACIC, voy a dictar una materia optativa en la Licenciatura en Ciencias de la Computación (también da créditos para el doctorado) en la Universidad Nacional de Rosario. El nombre de la materia es
Introducción a la computación cuántica
y fundamentos de lenguajes de programación.
Aquí les dejo la página de la misma, donde iré subiendo el material.