FoQCoSS Kickoff Workshop
Foundations of Quantum Computation: Syntax and Semantics
5-6 December, 2016
Universidad Nacional de Quilmes
Buenos Aires, Argentina
http://diaz-caro.web.unq.edu.
Under the STIC-AmSud project FoQCoSS, a workshop with presentations by its members will be held on December 5th and 6th in Buenos Aires (Argentina) at the campus of the Universidad Nacional de Quilmes.
Please, confirm attendance by sending your name and affiliation to alejandro@diaz-caro.info
At the bottom of this email, you will find the program. The abstracts and further information can be found in the webpage of the event.
Program:
Monday 5 Dec
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 – Lunch
14.00 ► Gabriel Senno: Robust Bell inequalities from communication complexity
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
Tuesday 6 Dec
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 – Lunch
14.00 ► José Carlos Puiati: Implementation of an interpreter and typechecker for the double effect quantum lambda calculus
14.45 – Coffee break
15.15 ► Renaud Vilmart: TBAFoQCoSS Kickoff Workshop
Foundations of Quantum Computation: Syntax and Semantics
5-6 December, 2016
Universidad Nacional de Quilmes
Buenos Aires, Argentina
http://diaz-caro.web.unq.edu.
Under the STIC-AmSud project FoQCoSS, a workshop with presentations by its members will be held on December 5th and 6th in Buenos Aires (Argentina) at the campus of the Universidad Nacional de Quilmes.
Please, confirm attendance by sending your name and affiliation to alejandro@diaz-caro.info
At the bottom of this email, you will find the program. The abstracts and further information can be found in the webpage of the event.
Program:
Monday 5 Dec
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 – Lunch
14.00 ► Gabriel Senno: Robust Bell inequalities from communication complexity
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
Tuesday 6 Dec
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 – Lunch
14.00 ► José Carlos Puiati: Implementation of an interpreter and typechecker for the double effect quantum lambda calculus
14.45 – Coffee break
15.15 ► Renaud Vilmart: TBAFoQCoSS Kickoff Workshop
Foundations of Quantum Computation: Syntax and Semantics
5-6 December, 2016
Universidad Nacional de Quilmes
Buenos Aires, Argentina
http://diaz-caro.web.unq.edu.
Under the STIC-AmSud project FoQCoSS, a workshop with presentations by its members will be held on December 5th and 6th in Buenos Aires (Argentina) at the campus of the Universidad Nacional de Quilmes.
Please, confirm attendance by sending your name and affiliation to alejandro@diaz-caro.info
At the bottom of this email, you will find the program. The abstracts and further information can be found in the webpage of the event.
Program:
Monday 5 Dec
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 – Lunch
14.00 ► Gabriel Senno: Robust Bell inequalities from communication complexity
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
Tuesday 6 Dec
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 – Lunch
14.00 ► José Carlos Puiati: Implementation of an interpreter and typechecker for the double effect quantum lambda calculus
14.45 – Coffee break
15.15 ► Renaud Vilmart: TBA