{"id":311,"date":"2018-03-22T09:26:48","date_gmt":"2018-03-22T08:26:48","guid":{"rendered":"http:\/\/www.ens-lyon.fr\/LIP\/PLUME\/?page_id=311"},"modified":"2025-09-10T16:10:45","modified_gmt":"2025-09-10T14:10:45","slug":"events","status":"publish","type":"page","link":"https:\/\/www.ens-lyon.fr\/LIP\/PLUME\/events\/","title":{"rendered":"Events"},"content":{"rendered":"<h2>Upcoming<\/h2>\n<h2>Recent<\/h2>\n<ul>\n<li>ANR CoREACT annual meeting. 10&#8211;12 mars, 2024.<\/li>\n<li>ANR ReciProg kick-off meeting. 6 mai, 2022<\/li>\n<\/ul>\n<h2>arXiv<\/h2>\n<ul>\n<li><a href=\"https:\/\/irphil.univ-lyon3.fr\/colloque-indiscernibility-abstraction-classification-and-types\">Indiscernibility and abstraction: classification and types<\/a>. Colloque \u00e0 Lyon 3. 21&#8211;22 novembre, 2019.<\/li>\n<li><a href=\"http:\/\/chocola.ens-lyon.fr\/events\/seminaire-2019-10-17-1\/\">LHChocoScalp<\/a>. 16&#8211;18 octobre, 2019.<\/li>\n<li><a style=\"font-size: 1rem;\" href=\"http:\/\/perso.ens-lyon.fr\/matteo.mio\/repas2019.html\">Annual meeting of the ANR project REPAS<\/a><span style=\"font-size: 1rem;\">. Workshop \u00e0 l&#8217;ENS Lyon. 18 avril, 2019<\/span><\/li>\n<li><a href=\"https:\/\/perso.ens-lyon.fr\/olivier.laurent\/llipido\/rencontre181218.html\">Preuves de logique lin\u00e9aire sur machine<\/a>. Workshop \u00e0 l&#8217;ENS Lyon. 18 d\u00e9cembre, 2018<\/li>\n<li><a href=\"http:\/\/irphil.univ-lyon3.fr\/colloque-le-meme-et-l-autre-identite-orthogonalite-types-1188112.kjsp?RH=1412761569506\">Le m\u00eame et l\u2019autre : \u00a0identit\u00e9, orthogonalit\u00e9, types<\/a>. Colloque \u00e0 Lyon 3. 5&#8211;6 novembre, 2018<\/li>\n<li><a href=\"https:\/\/ejcp2018.sciencesconf.org\">\u00c9cole Jeunes Chercheurs et Chercheuses<\/a> en Programmation. GDR <a href=\"http:\/\/gdr-gpl.cnrs.fr\">GPL<\/a>. 25&#8211;29 juin, 2018<\/li>\n<li><a href=\"http:\/\/www.ens-lyon.fr\/LIP\/PLUME\/RAMiCS17\/\">Relational and Algebraic Methods in Computer Science<\/a> (RAMiCS). 15&#8211;18 May, 2017<\/li>\n<li><a href=\"https:\/\/ejcim2017.sciencesconf.org\">\u00c9cole Jeunes Chercheurs et Chercheuses<\/a> en Informatique Math\u00e9matique. GDR <a href=\"https:\/\/www.gdr-im.fr\">IM<\/a>. 23&#8211;27 janvier, 2017<\/li>\n<li><a href=\"https:\/\/ll2016.sciencesconf.org\">LL2016<\/a>: Linear Logic: interaction, proofs &amp; computation. GDRI <a href=\"http:\/\/linear-logic.org\/en\/\">LL<\/a>. 7&#8211;10 November, 2016<\/li>\n<li><a href=\"http:\/\/smc2014.univ-lyon1.fr\/doku.php\">Mathematical Structures of Computation<\/a>. LabEx MILyon. 13 janvier &#8212; 14 f\u00e9vrier, 2014<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Upcoming Recent ANR CoREACT annual meeting. 10&#8211;12 mars, 2024. ANR ReciProg kick-off meeting. 6 mai, 2022 arXiv Indiscernibility and abstraction: classification and types. Colloque \u00e0 Lyon 3. 21&#8211;22 novembre, 2019. LHChocoScalp. 16&#8211;18 octobre, 2019. Annual meeting of the ANR project REPAS. Workshop \u00e0 l&#8217;ENS Lyon. 18 avril, 2019 Preuves de logique lin\u00e9aire sur machine. Workshop &hellip; <a href=\"https:\/\/www.ens-lyon.fr\/LIP\/PLUME\/events\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;Events&#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-311","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.ens-lyon.fr\/LIP\/PLUME\/wp-json\/wp\/v2\/pages\/311","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=311"}],"version-history":[{"count":36,"href":"https:\/\/www.ens-lyon.fr\/LIP\/PLUME\/wp-json\/wp\/v2\/pages\/311\/revisions"}],"predecessor-version":[{"id":1262,"href":"https:\/\/www.ens-lyon.fr\/LIP\/PLUME\/wp-json\/wp\/v2\/pages\/311\/revisions\/1262"}],"wp:attachment":[{"href":"https:\/\/www.ens-lyon.fr\/LIP\/PLUME\/wp-json\/wp\/v2\/media?parent=311"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}