{"id":11407,"date":"2022-06-29T08:33:57","date_gmt":"2022-06-29T08:33:57","guid":{"rendered":"https:\/\/dei.fe.up.pt\/dev\/?p=11407"},"modified":"2022-06-29T08:34:21","modified_gmt":"2022-06-29T08:34:21","slug":"provas-de-agregacao-case-studies-of-development-of-verified-programs-with-dafny","status":"publish","type":"post","link":"https:\/\/dei.fe.up.pt\/dev\/provas-de-agregacao-case-studies-of-development-of-verified-programs-with-dafny\/","title":{"rendered":"Provas de Agrega\u00e7\u00e3o: &#8220;Case studies of development of verified programs with Dafny&#8221;"},"content":{"rendered":"<p>Provas de Agrega\u00e7\u00e3o no ramo de conhecimento em Engenharia Inform\u00e1tica: &#8220;<strong>Case studies of development of verified programs with Dafny<\/strong>&#8221;<\/p>\n<p>Requeridas por:<\/p>\n<p>Doutor<strong> Jo\u00e3o Carlos Pascoal de Faria<\/strong><\/p>\n<p><strong>Dia 7 de julho<\/strong> de 2022, \u00e0s 14:30, na Sala de Atos da FEUP<\/p>\n<p>Aprecia\u00e7\u00e3o do curr\u00edculo e do relat\u00f3rio referente ao ciclo de estudos \u201cDo Mestrado Integrado \u00e0 Licenciatura e Mestrado em Engenharia Inform\u00e1tica e Computa\u00e7\u00e3o na FEUP\u201d<\/p>\n<p><strong>Dia 8 de&nbsp; julho<\/strong> de 2022, \u00e0s 14:30, na Sala de Atos da FEUP<\/p>\n<p>Discuss\u00e3o da li\u00e7\u00e3o de s\u00edntese intitulada \u201cCase studies of development of verified programs with Dafny\u201d<\/p>\n<p>Presidente do J\u00fari:<\/p>\n<p>Doutor Jo\u00e3o Bernardo de Sena Esteves Falc\u00e3o e Cunha, Professor Catedr\u00e1tico e Diretor da Faculdade de Engenharia da Universidade do Porto;<\/p>\n<p>Vogais:<\/p>\n<p>&#8211; Doutor Vasco Manuel Thudichum de Serpa Vasconcelos, Professor Catedr\u00e1tico do Departamento de Inform\u00e1tica da Faculdade de Ci\u00eancias da Universidade de Lisboa;<\/p>\n<p>&#8211; Doutor Lu\u00eds Manuel Marques da Costa Caires, Professor Catedr\u00e1tico Departamento de Inform\u00e1tica da Faculdade de Ci\u00eancias e Tecnologia da Universidade Nova de Lisboa;<\/p>\n<p>&#8211; Doutor Jos\u00e9 Nuno Fonseca Oliveira, Professor Catedr\u00e1tico do Departamento de Inform\u00e1tica da Universidade do Minho;<\/p>\n<p>&#8211; Doutor Rui Filipe Lima Maranh\u00e3o de Abreu, Professor Catedr\u00e1tico do Departamento de Engenharia Inform\u00e1tica da Faculdade de Engenharia da Universidade do Porto;<\/p>\n<p>&#8211; Doutor Pedro Nuno Ferreira da Rosa da Cruz Diniz, Professor Catedr\u00e1tico do Departamento de Engenharia Inform\u00e1tica da Faculdade de Engenharia da Universidade do Porto.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Provas de Agrega\u00e7\u00e3o no ramo de conhecimento em Engenharia Inform\u00e1tica: &#8220;Case studies of development of verified programs with Dafny&#8221; Requeridas por: Doutor Jo\u00e3o Carlos Pascoal de Faria Dia 7 de julho de 2022, \u00e0s 14:30, na Sala de Atos da FEUP Aprecia\u00e7\u00e3o do curr\u00edculo e do relat\u00f3rio referente ao ciclo de estudos \u201cDo Mestrado Integrado [&hellip;]<\/p>\n","protected":false},"author":60,"featured_media":11408,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"inline_featured_image":false,"footnotes":""},"categories":[46,20],"tags":[],"class_list":["post-11407","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-destaque","category-noticias"],"_links":{"self":[{"href":"https:\/\/dei.fe.up.pt\/dev\/wp-json\/wp\/v2\/posts\/11407","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/dei.fe.up.pt\/dev\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/dei.fe.up.pt\/dev\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/dei.fe.up.pt\/dev\/wp-json\/wp\/v2\/users\/60"}],"replies":[{"embeddable":true,"href":"https:\/\/dei.fe.up.pt\/dev\/wp-json\/wp\/v2\/comments?post=11407"}],"version-history":[{"count":0,"href":"https:\/\/dei.fe.up.pt\/dev\/wp-json\/wp\/v2\/posts\/11407\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/dei.fe.up.pt\/dev\/wp-json\/wp\/v2\/media\/11408"}],"wp:attachment":[{"href":"https:\/\/dei.fe.up.pt\/dev\/wp-json\/wp\/v2\/media?parent=11407"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/dei.fe.up.pt\/dev\/wp-json\/wp\/v2\/categories?post=11407"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/dei.fe.up.pt\/dev\/wp-json\/wp\/v2\/tags?post=11407"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}