{"id":823,"date":"2016-11-04T11:03:14","date_gmt":"2016-11-04T14:03:14","guid":{"rendered":"http:\/\/www.infinis.org\/?p=823"},"modified":"2016-11-04T11:03:14","modified_gmt":"2016-11-04T14:03:14","slug":"workshop-organized-by-the-stic-amsud-project-foqcoss-56-december-2016-updated-schedule","status":"publish","type":"post","link":"http:\/\/www.irp-sinfin.org\/?p=823","title":{"rendered":"Workshop organized by the STIC-AmSud project &quot;FoQCoSS&quot; &#8212; 5,6 December 2016 &#8212; Updated schedule"},"content":{"rendered":"<p><!--:en--><b>FoQCoSS Kickoff Workshop<br \/>\n<\/b><i>Foundations of Quantum Computation: Syntax and Semantics,\u00a0<\/i>5-6 December, 2016<br \/>\nUniversidad Nacional de Quilmes<br \/>\nBuenos Aires, Argentina<\/p>\n<p><a href=\"http:\/\/diaz-caro.web.unq.edu.ar\/foqcoss.html\">http:\/\/diaz-caro.web.unq.edu.ar\/foqcoss.html<\/a><\/p>\n<p>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.<\/p>\n<p>Please, confirm attendance by sending your name and affiliation to\u00a0<a href=\"mailto:alejandro@diaz-caro.info\">alejandro@diaz-caro.info<br \/>\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<p><b>Program:<\/b><\/p>\n<p>&nbsp;<\/p>\n<p><strong>Monday 5 Dec<\/strong><br \/>\n10.30 \u25ba Gilles Dowek:\u00a0Quantitative informational aspects in discrete physics<br \/>\n11.15 \u25ba Pablo Arrighi:\u00a0Discrete Lorentz covariance for quantum walks and quantum cellular automata<br \/>\n<em>12.00 &#8211; Lunch<\/em><br \/>\n14.00 \u25ba Christian de Ronde:\u00a0On the physical foundation of quantum superpositions (beyond measurement outcomes and mathematical structures)<br \/>\n14.45 \u25ba Simon Martiel:\u00a0Quantum causal graph dynamics<br \/>\n<em>15.30 &#8211; Coffee break<\/em><br \/>\n16.00 \u25ba Stefano Facchini:\u00a0Quantum walking in curved spacetime: (3+1) dimensions, and beyond<\/p>\n<p><strong>Tuesday 6 Dec<\/strong><br \/>\n10.30 \u25ba Beno\u00eet Valiron:\u00a0A Geometry of interaction for quantum computation<br \/>\n11.15 \u25ba Alejandro D\u00edaz-Caro: Typing quantum superpositions and projective measurements<br \/>\n<em>12.00 &#8211; Lunch<\/em><br \/>\n14.00 \u25ba Jos\u00e9 Carlos Puiati: Implementation of an interpreter and typechecker for the double effect quantum lambda calculus<br \/>\n14.45 \u25ba Renaud Vilmart: TBA<br \/>\n<em>15.30 &#8211; Coffee break<\/em><br \/>\n16.00 \u25ba Gabriel Senno: Robust Bell inequalities from communication complexity<br \/>\n16.45 \u25ba Ariel Bendersky: Non-signaling deterministic models for non-local correlations have to be uncomputable<!--:--><!--:fr--><b>FoQCoSS Kickoff Workshop<br \/>\n<\/b><i>Foundations of Quantum Computation: Syntax and Semantics,\u00a0<\/i>5-6 December, 2016<br \/>\nUniversidad Nacional de Quilmes<br \/>\nBuenos Aires, Argentina<\/p>\n<p><a href=\"http:\/\/diaz-caro.web.unq.edu.ar\/foqcoss.html\">http:\/\/diaz-caro.web.unq.edu.ar\/foqcoss.html<\/a><\/p>\n<p>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.<\/p>\n<p>Please, confirm attendance by sending your name and affiliation to\u00a0<a href=\"mailto:alejandro@diaz-caro.info\">alejandro@diaz-caro.info<br \/>\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<p><b>Program:<\/b><\/p>\n<p><strong>Monday 5 Dec<\/strong><br \/>\n10.30 \u25ba Gilles Dowek:\u00a0Quantitative informational aspects in discrete physics<br \/>\n11.15 \u25ba Pablo Arrighi:\u00a0Discrete Lorentz covariance for quantum walks and quantum cellular automata<br \/>\n<em>12.00 &#8211; Lunch<\/em><br \/>\n14.00 \u25ba Christian de Ronde:\u00a0On the physical foundation of quantum superpositions (beyond measurement outcomes and mathematical structures)<br \/>\n14.45 \u25ba Simon Martiel:\u00a0Quantum causal graph dynamics<br \/>\n<em>15.30 &#8211; Coffee break<\/em><br \/>\n16.00 \u25ba Stefano Facchini:\u00a0Quantum walking in curved spacetime: (3+1) dimensions, and beyond<\/p>\n<p><strong>Tuesday 6 Dec<\/strong><br \/>\n10.30 \u25ba Beno\u00eet Valiron:\u00a0A Geometry of interaction for quantum computation<br \/>\n11.15 \u25ba Alejandro D\u00edaz-Caro: Typing quantum superpositions and projective measurements<br \/>\n<em>12.00 &#8211; Lunch<\/em><br \/>\n14.00 \u25ba Jos\u00e9 Carlos Puiati: Implementation of an interpreter and typechecker for the double effect quantum lambda calculus<br \/>\n14.45 \u25ba Renaud Vilmart: TBA<br \/>\n<em>15.30 &#8211; Coffee break<\/em><br \/>\n16.00 \u25ba Gabriel Senno: Robust Bell inequalities from communication complexity<br \/>\n16.45 \u25ba Ariel Bendersky: Non-signaling deterministic models for non-local correlations have to be uncomputable<!--:--><!--:es--><b>FoQCoSS Kickoff Workshop<br \/>\n<\/b><i>Foundations of Quantum Computation: Syntax and Semantics,\u00a0<\/i>5-6 December, 2016<br \/>\nUniversidad Nacional de Quilmes<br \/>\nBuenos Aires, Argentina<\/p>\n<p><a href=\"http:\/\/diaz-caro.web.unq.edu.ar\/foqcoss.html\">http:\/\/diaz-caro.web.unq.edu.ar\/foqcoss.html<\/a><\/p>\n<p>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.<\/p>\n<p>Please, confirm attendance by sending your name and affiliation to\u00a0<a href=\"mailto:alejandro@diaz-caro.info\">alejandro@diaz-caro.info<br \/>\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<p><b>Program:<\/b><\/p>\n<p><strong>Monday 5 Dec<\/strong><br \/>\n10.30 \u25ba Gilles Dowek:\u00a0Quantitative informational aspects in discrete physics<br \/>\n11.15 \u25ba Pablo Arrighi:\u00a0Discrete Lorentz covariance for quantum walks and quantum cellular automata<br \/>\n<em>12.00 &#8211; Lunch<\/em><br \/>\n14.00 \u25ba Christian de Ronde:\u00a0On the physical foundation of quantum superpositions (beyond measurement outcomes and mathematical structures)<br \/>\n14.45 \u25ba Simon Martiel:\u00a0Quantum causal graph dynamics<br \/>\n<em>15.30 &#8211; Coffee break<\/em><br \/>\n16.00 \u25ba Stefano Facchini:\u00a0Quantum walking in curved spacetime: (3+1) dimensions, and beyond<\/p>\n<p><strong>Tuesday 6 Dec<\/strong><br \/>\n10.30 \u25ba Beno\u00eet Valiron:\u00a0A Geometry of interaction for quantum computation<br \/>\n11.15 \u25ba Alejandro D\u00edaz-Caro: Typing quantum superpositions and projective measurements<br \/>\n<em>12.00 &#8211; Lunch<\/em><br \/>\n14.00 \u25ba Jos\u00e9 Carlos Puiati: Implementation of an interpreter and typechecker for the double effect quantum lambda calculus<br \/>\n14.45 \u25ba Renaud Vilmart: TBA<br \/>\n<em>15.30 &#8211; Coffee break<\/em><br \/>\n16.00 \u25ba Gabriel Senno: Robust Bell inequalities from communication complexity<br \/>\n16.45 \u25ba Ariel Bendersky: Non-signaling deterministic models for non-local correlations have to be uncomputable<!--:--><\/p>\n","protected":false},"excerpt":{"rendered":"<p>FoQCoSS Kickoff Workshop Foundations of Quantum Computation: Syntax and Semantics,\u00a05-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 by &hellip; <a href=\"http:\/\/www.irp-sinfin.org\/?p=823\" class=\"more-link\">Continue reading <span class=\"screen-reader-text\">Workshop organized by the STIC-AmSud project &quot;FoQCoSS&quot; &#8212; 5,6 December 2016 &#8212; Updated schedule<\/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-823","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\/823","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=823"}],"version-history":[{"count":0,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/posts\/823\/revisions"}],"wp:attachment":[{"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=823"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=823"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=823"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}