3 de marzo de 2017

Jornada de lógica, computación e información cuántica @ UNQ

Jornada de lógica, computación e información cuántica
23 de marzo de 2017
Universidad Nacional de Quilmes
Roque Sáenz Peña 352, Bernal
-- Aula CyT-2 --

El 23 de marzo se realizará una jornada de lógica, computación e información cuántica. El objetivo es juntar a quienes trabajamos en temas afines a la computación cuántica desde las ciencias de la computación en la región. Contaremos con charlas de Gabriel Senno (Universidad de Buenos Aires), Octavio Malherbe (Universidad de la República) y Federico Holik (Universidad Nacional de La Plata), y se realizará en la Universidad Nacional de Quilmes de 10:30 a 16:30 horas.

Esta convocatoria nace de jóvenes investigadores del área, y queremos que sea lo más amplia posible. Se agradece la difusión. Por motivos de organización, se ruega confirmar participación escribiendo a alejandro.diaz-caro@unq.edu.ar.

==============================================================

Programa:

10:30 Café
11:00 Gabriel Senno: Yendo desde una ventaja cuántica en complejidad comunicacional a una gran violación de Bell resistente al loophole de la detección
12:00 Almuerzo
14:00 Octavio Malherbe: Modelos de la computación cuántica y realizabilidad
15:00 Café
15:30 Federico Holik: Probabilidades cuánticas y modelos probabilísticos generalizados

==============================================================

Resúmenes:

Gabriel Senno (Universidad de Buenos Aires) - Yendo desde una ventaja cuántica en complejidad comunicacional a una gran violación de Bell resistente al loophole de la detección
La teoría de la complejidad comunicacional estudia la cantidad de comunicación que tiene que haber entre dos jugadores Alice y Bob para que puedan computar de manera distribuida una función bipartita dada. Se conocen numerosas funciones para las cuales hay una ventaja cuántica, es decir: la cantidad de comunicación cuántica (medida en qbits) es menor que la clásica (medida en bits); para algunas funciones, la ventaja es incluso exponencial. Dada su evidente similitud con el escenario de no-localidad, una de las preguntas abiertas en el área es: ̣¿qué relación hay entre ventaja cuántica en complejidad comunicacional y violación de desigualdades de Bell? Voy a mostrar como, para una gran familia de funciones para las cuales hay ventaja cuántica, se pueden construir desigualdades de Bell y distribuciones cuánticas que las violan en una magnitud exponencial en la ventaja. Estas violaciones son, además, resistentes al loophole de la detección.

Octavio Malherbe (Universidad de la República) - Modelos de la computación cuántica y realizabilidad
En esta charla hablaremos sobre los modelos categóricos de la computación cuántica para el cálculo lambda cuántico de Valiron-Selinger. Intentaremos luego movernos al contexto de la realizabilidad para hablar sobre algunas líneas de investigación que venimos desarrollando con el equipo de lógica de Montevideo en el marco del proyecto realizabilidad y computación cuántica.

Federico Holik (Universidad Nacional de La Plata) - Probabilidades cuánticas y modelos probabilísticos generalizados
En esta charla discutimos las probabilidades cuánticas desde el punto de vista de una generalización no conmutativa de la teoría de la medida. Nos enfocamos en distintos aspectos geométricos, tales como la invariancia ante la acción de grupos. Describimos cómo extender este abordaje a otras teorías probabilisticas, y estudiamos la relación con la teoría de la información cuántica.

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