{"id":51905,"date":"2023-05-24T14:46:12","date_gmt":"2023-05-24T12:46:12","guid":{"rendered":"https:\/\/www.um.edu.mt\/projects\/behapi\/?p=51905"},"modified":"2023-05-25T11:15:09","modified_gmt":"2023-05-25T09:15:09","slug":"behapi-tutorial-day-discotec-2023","status":"publish","type":"post","link":"https:\/\/www.um.edu.mt\/projects\/behapi\/behapi-tutorial-day-discotec-2023\/","title":{"rendered":"BehAPI Tutorial Day @ DisCoTec 2023"},"content":{"rendered":"\n<p>This year, a BehAPI tutorial day will be colocated with <a href=\"https:\/\/www.discotec.org\/2023\/\">DisCoTec 2023<\/a>. It will be organised on <strong>Friday, June 23,<\/strong> after the main conference. The following three tools will be presented:<\/p>\n\n\n\n<ul>\n<li><a href=\"https:\/\/github.com\/jdmota\/java-typestate-checker\">JaTyC&nbsp;Java Typestate Checker<\/a> to be presented by Jo\u00e3o Mota and Ant\u00f3nio Ravara<\/li>\n\n\n\n<li><a href=\"https:\/\/chrisbartoloburlo.github.io\/cots\/\">SeTTS: Session Type Test Synthesis for Web-based APIs<\/a> to be presented by Christian Bartolo Burlo<\/li>\n\n\n\n<li>Local-First Principles: a Behavioural Typing Approach, to be presented by Emilio Tuosto<\/li>\n<\/ul>\n\n\n\n<p>More details on the tutorials can be found <a href=\"https:\/\/www.discotec.org\/2023\/tutorials\" data-type=\"URL\" data-id=\"https:\/\/www.discotec.org\/2023\/tutorials\">here<\/a>.<\/p>\n\n\n\n<p>Early stage researchers are highly encouraged to attend, particularly PhD students and postdocs. If applying through BehAPI, you may be entitled to financial support, particularly, a cover of the registration fee as well as a fixed subsistence allowance to cover flights and accommodation.<\/p>\n\n\n\n<p>Kindly contact <a href=\"mailto:caroline.r.caruana@um.edu.mt\">caroline.r.caruana@um.edu.mt<\/a> if you are interested in attending this tutorial day. In the meantime, you may register on the <a href=\"https:\/\/www.discotec.org\/2023\/registration\">DisCoTec website<\/a> at your earliest, and plan your travel details accordingly. <\/p>\n","protected":false},"excerpt":{"rendered":"<p>This year, a BehAPI tutorial day will be colocated with DisCoTec 2023. It will be organised on Friday, June 23, after the main conference. The following three tools will be<\/p>\n<div class=\"read-more\"><a class=\"btn read-more-link\" href=\"https:\/\/www.um.edu.mt\/projects\/behapi\/behapi-tutorial-day-discotec-2023\/\">Read More<\/a><\/div>\n","protected":false},"author":1,"featured_media":51912,"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\/51905"}],"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\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/comments?post=51905"}],"version-history":[{"count":3,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/posts\/51905\/revisions"}],"predecessor-version":[{"id":51913,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/posts\/51905\/revisions\/51913"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/media\/51912"}],"wp:attachment":[{"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/media?parent=51905"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/categories?post=51905"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/tags?post=51905"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}