{"id":11411,"date":"2022-06-29T08:34:59","date_gmt":"2022-06-29T08:34:59","guid":{"rendered":"https:\/\/dei.fe.up.pt\/dev\/?p=11411"},"modified":"2022-06-29T08:34:59","modified_gmt":"2022-06-29T08:34:59","slug":"habilitation-exams-case-studies-of-development-of-verified-programs-with-dafny","status":"publish","type":"post","link":"https:\/\/dei.fe.up.pt\/dev\/habilitation-exams-case-studies-of-development-of-verified-programs-with-dafny\/","title":{"rendered":"Habilitation Exams: &#8220;Case studies of development of verified programs with Dafny&#8221;"},"content":{"rendered":"<p>Habilitation exams in the field of Computing Engineering: &#8220;<strong>Case studies of development of verified programs with Dafny<\/strong>&#8221;<\/p>\n<p>Requested by:<\/p>\n<p><strong>Jo\u00e3o Carlos Pascoal de Faria<\/strong>, PhD<\/p>\n<p><strong>July 7<\/strong> 2022, 14:30, Sala de Atos FEUP<\/p>\n<p>Assessment of the curriculum and the report on the study cycle: \u201cDo Mestrado Integrado \u00e0 Licenciatura e Mestrado em Engenharia Inform\u00e1tica e Computa\u00e7\u00e3o na FEUP\u201d<\/p>\n<p><strong>July 8<\/strong> 2022, 14:30, Sala de Atos FEUP<\/p>\n<p>Discussion of the summary lesson entitled: \u201cCase studies of development of verified programs with Dafny\u201d<\/p>\n<p>President of the Jury:<\/p>\n<p>&#8211; Jo\u00e3o Bernardo de Sena Esteves Falc\u00e3o e Cunha, PhD, Full Professor and Dean of the Faculdade de Engenharia da Universidade do Porto.<\/p>\n<p>Members:<\/p>\n<p>&#8211; Vasco Manuel Thudichum de Serpa Vasconcelos, PhD, Full Professor at Departamento de Inform\u00e1tica da Faculdade de Ci\u00eancias da Universidade de Lisboa;<\/p>\n<p>&#8211; Lu\u00eds Manuel Marques da Costa Caires, PhD, Full Professor at Departamento de Inform\u00e1tica da Faculdade de Ci\u00eancias e Tecnologia da Universidade Nova de Lisboa;<\/p>\n<p>&#8211; Jos\u00e9 Nuno Fonseca Oliveira, PhD, Full Professor at Departamento de Inform\u00e1tica da Universidade do Minho;<\/p>\n<p>&#8211; Rui Filipe Lima Maranh\u00e3o de Abreu, PhD, Full Professor at Departamento de Engenharia Inform\u00e1tica da Faculdade de Engenharia da Universidade do Porto;<\/p>\n<p>&#8211; Pedro Nuno Ferreira da Rosa da Cruz Diniz, PhD, Full Professor at Departamento de Engenharia Inform\u00e1tica da Faculdade de Engenharia da Universidade do Porto.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Habilitation exams in the field of Computing Engineering: &#8220;Case studies of development of verified programs with Dafny&#8221; Requested by: Jo\u00e3o Carlos Pascoal de Faria, PhD July 7 2022, 14:30, Sala de Atos FEUP Assessment of the curriculum and the report on the study cycle: \u201cDo Mestrado Integrado \u00e0 Licenciatura e Mestrado em Engenharia Inform\u00e1tica e [&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":[267,27],"tags":[],"class_list":["post-11411","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-highlights","category-news"],"_links":{"self":[{"href":"https:\/\/dei.fe.up.pt\/dev\/wp-json\/wp\/v2\/posts\/11411","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=11411"}],"version-history":[{"count":0,"href":"https:\/\/dei.fe.up.pt\/dev\/wp-json\/wp\/v2\/posts\/11411\/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=11411"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/dei.fe.up.pt\/dev\/wp-json\/wp\/v2\/categories?post=11411"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/dei.fe.up.pt\/dev\/wp-json\/wp\/v2\/tags?post=11411"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}