{"id":51112,"date":"2019-02-26T14:13:48","date_gmt":"2019-02-26T14:13:48","guid":{"rendered":"https:\/\/www.um.edu.mt\/projects\/behapi\/?p=51112"},"modified":"2019-02-26T14:13:48","modified_gmt":"2019-02-26T14:13:48","slug":"behapi-symposium-on-the-mathematical-foundations-of-se","status":"publish","type":"post","link":"https:\/\/www.um.edu.mt\/projects\/behapi\/behapi-symposium-on-the-mathematical-foundations-of-se\/","title":{"rendered":"BehAPI @ symposium on the mathematical foundations of SE"},"content":{"rendered":"<p>During their secondment at UBA, Ugo de&#8217; Liguoro and Emilio Tuosto have been invited to the <a href=\"https:\/\/dc.exa.unrc.edu.ar\/rio\/es\/InternationalSymposium\">international symposium on the mathematical foundations of software engineering<\/a> in honor of Prof. Tom Maibaum. Ugo and Emilio attended the workshop on February 16 and 17 2019 where Emilio gave a talk on formal approaches to the development of behavioural APIs.<\/p>\n<p>Emilio was partly supported by a KEEF grant of the University of Leicester.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>During their secondment at UBA, Ugo de&#8217; Liguoro and Emilio Tuosto have been invited to the international symposium on the mathematical foundations of software engineering in honor of Prof. Tom<\/p>\n<div class=\"read-more\"><a class=\"btn read-more-link\" href=\"https:\/\/www.um.edu.mt\/projects\/behapi\/behapi-symposium-on-the-mathematical-foundations-of-se\/\">Read More<\/a><\/div>\n","protected":false},"author":36,"featured_media":51128,"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\/51112"}],"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\/36"}],"replies":[{"embeddable":true,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/comments?post=51112"}],"version-history":[{"count":3,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/posts\/51112\/revisions"}],"predecessor-version":[{"id":51129,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/posts\/51112\/revisions\/51129"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/media\/51128"}],"wp:attachment":[{"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/media?parent=51112"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/categories?post=51112"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/tags?post=51112"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}