{"id":51617,"date":"2019-10-07T15:07:10","date_gmt":"2019-10-07T15:07:10","guid":{"rendered":"https:\/\/www.um.edu.mt\/projects\/behapi\/?p=51617"},"modified":"2019-10-07T16:57:09","modified_gmt":"2019-10-07T16:57:09","slug":"laura-bocchi-and-ornela-dardha-bologna-italy","status":"publish","type":"post","link":"https:\/\/www.um.edu.mt\/projects\/behapi\/laura-bocchi-and-ornela-dardha-bologna-italy\/","title":{"rendered":"Laura Bocchi and Ornela Dardha @ Bologna, Italy"},"content":{"rendered":"<p>Laura Bocchi (University of Kent) and Ornela Dardha (University of Glasgow) visited Freelands SRL and University of Bologna, in Bologna, Italy as part of their BehAPI secondments. Laura and Ornela met with Freelands CEO and developers, learned about the APIgator tool (a demo was given by the Freelands developers), and discussed about possible integration of behavioural types with APIgator.<\/p>\n<p>Also, as part of this visit, Laura and Ornela had discussions with members of BehAPI in Bologna and gave talks, details follow.<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"wp-image-51620 size-large aligncenter\" src=\"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-content\/uploads\/2019\/10\/unnamed-2-e1570459204852-1024x595.jpg\" alt=\"\" width=\"525\" height=\"305\" srcset=\"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-content\/uploads\/2019\/10\/unnamed-2-e1570459204852-1024x595.jpg 1024w, https:\/\/www.um.edu.mt\/projects\/behapi\/wp-content\/uploads\/2019\/10\/unnamed-2-e1570459204852-300x174.jpg 300w, https:\/\/www.um.edu.mt\/projects\/behapi\/wp-content\/uploads\/2019\/10\/unnamed-2-e1570459204852-768x446.jpg 768w, https:\/\/www.um.edu.mt\/projects\/behapi\/wp-content\/uploads\/2019\/10\/unnamed-2-e1570459204852-750x436.jpg 750w\" sizes=\"(max-width: 525px) 100vw, 525px\" \/><br \/>\nLaura gave a talk at the FOCUS team\/DISI at University of Bologna on &#8220;Time Sensitive Protocol Design and Implementation&#8221;, and Ornela gave a talk at FOCUS team\/DISI at University of Bologna on \u201cA New Linear Logic for Deadlock-Free Session-Typed Processes.<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"wp-image-51624 size-large aligncenter\" src=\"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-content\/uploads\/2019\/10\/unnamed-e1570460370981-1024x617.jpg\" alt=\"\" width=\"525\" height=\"316\" srcset=\"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-content\/uploads\/2019\/10\/unnamed-e1570460370981-1024x617.jpg 1024w, https:\/\/www.um.edu.mt\/projects\/behapi\/wp-content\/uploads\/2019\/10\/unnamed-e1570460370981-300x181.jpg 300w, https:\/\/www.um.edu.mt\/projects\/behapi\/wp-content\/uploads\/2019\/10\/unnamed-e1570460370981-768x462.jpg 768w, https:\/\/www.um.edu.mt\/projects\/behapi\/wp-content\/uploads\/2019\/10\/unnamed-e1570460370981-750x452.jpg 750w\" sizes=\"(max-width: 525px) 100vw, 525px\" \/><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Laura Bocchi (University of Kent) and Ornela Dardha (University of Glasgow) visited Freelands SRL and University of Bologna, in Bologna, Italy as part of their BehAPI secondments. Laura and Ornela<\/p>\n<div class=\"read-more\"><a class=\"btn read-more-link\" href=\"https:\/\/www.um.edu.mt\/projects\/behapi\/laura-bocchi-and-ornela-dardha-bologna-italy\/\">Read More<\/a><\/div>\n","protected":false},"author":60,"featured_media":51619,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[36],"tags":[],"acf":[],"_links":{"self":[{"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/posts\/51617"}],"collection":[{"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/users\/60"}],"replies":[{"embeddable":true,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/comments?post=51617"}],"version-history":[{"count":5,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/posts\/51617\/revisions"}],"predecessor-version":[{"id":51629,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/posts\/51617\/revisions\/51629"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/media\/51619"}],"wp:attachment":[{"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/media?parent=51617"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/categories?post=51617"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/tags?post=51617"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}