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.htmlUnder 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 Dec10.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 - Lunch14.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 break16.00 ► Stefano Facchini: Quantum walking in curved spacetime: (3+1) dimensions, and beyond Tuesday 6 Dec10.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 - Lunch14.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 break16.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