{"id":4,"date":"2011-12-08T11:55:34","date_gmt":"2011-12-08T11:55:34","guid":{"rendered":"http:\/\/project.inria.fr\/template1\/?page_id=4"},"modified":"2021-04-07T00:44:19","modified_gmt":"2021-04-06T22:44:19","slug":"home","status":"publish","type":"page","link":"https:\/\/epit2020cnrs.inria.fr\/fr\/","title":{"rendered":"ECOLE DE RECHERCHE"},"content":{"rendered":"

<\/p>\n

COVID-19 update: L'\u00e9cole a \u00e9t\u00e9 d\u00e9cal\u00e9e au 12-16 avril 2021 et sera enti\u00e8rement en ligne.<\/strong><\/pre>\n
Ecole de Printemps en Th\u00e9orie Homotopique des Types<\/strong><\/span><\/p>\n
12-16 avril 2021<\/span><\/strong><\/p>\n
Description<\/strong><\/p>\n
L’EPIT<\/a>\u00a0est une \u00e9cole th\u00e9matique fran\u00e7aise annuelle sur 5 jours, sp\u00e9cialis\u00e9 \u00e0 chaque fois sur un sujet d’informatique th\u00e9orique diff\u00e9rent. Elle est principalement adress\u00e9e aux \u00e9tudiant en th\u00e8se, en post-doctorat ou les jeunes acad\u00e9miques.<\/p>\n
L’\u00e9dition 2020 de l’EPIT sera centr\u00e9e sur la th\u00e9orie homotopique des types, un sujet de recherche \u00e0 la fronti\u00e8re entre informatique et math\u00e9matique. Notre but est donc de fournir une introduction \u00e0 ce sujet qui soit accessible aux chercheurs de ces deux communaut\u00e9s.<\/p>\n
Localisation<\/strong><\/p>\n
L’\u00e9cole se d\u00e9roulera enti\u00e8rement en ligne. Nous ferons tout notre possible pour qu’elle soit aussi profitable qu’une \u00e9cole en pr\u00e9sentiel.<\/p>\n
Cours<\/strong><\/p>\n
\u00a0.\u00a0 \u00a0\u00a0\u00a0 \u00a0 \u00a0\u00a0\"Image\u00a0\u00a0<\/span>\u00a0 \u00a0\u00a0<\/span>\"Egbert\u00a0\u00a0<\/span>\u00a0 \u00a0\u00a0<\/span>\"Christian<\/p>\n
Andrej Bauer<\/a> (Ljubljana University): Introduction \u00e0 la th\u00e9orie homotopique des types<\/span><\/p>\n
Bas Spitters<\/a> (Aarhus University): La biblioth\u00e8que Coq-HoTT<\/p>\n
Anders Mo\u0308rtberg<\/a> (Stockholm University): Th\u00e9orie des Types Cubiques<\/p>\n
Egbert Rijke<\/a> (Ljubljana University): Th\u00e9orie de l’Homotopie Synth\u00e9tique<\/p>\n
Christian Sattler<\/a> (Chalmers University): Mod\u00e8les de\u00a0th\u00e9orie homotopique des types<\/span><\/p>\n
Expos\u00e9s<\/strong><\/p>\n
\"Paige\u00a0 \u00a0<\/span>\u00a0 \u00a0\u00a0\"JetBrains<\/span><\/p>\n
Paige North<\/a> (Ohio State University): Th\u00e9orie Homotopique Dirig\u00e9e des Types<\/p>\n
Valery Isaev<\/a> (JetBrain, Saint Petersburg): L’assistant de preuve Arend<\/p>\n
Sessions Pratiques<\/strong><\/p>\n
Il y aura aussi des sessions pratiques pour apprendre \u00e0 utiliser certains assistants de preuve bas\u00e9s sur th\u00e9orie homotopique des types comme Cubical Agda ou la biblioth\u00e8que Coq-HoTT.<\/p>\n
 <\/p>","protected":false},"excerpt":{"rendered":"
COVID-19 update: L’\u00e9cole a \u00e9t\u00e9 d\u00e9cal\u00e9e au 12-16 avril 2021 et sera enti\u00e8rement en ligne. Ecole de Printemps en Th\u00e9orie Homotopique des Types 12-16 avril 2021 Description L’EPIT\u00a0est une \u00e9cole th\u00e9matique fran\u00e7aise annuelle sur 5 jours, sp\u00e9cialis\u00e9 \u00e0 chaque fois sur un sujet d’informatique th\u00e9orique diff\u00e9rent. Elle est principalement adress\u00e9e\u2026<\/p>\n
 Continue reading<\/span><\/i><\/a> <\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"open","template":"","meta":{"footnotes":"","_members_access_role":[],"_members_access_error":""},"class_list":["post-4","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/epit2020cnrs.inria.fr\/fr\/wp-json\/wp\/v2\/pages\/4","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/epit2020cnrs.inria.fr\/fr\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/epit2020cnrs.inria.fr\/fr\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/epit2020cnrs.inria.fr\/fr\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/epit2020cnrs.inria.fr\/fr\/wp-json\/wp\/v2\/comments?post=4"}],"version-history":[{"count":50,"href":"https:\/\/epit2020cnrs.inria.fr\/fr\/wp-json\/wp\/v2\/pages\/4\/revisions"}],"predecessor-version":[{"id":206,"href":"https:\/\/epit2020cnrs.inria.fr\/fr\/wp-json\/wp\/v2\/pages\/4\/revisions\/206"}],"wp:attachment":[{"href":"https:\/\/epit2020cnrs.inria.fr\/fr\/wp-json\/wp\/v2\/media?parent=4"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}