Pablo Barenbaum visits IRIF (Université Paris Diderot) to collaborate with Delia Kesner. He will be visiting from 3 October to 3 November, 2016.Pablo Barenbaum visits IRIF (Université Paris Diderot) to collaborate with Delia Kesner. He will be visiting from 3 October to 3 November, 2016.Pablo Barenbaum visits IRIF (Université Paris Diderot) to collaborate with Delia Kesner. He will be visiting from 3 October to 3 November, 2016.
Verónica Becher (UBA, CONICET) visits IRIF — October/November 2016
Verónica Becher visits IRIF (Université Paris Diderot) from October 28 to November 12, 2016. She will collaborate with Olivier Carton and Serge Grigorieff on randomness and automata.Verónica Becher visits IRIF (Université Paris Diderot) from October 28 to November 12, 2016. She will collaborate with Olivier Carton and Serge Grigorieff on randomness and automata.Verónica Becher visits IRIF (Université Paris Diderot) from October 28 to November 12, 2016. She will collaborate with Olivier Carton and Serge Grigorieff on randomness and automata.
Workshop organized by the STIC-AmSud project "FoQCoSS" — 5,6 December 2016
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
Nicolás Álvarez visits IRIF — October/November 2016
Nicolás Álvarez will be visiting IRIF (Université Paris Diderot) from October 4th until November 29th to work with Olivier Carton.
Nicolás Álvarez will be visiting IRIF (Université Paris Diderot) from October 4th until November 29th to work with Olivier Carton.Nicolás Álvarez will be visiting IRIF (Université Paris Diderot) from October 4th until November 29th to work with Olivier Carton.