{"id":51301,"date":"2019-04-11T08:15:05","date_gmt":"2019-04-11T08:15:05","guid":{"rendered":"https:\/\/www.um.edu.mt\/projects\/behapi\/?p=51301"},"modified":"2019-05-03T12:32:50","modified_gmt":"2019-05-03T12:32:50","slug":"behapi-workshop-etaps-2019","status":"publish","type":"post","link":"https:\/\/www.um.edu.mt\/projects\/behapi\/behapi-workshop-etaps-2019\/","title":{"rendered":"BehAPI Workshop @ ETAPS 2019"},"content":{"rendered":"<p>Last Saturday, the BehAPI workshop at ETAPS successfully took place, where speakers both from within and outside the project gave a number of interesting talks about\u00a0Mechanising Proofs for Behavioural Types and Processes, and\u00a0Behavioural Types for API-based software. In the final part of the workshop, an internal meeting was conducted, where project matters such as secondments and the upcoming Leicester summer school were discussed.<\/p>\n<p>Attendees from within the project included Adrian Francalanza (UOM), Emilio Tuosto (ULEIC), Antonio Ravara (NOVA), Hernan Melgratti (UBA), Laura Bocchi (UKENT), Ornela Dardha (UGLA), Roland Kuhn (ACT),\u00a0 Stephanie Balzers (CMU), Hans Huttel (AAU), Marco Carbone (ITU), Luca Padovani (UNITO) and Mario Bravetti (UNIBO).<\/p>\n<p>The following presentations were given<\/p>\n<ul>\n<li><a href=\"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-content\/uploads\/2019\/04\/Ivan-Scagnetto-A-Theory-of-Contexts-for-Higher-Order-Encodings.pdf\">Ivan Scagnetto &#8211; A Theory of Contexts for Higher-Order Encodings<\/a><\/li>\n<li><a href=\"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-content\/uploads\/2019\/04\/Wen-Kokke-Formalising-Session-Typed-Languages-Without-Worries.pdf\">Wen Kokke &#8211; Formalising Session-Typed Languages Without Worries<\/a><\/li>\n<li><a href=\"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-content\/uploads\/2019\/04\/Franciso-Ferreira-Adventures-in-Formalising-the-Meta-Theory-of-Session-Types.pdf\">Franciso Ferreira &#8211; Adventures in Formalising the Meta-Theory of Session Types<\/a><\/li>\n<li><a href=\"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-content\/uploads\/2019\/04\/Antonio-Ravara-\u03c0-without-\u03b1-\u2013-a-certified-implementation.pdf\">Antonio Ravara &#8211; \u03c0 without \u03b1 \u2013 a certified implementation<\/a><\/li>\n<li><a href=\"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-content\/uploads\/2019\/04\/Ornela-Dardha-Session-Types-in-Coq.pdf\">Ornela Dardha &#8211; Session Types in Coq<\/a><\/li>\n<li><a href=\"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-content\/uploads\/2019\/04\/Marco-Carbone-Mechanising-Your-Proofs-in-Coq.pdf\">Marco Carbone &#8211; Mechanising Your Proofs in Coq<\/a><\/li>\n<li><a href=\"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-content\/uploads\/2019\/04\/Ugo-deLiguoro-and-Luca-Padovani-Mailbox-Types-for-Unordered-Interactions.pdf\">Ugo de&#8217;Liguoro and Luca Padovani &#8211; Mailbox Types for Unordered Interactions<\/a><\/li>\n<li><a href=\"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-content\/uploads\/2019\/04\/Hans-Huttel-A-behavioural-type-system-for-Mungo-with-generic-classes.pdf\">Hans Huttel &#8211; A behavioural type system for Mungo with generic classes<\/a><\/li>\n<li><a href=\"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-content\/uploads\/2019\/04\/Guido-Chari-A-Virtual-Machine-Metaobject-Protocol-for-Runtime-Software-Adaptation.pdf\">Guido Chari &#8211; A Virtual-Machine Metaobject Protocol for Runtime Software Adaptation<\/a><\/li>\n<\/ul>\n<div id='gallery-1' class='gallery galleryid-51301 gallery-columns-3 gallery-size-thumbnail'><figure class='gallery-item'>\n\t\t\t<div class='gallery-icon landscape'>\n\t\t\t\t<a href='https:\/\/www.um.edu.mt\/projects\/behapi\/behapi-workshop-etaps-2019\/ornela-etaps\/'><img loading=\"lazy\" decoding=\"async\" width=\"150\" height=\"150\" src=\"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-content\/uploads\/2019\/04\/ornela-@-etaps-150x150.jpg\" class=\"attachment-thumbnail size-thumbnail\" alt=\"\" aria-describedby=\"gallery-1-51353\" srcset=\"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-content\/uploads\/2019\/04\/ornela-@-etaps-150x150.jpg 150w, https:\/\/www.um.edu.mt\/projects\/behapi\/wp-content\/uploads\/2019\/04\/ornela-@-etaps-100x100.jpg 100w\" sizes=\"100vw\" \/><\/a>\n\t\t\t<\/div>\n\t\t\t\t<figcaption class='wp-caption-text gallery-caption' id='gallery-1-51353'>\n\t\t\t\tOrnela Dardha at ETAPS\n\t\t\t\t<\/figcaption><\/figure><figure class='gallery-item'>\n\t\t\t<div class='gallery-icon landscape'>\n\t\t\t\t<a href='https:\/\/www.um.edu.mt\/projects\/behapi\/behapi-workshop-etaps-2019\/hans-etaps\/'><img loading=\"lazy\" decoding=\"async\" width=\"150\" height=\"150\" src=\"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-content\/uploads\/2019\/04\/hans-@-etaps-150x150.jpg\" class=\"attachment-thumbnail size-thumbnail\" alt=\"\" aria-describedby=\"gallery-1-51352\" srcset=\"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-content\/uploads\/2019\/04\/hans-@-etaps-150x150.jpg 150w, https:\/\/www.um.edu.mt\/projects\/behapi\/wp-content\/uploads\/2019\/04\/hans-@-etaps-100x100.jpg 100w\" sizes=\"100vw\" \/><\/a>\n\t\t\t<\/div>\n\t\t\t\t<figcaption class='wp-caption-text gallery-caption' id='gallery-1-51352'>\n\t\t\t\tHans Huttel at ETAPS\n\t\t\t\t<\/figcaption><\/figure>\n\t\t<\/div>\n\n","protected":false},"excerpt":{"rendered":"<p>Last Saturday, the BehAPI workshop at ETAPS successfully took place, where speakers both from within and outside the project gave a number of interesting talks about\u00a0Mechanising Proofs for Behavioural Types<\/p>\n<div class=\"read-more\"><a class=\"btn read-more-link\" href=\"https:\/\/www.um.edu.mt\/projects\/behapi\/behapi-workshop-etaps-2019\/\">Read More<\/a><\/div>\n","protected":false},"author":18,"featured_media":51335,"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\/51301"}],"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\/18"}],"replies":[{"embeddable":true,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/comments?post=51301"}],"version-history":[{"count":9,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/posts\/51301\/revisions"}],"predecessor-version":[{"id":51354,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/posts\/51301\/revisions\/51354"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/media\/51335"}],"wp:attachment":[{"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/media?parent=51301"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/categories?post=51301"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/tags?post=51301"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}