{"id":809,"date":"2016-10-04T12:13:43","date_gmt":"2016-10-04T15:13:43","guid":{"rendered":"http:\/\/www.infinis.org\/?p=809"},"modified":"2016-10-04T12:13:43","modified_gmt":"2016-10-04T15:13:43","slug":"workshop-organized-by-the-stic-amsud-project-foqcoss-56-december-2016","status":"publish","type":"post","link":"http:\/\/www.irp-sinfin.org\/?p=809","title":{"rendered":"Workshop organized by the STIC-AmSud project "FoQCoSS" — 5,6 December 2016"},"content":{"rendered":"

FoQCoSS Kickoff Workshop
\n<\/b>Foundations of Quantum Computation: Syntax and Semantics
\n<\/i>5-6 December, 2016
\n<\/span><\/span>Universidad Nacional de Quilmes
\nBuenos Aires, Argentina
\nhttp:\/\/diaz-caro.web.unq.edu.ar\/foqcoss.html<\/a><\/p>\n

Under the STIC-AmSud project FoQCoSS, a workshop with presentations by its members will be held on\u00a0December 5th and 6th<\/span><\/span>\u00a0in Buenos Aires (Argentina) at the campus of the Universidad Nacional de Quilmes.
\nPlease, confirm attendance by sending your name and affiliation to\u00a0alejandro@diaz-caro.info
\n<\/a>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.<\/p>\n

Program:<\/b><\/p>\n

Monday 5 Dec<\/strong>
\n10.30 \u25ba Gilles Dowek: Quantitative informational aspects in discrete physics
\n11.15 \u25ba Pablo Arrighi: Discrete Lorentz covariance for quantum walks and quantum cellular automata
\n12.00 – Lunch<\/em>
\n14.00 \u25ba Gabriel Senno: Robust Bell inequalities from communication complexity
\n14.45 \u25ba Simon Martiel: Quantum causal graph dynamics
\n15.30 – Coffee break<\/em>
\n16.00 \u25ba Stefano Facchini: Quantum walking in curved spacetime: (3+1) dimensions, and beyond<\/p>\n

Tuesday 6 Dec<\/strong>
\n10.30 \u25ba Beno\u00eet Valiron: A Geometry of interaction for quantum computation
\n11.15 \u25ba Alejandro D\u00edaz-Caro: Typing quantum superpositions and projective measurements
\n12.00 – Lunch<\/em>
\n14.00 \u25ba Jos\u00e9 Carlos Puiati: Implementation of an interpreter and typechecker for the double effect quantum lambda calculus
\n14.45 – Coffee break<\/em>
\n15.15 \u25ba Renaud Vilmart: TBAFoQCoSS Kickoff Workshop<\/p>\n

<\/b>Foundations of Quantum Computation: Syntax and Semantics<\/p>\n

<\/i>5-6 December, 2016<\/p>\n

<\/span>Universidad Nacional de Quilmes<\/p>\n

Buenos Aires, Argentina<\/p>\n

http:\/\/diaz-caro.web.unq.edu.ar\/foqcoss.html<\/a><\/p>\n

Under the STIC-AmSud project FoQCoSS, a workshop with presentations by its members will be held on\u00a0December 5th and 6th<\/span>\u00a0in Buenos Aires (Argentina) at the campus of the Universidad Nacional de Quilmes.<\/p>\n

Please, confirm attendance by sending your name and affiliation to\u00a0alejandro@diaz-caro.info<\/p>\n

<\/a>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.<\/p>\n

Program:<\/b><\/p>\n

Monday 5 Dec<\/strong>
\n10.30 \u25ba Gilles Dowek: Quantitative informational aspects in discrete physics
\n11.15 \u25ba Pablo Arrighi: Discrete Lorentz covariance for quantum walks and quantum cellular automata
\n12.00 – Lunch<\/em>
\n14.00 \u25ba Gabriel Senno: Robust Bell inequalities from communication complexity
\n14.45 \u25ba Simon Martiel: Quantum causal graph dynamics
\n15.30 – Coffee break<\/em>
\n16.00 \u25ba Stefano Facchini: Quantum walking in curved spacetime: (3+1) dimensions, and beyond<\/p>\n

Tuesday 6 Dec<\/strong>
\n10.30 \u25ba Beno\u00eet Valiron: A Geometry of interaction for quantum computation
\n11.15 \u25ba Alejandro D\u00edaz-Caro: Typing quantum superpositions and projective measurements
\n12.00 – Lunch<\/em>
\n14.00 \u25ba Jos\u00e9 Carlos Puiati: Implementation of an interpreter and typechecker for the double effect quantum lambda calculus
\n14.45 – Coffee break<\/em>
\n15.15 \u25ba Renaud Vilmart: TBAFoQCoSS Kickoff Workshop<\/p>\n

<\/b>Foundations of Quantum Computation: Syntax and Semantics<\/p>\n

<\/i>5-6 December, 2016<\/p>\n

<\/span>Universidad Nacional de Quilmes<\/p>\n

Buenos Aires, Argentina<\/p>\n

http:\/\/diaz-caro.web.unq.edu.ar\/foqcoss.html<\/a><\/p>\n

Under the STIC-AmSud project FoQCoSS, a workshop with presentations by its members will be held on\u00a0December 5th and 6th<\/span>\u00a0in Buenos Aires (Argentina) at the campus of the Universidad Nacional de Quilmes.<\/p>\n

Please, confirm attendance by sending your name and affiliation to\u00a0alejandro@diaz-caro.info<\/p>\n

<\/a>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.<\/p>\n

Program:<\/b><\/p>\n

Monday 5 Dec<\/strong>
\n10.30 \u25ba Gilles Dowek: Quantitative informational aspects in discrete physics
\n11.15 \u25ba Pablo Arrighi: Discrete Lorentz covariance for quantum walks and quantum cellular automata
\n12.00 – Lunch<\/em>
\n14.00 \u25ba Gabriel Senno: Robust Bell inequalities from communication complexity
\n14.45 \u25ba Simon Martiel: Quantum causal graph dynamics
\n15.30 – Coffee break<\/em>
\n16.00 \u25ba Stefano Facchini: Quantum walking in curved spacetime: (3+1) dimensions, and beyond<\/p>\n

Tuesday 6 Dec<\/strong>
\n10.30 \u25ba Beno\u00eet Valiron: A Geometry of interaction for quantum computation
\n11.15 \u25ba Alejandro D\u00edaz-Caro: Typing quantum superpositions and projective measurements
\n12.00 – Lunch<\/em>
\n14.00 \u25ba Jos\u00e9 Carlos Puiati: Implementation of an interpreter and typechecker for the double effect quantum lambda calculus
\n14.45 – Coffee break<\/em>
\n15.15 \u25ba Renaud Vilmart: TBA<\/p>\n","protected":false},"excerpt":{"rendered":"

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\u00a0December 5th and 6th\u00a0in Buenos Aires (Argentina) at the campus of the Universidad Nacional de Quilmes. Please, confirm attendance … Continue reading Workshop organized by the STIC-AmSud project "FoQCoSS" — 5,6 December 2016<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-809","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"_links":{"self":[{"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/posts\/809","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=809"}],"version-history":[{"count":0,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/posts\/809\/revisions"}],"wp:attachment":[{"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=809"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=809"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=809"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}