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