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.
INFINIS Workshop coming up — U. Paris Diderot — 4 November 2016
The next INFINIS Workshop is coming up! It will take place at U. Paris Diderot on the 4th of November 2016. For further details see INFINIS Workshop.The next INFINIS Workshop is coming up! It will take place at U. Paris Diderot on the 4th of November 2016. For further details see INFINIS Workshop.The next INFINIS Workshop is coming up! It will take place at U. Paris Diderot on the 4th of November 2016. For further details see INFINIS Workshop.
V. Becher visits Université Paris Diderot — Aug/2016
Verónica Becher visits Université Paris Diderot August 14 – 21, 2016 to work with Serge Grigorieff on topics on algorithmic randomness.Verónica Becher visits Université Paris Diderot August 14 – 21, 2016 to work with Serge Grigorieff on topics on algorithmic randomness.Verónica Becher visits Université Paris Diderot August 14 – 21, 2016 to work with Serge Grigorieff on topics on algorithmic randomness.
INFINIS Workshop — Talks and Pictures — 3/Aug/2016
El 3 de agosto se llevó a cabo un Workshop destinado a ofrecer temas de Tesis de licenciatura y doctorado, relacionados con los métodos formales de la computación.
El encuentro estuvo organizado por INFINIS, un Laboratorio Internacional Asociado del CNRS-Université Paris Diderot y del CONICET-Universidad de Buenos Aires especializado en métodos formales en ciencias de la computación, creado en el año 2011.
Las charlas del Workshop se realizaron en el Aula E-24 del Pabellón 1 de Exactas-UBA. A raíz del intercambio que pudo lograrse entre los estudiantes de grado y doctorado -candidatos a realizar sus tesis en el Departamento de Computación- y los profesores disertantes, el encuentro resultó muy fructífero generando posibles trabajos futuros.
Para fotos y detalles consultar Workshop INFINIS 2016 .
El 3 de agosto se llevó a cabo un Workshop destinado a ofrecer temas de Tesis de licenciatura y doctorado, relacionados con los métodos formales de la computación.
El encuentro estuvo organizado por INFINIS, un Laboratorio Internacional Asociado del CNRS-Université Paris Diderot y del CONICET-Universidad de Buenos Aires especializado en métodos formales en ciencias de la computación, creado en el año 2011.
Las charlas del Workshop se realizaron en el Aula E-24 del Pabellón 1 de Exactas-UBA. A raíz del intercambio que pudo lograrse entre los estudiantes de grado y doctorado -candidatos a realizar sus tesis en el Departamento de Computación- y los profesores disertantes, el encuentro resultó muy fructífero generando posibles trabajos futuros.
Para fotos y detalles consultar Workshop INFINIS 2016 .
El 3 de agosto se llevó a cabo un Workshop destinado a ofrecer temas de Tesis de licenciatura y doctorado, relacionados con los métodos formales de la computación.
El encuentro estuvo organizado por INFINIS, un Laboratorio Internacional Asociado del CNRS-Université Paris Diderot y del CONICET-Universidad de Buenos Aires especializado en métodos formales en ciencias de la computación, creado en el año 2011.
Las charlas del Workshop se realizaron en el Aula E-24 del Pabellón 1 de Exactas-UBA. A raíz del intercambio que pudo lograrse entre los estudiantes de grado y doctorado -candidatos a realizar sus tesis en el Departamento de Computación- y los profesores disertantes, el encuentro resultó muy fructífero generando posibles trabajos futuros.
Para fotos y detalles consultar Workshop INFINIS 2016 .
Nicolás Álvarez received Saint Exupéry Doctoral Fellowship — July 2016
Nicolás Alvarez was distinguished with the doctoral Fellowship Saint Exupery, Programa de Becas Internacionales, Dirección Nacional de Cooperación Internacional, Ministerio de Educación y Deportes de la República Argentina, for 2 months in Université Paris Diderot, to work with Olivier Carton in randomness and automata.Nicolás Alvarez was distinguished with the doctoral Fellowship Saint Exupery, Programa de Becas Internacionales, Dirección Nacional de Cooperación Internacional, Ministerio de Educación y Deportes de la República Argentina, for 2 months in Université Paris Diderot, to work with Olivier Carton in randomness and automata.Nicolás Alvarez was distinguished with the doctoral Fellowship Saint Exupery, Programa de Becas Internacionales, Dirección Nacional de Cooperación Internacional, Ministerio de Educación y Deportes de la República Argentina, for 2 months in Université Paris Diderot, to work with Olivier Carton in randomness and automata.
Olivier Carton visits UBA – July 2016
During the month of July 2016 Olivier Carton visits the University of Buenos Aires to work with Verónica Becher on selected topics on randomness and automata.During the month of July 2016 Olivier Carton visits the University of Buenos Aires to work with Verónica Becher on selected topics on randomness and automata.During the month of July 2016 Olivier Carton visits the University of Buenos Aires to work with Verónica Becher on selected topics on randomness and automata.
Verónica Becher invited speaker for Conference Computability, Randomness and Applications — June 20 – 24, 2016
Laurent Bienvenu (Université Paris Diderot) organized the conference Computability, Randomness and Applications, June 20 – 24, 2016, at Centre International de Rencontres Mathématiques (CIRM) http://scientific-events.
Prof. Delia Kesner (U. Paris Diderot) visits UBA – April/2016
Prof. Delia Kesner (Université Paris Diderot) visited the Depto. de Computación (FCEyN, UBA) from 11 April to 22 April 2016. She collaborated with various researchers on ongoing projects.Prof. Delia Kesner (Université Paris Diderot) visited the Depto. de Computación (FCEyN, UBA) from 11 April to 22 April 2016. She collaborated with various researchers on ongoing projects.Prof. Delia Kesner (Université Paris Diderot) visited the Depto. de Computación (FCEyN, UBA) from 11 April to 22 April 2016. She collaborated with various researchers on ongoing projects.