{"id":1660,"date":"2021-07-15T12:24:59","date_gmt":"2021-07-15T15:24:59","guid":{"rendered":"http:\/\/www.lia-sinfin.org\/?p=1660"},"modified":"2026-03-18T10:55:37","modified_gmt":"2026-03-18T13:55:37","slug":"fscd-2021-starts-on-saturday","status":"publish","type":"post","link":"http:\/\/www.irp-sinfin.org\/?p=1660","title":{"rendered":"FSCD 2021 starts on Saturday"},"content":{"rendered":"\n<p>The <a href=\"https:\/\/fscd2021.dc.uba.ar\/\">6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021)<\/a> will run from July 17th to July 24th on the Clowdr virtual platform. It has been organized by the Universidad de Buenos Aires by several members of SINFIN. The main conference is from July 19th to July 22th, and the remaining days are used by its 7 <a href=\"https:\/\/fscd2021.dc.uba.ar\/Workshops.html\">affiliated workshops<\/a>:<\/p>\n\n\n\n<p>HoTT\/UF: 6th Workshop on Homotopy Type Theory\/Univalent Foundations<br>ITRS: 10th Workshop on Intersection Types and Related Systems<br>WPTE: 7th International Workshop on Rewriting Techniques for Program Transformations and Evaluation<br>UNIF: 35th International Workshop on Unification<br>LSFA: 16th Logical and Semantics Frameworks with Applications<br>IWC: 10th International Workshop on Confluence<br>IFIP WG 1.6: 24th meeting of the IFIP Working Group 1.6: Rewriting<\/p>\n","protected":false},"excerpt":{"rendered":"<p>The 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021) will run from July 17th to July 24th on the Clowdr virtual platform. It has been organized by the Universidad de Buenos Aires by several members of SINFIN. The main conference is from July 19th to July 22th, and the remaining days &hellip; <a href=\"http:\/\/www.irp-sinfin.org\/?p=1660\" class=\"more-link\">Continue reading <span class=\"screen-reader-text\">FSCD 2021 starts on Saturday<\/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-1660","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\/1660","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=1660"}],"version-history":[{"count":1,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/posts\/1660\/revisions"}],"predecessor-version":[{"id":1661,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/posts\/1660\/revisions\/1661"}],"wp:attachment":[{"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=1660"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=1660"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=1660"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}