On the occasion of the visit of Delia Kesner, director from the French side of SINFIN, and Olivier Carton, from the Randomness and Analysis of Algorithms team, we have organised this mini-workshop on Monday, March 11, 2024, with the following program.<\/p>\n\n\n\n
18.00-18.30 – Team: Logics and Dynamics of Programming Languages<\/a><\/strong> Talk #2: A polymorphic extension of a linear proof language for intuitionistic linear logic 18.35-19.05 – Team: Graph Theory and Combinatorial Optimization<\/a><\/strong> 19.10-19.40 – Team: Theory of Structured Data<\/a><\/strong> 19.45-20.15 – Team: Randomness and Analysis of Algorithms<\/a><\/strong> On the occasion of the visit of Delia Kesner, director from the French side of SINFIN, and Olivier Carton, from the Randomness and Analysis of Algorithms team, we have organised this mini-workshop on Monday, March 11, 2024, with the following program. 18.00-18.30 – Team: Logics and Dynamics of Programming LanguagesTalk #1: Linear logic as a … Continue reading Mini workshop SINFIN 2024<\/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-1902","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\/1902","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=1902"}],"version-history":[{"count":3,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/posts\/1902\/revisions"}],"predecessor-version":[{"id":1907,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/posts\/1902\/revisions\/1907"}],"wp:attachment":[{"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=1902"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=1902"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=1902"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
Talk #1: Linear logic as a key to understand programs
Speaker: Pablo Barenbaum<\/a> \ud83c\udde6\ud83c\uddf7
Joint work with Delia Kesner<\/a> \ud83c\uddeb\ud83c\uddf7, Mariana Milicich<\/a> \ud83c\uddeb\ud83c\uddf7, and Eduardo Bonelli<\/a> \ud83c\uddfa\ud83c\uddf8<\/p>\n\n\n\n
Speaker: Malena Ivnisky<\/a> \ud83c\udde6\ud83c\uddf7
Co-authors: Alejandro D\u00edaz-Caro<\/a> \ud83c\udde6\ud83c\uddf7, Gilles Dowek<\/a> \ud83c\uddeb\ud83c\uddf7, and Octavio Malherbe \ud83c\uddfa\ud83c\uddfe<\/p>\n\n\n\n
Talk: Parameterized algorithms for thinness via the cluster module number
Speaker: Eric Brandwein \ud83c\udde6\ud83c\uddf7
Co-authors: Flavia Bonomo<\/a> \ud83c\udde6\ud83c\uddf7 and Ignasi Sau<\/a> \ud83c\uddeb\ud83c\uddf7<\/p>\n\n\n\n
Talk: First Order Logic with unary negation and transitive closure
Speaker: Santiago Figueira<\/a> \ud83c\udde6\ud83c\uddf7
Co-authors: Diego Figueira<\/a> \ud83c\uddeb\ud83c\uddf7 and Edwin Pin \ud83c\udde6\ud83c\uddf7<\/p>\n\n\n\n
Talk: Nested perfect arrays
Speaker: Olivier Carton<\/a> \ud83c\uddeb\ud83c\uddf7
Co-author: Ver\u00f3nica Becher<\/a> \ud83c\udde6\ud83c\uddf7<\/p>\n","protected":false},"excerpt":{"rendered":"