Award Ceremony for Raíces Prize to Delia Kesner — 6/Dec/2016

The Award Ceremony for the Raíces Prize was held yesterday, 6 December 2016, at the Ministerio de Ciencia, Tecnología e Innovación Productiva, Buenos Aires, Argentina. Prof Delia Kesner, recipient of the award, was distinguished for her long and tireless dedication to fostering scientific collaboration between Argentina and France.

 

20161206_195903

 

RAICES award given to Delia Kesner — 26/Nov/2016

The “RAICES” award acknowledges argentine scientists that reside overseas and that have invested extensive and sustained efforts in fostering Argentina’s scientific capabilities through collaborative efforts.

Further details shall be supplied shortly.

 

Workshop organized by the STIC-AmSud project “FoQCoSS” — 5,6 December 2016 — Updated schedule

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.ar/foqcoss.html

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 ► 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

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 ► Renaud Vilmart: TBA
15.30 – Coffee break
16.00 ► Gabriel Senno: Robust Bell inequalities from communication complexity
16.45 ► Ariel Bendersky: Non-signaling deterministic models for non-local correlations have to be uncomputable

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.ar/foqcoss.html

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

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 .