{"id":3079,"date":"2014-11-13T09:41:43","date_gmt":"2014-11-13T08:41:43","guid":{"rendered":"https:\/\/blogg.mah.se\/ts\/?p=3079"},"modified":"2014-11-13T09:41:43","modified_gmt":"2014-11-13T08:41:43","slug":"research-seminar-with-catarina-couqand","status":"publish","type":"post","link":"https:\/\/blogg.mah.se\/ts\/2014\/11\/13\/research-seminar-with-catarina-couqand\/","title":{"rendered":"Research seminar with Catarina Couqand"},"content":{"rendered":"<p>Dear all,<\/p>\n<p>Most welcome to a research seminar at which Catarina Couqand will introduce us to her research area.<\/p>\n<p>We will be in Aktersalongen and we start at 13.15 as usual. Please note that the seminar is on Thursday, November 27.<\/p>\n<p>See the abstract below:<\/p>\n<p>Av olika sk\u00e4l blev det inte av f\u00f6rra \u00e5ret att ber\u00e4tta om min forskning och forskningsomr\u00e5de, men nu skall det bli av. Jag kommer att g\u00f6ra en \u00f6versiktlig presentation av mitt forskningsomr\u00e5de snarare \u00e4n detaljer fr\u00e5n min egen forskning. Det jag kommer att prata om kallas typteori, omr\u00e5det gr\u00e4nsar till teoretisk filosofi, matematik och datavetenskap. Jag kommer att beskriva teorin, det programspr\u00e5k som bygger p\u00e5 teorin och dess koppling till formalisering av matematiska bevis och korrekthet av program. Lite demo hoppas jag ocks\u00e5 hinna med. Det beh\u00f6vs element\u00e4r kunskap om logik och programmering f\u00f6r att h\u00e4nga med. F\u00f6redraget blir p\u00e5 engelska om inta alla f\u00f6rst\u00e5r svenska i publiken.<\/p>\n<p>In this talk I will give an overview of dependent type theory and it\u2019s applications to computer assisted proofs and program correctness. If I have time I will shortly mention recent work on redefining the foundation of mathematics with the aim to make it more suitable for computer aided proofs by combining homotopy theory with type theory. A basic knowledge of logic and programming is needed to follow the talk.<\/p>\n<p>Regards,<br \/>\nHelena<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Dear all, Most welcome to a research seminar at which Catarina Couqand will introduce us to her research area. We will be in Aktersalongen and we start at 13.15 as usual. Please note that the seminar is on Thursday, November &hellip; <a href=\"https:\/\/blogg.mah.se\/ts\/2014\/11\/13\/research-seminar-with-catarina-couqand\/\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":262,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"ngg_post_thumbnail":0,"footnotes":""},"categories":[14],"tags":[],"class_list":["post-3079","post","type-post","status-publish","format-standard","hentry","category-ts"],"_links":{"self":[{"href":"https:\/\/blogg.mah.se\/ts\/wp-json\/wp\/v2\/posts\/3079","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogg.mah.se\/ts\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogg.mah.se\/ts\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogg.mah.se\/ts\/wp-json\/wp\/v2\/users\/262"}],"replies":[{"embeddable":true,"href":"https:\/\/blogg.mah.se\/ts\/wp-json\/wp\/v2\/comments?post=3079"}],"version-history":[{"count":1,"href":"https:\/\/blogg.mah.se\/ts\/wp-json\/wp\/v2\/posts\/3079\/revisions"}],"predecessor-version":[{"id":3080,"href":"https:\/\/blogg.mah.se\/ts\/wp-json\/wp\/v2\/posts\/3079\/revisions\/3080"}],"wp:attachment":[{"href":"https:\/\/blogg.mah.se\/ts\/wp-json\/wp\/v2\/media?parent=3079"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogg.mah.se\/ts\/wp-json\/wp\/v2\/categories?post=3079"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogg.mah.se\/ts\/wp-json\/wp\/v2\/tags?post=3079"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}