{"id":2032,"date":"2025-04-30T05:41:00","date_gmt":"2025-04-30T08:41:00","guid":{"rendered":"http:\/\/www.irp-sinfin.org\/?p=2032"},"modified":"2025-04-30T05:50:39","modified_gmt":"2025-04-30T08:50:39","slug":"carlos-miguel-soto-to-defend-his-licenciatura-thesis-at-uba-may-6-2025","status":"publish","type":"post","link":"http:\/\/www.irp-sinfin.org\/?p=2032","title":{"rendered":"Carlos Miguel Soto to defend his licenciatura thesis at UBA &#8211; May 6, 2025"},"content":{"rendered":"\n<div class=\"wp-block-group\"><div class=\"wp-block-group__inner-container is-layout-constrained wp-block-group-is-layout-constrained\">\n<p><a href=\"https:\/\/reedef.dev\"><strong>Carlos Miguel Soto<\/strong><\/a> defends his <em>licenciatura<\/em> thesis (eq M2) in Computer Science at Universidad de Buenos Aires.<\/p>\n\n\n\n<p><strong>Date:<\/strong> Tuesday, 6 May 2025<br><strong>Time:<\/strong> 11:00 AM<br><strong>Location:<\/strong> Pabell\u00f3n 0+INF, Room to be confirmed<\/p>\n\n\n\n<p><strong>Thesis advisor<\/strong>: Alejandro D\u00edaz-Caro (Centre Inria de l&#8217;Universit\u00e9 de Lorraine &amp; Universidad Nacional de Quilmes)<\/p>\n\n\n\n<p><strong>Jury members:<\/strong><\/p>\n<\/div><\/div>\n\n\n\n<div class=\"wp-block-group margin-top: 0; margin-bottom:\"><div class=\"wp-block-group__inner-container is-layout-constrained wp-block-group-is-layout-constrained\">\n<ul class=\"wp-block-list\">\n<li>Pablo Barenbaum (Universidad de Buenos Aires)<\/li>\n\n\n\n<li class=\"compact-list\">Octavio Malherbe (Universidad de la Rep\u00fablica)<\/li>\n\n\n\n<li>Beno\u00eet Valiron (Universit\u00e9 Paris-Saclay)<\/li>\n<\/ul>\n<\/div><\/div>\n\n\n\n<p><strong>Title:<\/strong>\u00a0On the Completeness of a Syntactically Linear Logic<\/p>\n\n\n\n<p><strong>Abstract: <\/strong>The L<sup>S<\/sup> calculus, an extension of the proof language of linear logic related to quantum computing, was given a concrete semantics in <a href=\"https:\/\/arxiv.org\/abs\/2205.02142v2\">[DCM23]<\/a>. In this thesis, we prove completeness results for this semantics with respect to computational equivalence. We introduce an operational semantics for L<sup>S<\/sup> and show its isomorphism with the categorical semantics under certain conditions. Moreover, we show that the category can be restricted to finitely generated semimodules, which possess better properties.<\/p>\n\n\n\n<p><\/p>\n\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Carlos Miguel Soto defends his licenciatura thesis (eq M2) in Computer Science at Universidad de Buenos Aires. Date: Tuesday, 6 May 2025Time: 11:00 AMLocation: Pabell\u00f3n 0+INF, Room to be confirmed Thesis advisor: Alejandro D\u00edaz-Caro (Centre Inria de l&#8217;Universit\u00e9 de Lorraine &amp; Universidad Nacional de Quilmes) Jury members: Title:\u00a0On the Completeness of a Syntactically Linear Logic &hellip; <a href=\"http:\/\/www.irp-sinfin.org\/?p=2032\" class=\"more-link\">Continue reading <span class=\"screen-reader-text\">Carlos Miguel Soto to defend his licenciatura thesis at UBA &#8211; May 6, 2025<\/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-2032","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\/2032","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=2032"}],"version-history":[{"count":2,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/posts\/2032\/revisions"}],"predecessor-version":[{"id":2037,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/posts\/2032\/revisions\/2037"}],"wp:attachment":[{"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=2032"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=2032"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=2032"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}