{"id":22,"date":"2015-06-15T11:01:33","date_gmt":"2015-06-15T09:01:33","guid":{"rendered":"http:\/\/members.loria.fr\/thierrygartiser\/?page_id=22"},"modified":"2016-09-21T14:22:22","modified_gmt":"2016-09-21T12:22:22","slug":"projets","status":"publish","type":"page","link":"https:\/\/members.loria.fr\/IGnaedig\/projets\/","title":{"rendered":"Teaching"},"content":{"rendered":"<p>&nbsp;<\/p>\n<p><a href=\"http:\/\/telecomnancy.univ-lorraine.fr\/\"><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-271 aligncenter\" src=\"http:\/\/members.loria.fr\/IGnaedig\/wp-content\/blogs.dir\/95\/files\/sites\/95\/2015\/06\/logot-complet-Telecom.jpg\" alt=\"logot-complet-telecom\" width=\"206\" height=\"95\" \/><\/a><\/p>\n<p>&nbsp;<\/p>\n<ul>\n<li>At the <a href=\"http:\/\/telecomnancy.univ-lorraine.fr\/\">Telecom Nancy Engineering school<\/a>,\u00a0I am coordinator of the module \u00ab\u00a0Design of safe software\u00a0\u00bb,<\/li>\n<li>In this module, I give a course and supervised practical works on rule-based programming.<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<p><a href=\"http:\/\/www.lorraine-inp.fr\/\"><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-273 aligncenter\" src=\"http:\/\/members.loria.fr\/IGnaedig\/wp-content\/blogs.dir\/95\/files\/sites\/95\/2015\/06\/logo_lorraine_inp.png\" alt=\"logo_lorraine_inp\" width=\"163\" height=\"64\" \/><\/a><\/p>\n<p>&nbsp;<\/p>\n<ul>\n<li>At <a href=\"http:\/\/www.lorraine-inp.fr\/\">Lorraine INP: Collegium des \u00e9coles d&rsquo;ing\u00e9nieurs de l&rsquo;Universit\u00e9 de Lorraine<\/a>, I give an opening course on the limits of provability in mathematics and of computability in computer science.<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>&nbsp; &nbsp; At the Telecom Nancy Engineering school,\u00a0I am coordinator of the module \u00ab\u00a0Design of safe software\u00a0\u00bb, In this module, I give a course and supervised practical works on rule-based programming. &nbsp; &nbsp; At Lorraine INP: Collegium des \u00e9coles d&rsquo;ing\u00e9nieurs de l&rsquo;Universit\u00e9 de Lorraine, I give an opening course on the limits of provability in [&hellip;]<\/p>\n","protected":false},"author":5,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-22","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/members.loria.fr\/IGnaedig\/wp-json\/wp\/v2\/pages\/22","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/members.loria.fr\/IGnaedig\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/members.loria.fr\/IGnaedig\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/IGnaedig\/wp-json\/wp\/v2\/users\/5"}],"replies":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/IGnaedig\/wp-json\/wp\/v2\/comments?post=22"}],"version-history":[{"count":6,"href":"https:\/\/members.loria.fr\/IGnaedig\/wp-json\/wp\/v2\/pages\/22\/revisions"}],"predecessor-version":[{"id":311,"href":"https:\/\/members.loria.fr\/IGnaedig\/wp-json\/wp\/v2\/pages\/22\/revisions\/311"}],"wp:attachment":[{"href":"https:\/\/members.loria.fr\/IGnaedig\/wp-json\/wp\/v2\/media?parent=22"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}