{"id":174,"date":"2018-03-07T12:12:02","date_gmt":"2018-03-07T11:12:02","guid":{"rendered":"http:\/\/vm-web-qualif.pun.ens-lyon.fr\/lip-plume\/?page_id=174"},"modified":"2026-03-17T17:25:03","modified_gmt":"2026-03-17T16:25:03","slug":"seminars","status":"publish","type":"page","link":"https:\/\/www.ens-lyon.fr\/LIP\/PLUME\/seminars\/","title":{"rendered":"Seminars"},"content":{"rendered":"<h2>Groupe de travail<\/h2>\n<p>The team\u00a0<a href=\"http:\/\/www.ens-lyon.fr\/LIP\/PLUME\/?page_id=202\">seminar<\/a> is usually held on Monday afternoons at 1:30pm.<\/p>\n<h2>Chocola<\/h2>\n<p>The <a href=\"http:\/\/chocola.ens-lyon.fr\">CHoCoLa seminar<\/a> is organized by Plume on a monthly basis.<\/p>\n<h2>Rocq Band<\/h2>\n<p>The <a href=\"https:\/\/perso.ens-lyon.fr\/olivier.laurent\/proof-assistants-lip\/\">Rocq Band<\/a> seminar is organized by <a href=\"https:\/\/www.ens-lyon.fr\/LIP\/CASH\/\">CASH<\/a> and Plume on a (roughly) monthly basis.<\/p>\n<h2>ArXiV<\/h2>\n<h3>S\u00e9minaire LSC : Langages &#8211; S\u00e9mantique &#8211; Compilation<\/h3>\n<p>The <a href=\"http:\/\/perso.ens-lyon.fr\/christian.perez\/journeelangages\">LSC seminar<\/a> [Languages, Semantics &amp; Compilation] was run jointly with the <a href=\"http:\/\/www.ens-lyon.fr\/LIP\/CASH\/\">CASH<\/a> team and some members of the <a href=\"http:\/\/avalon.ens-lyon.fr\">Avalon<\/a> and <a href=\"http:\/\/www.ens-lyon.fr\/LIP\/AriC\/\">AriC<\/a> teams.<\/p>\n<h3>Logique, Math\u00e9matiques, Informatique, Raisonnement<\/h3>\n<p>The <a href=\"http:\/\/irphil.univ-lyon3.fr\/seminaire-2018-19-logique-mathematiques-informatique-raisonnement-1179685.kjsp\">LMIR<\/a> seminar was organized by <a href=\"http:\/\/www-philo.univ-paris1.fr\/Joinet\/NEW\/index.php\">Jean-Baptiste Joinet<\/a> at the <a href=\"http:\/\/irphil.univ-lyon3.fr\">IRPHIL<\/a>.<\/p>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Groupe de travail The team\u00a0seminar is usually held on Monday afternoons at 1:30pm. Chocola The CHoCoLa seminar is organized by Plume on a monthly basis. Rocq Band The Rocq Band seminar is organized by CASH and Plume on a (roughly) monthly basis. ArXiV S\u00e9minaire LSC : Langages &#8211; S\u00e9mantique &#8211; Compilation The LSC seminar [Languages, &hellip; <a href=\"https:\/\/www.ens-lyon.fr\/LIP\/PLUME\/seminars\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;Seminars&#8221;<\/span><\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-174","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.ens-lyon.fr\/LIP\/PLUME\/wp-json\/wp\/v2\/pages\/174","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.ens-lyon.fr\/LIP\/PLUME\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.ens-lyon.fr\/LIP\/PLUME\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.ens-lyon.fr\/LIP\/PLUME\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.ens-lyon.fr\/LIP\/PLUME\/wp-json\/wp\/v2\/comments?post=174"}],"version-history":[{"count":29,"href":"https:\/\/www.ens-lyon.fr\/LIP\/PLUME\/wp-json\/wp\/v2\/pages\/174\/revisions"}],"predecessor-version":[{"id":1341,"href":"https:\/\/www.ens-lyon.fr\/LIP\/PLUME\/wp-json\/wp\/v2\/pages\/174\/revisions\/1341"}],"wp:attachment":[{"href":"https:\/\/www.ens-lyon.fr\/LIP\/PLUME\/wp-json\/wp\/v2\/media?parent=174"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}