{"id":212,"date":"2018-03-07T15:27:48","date_gmt":"2018-03-07T14:27:48","guid":{"rendered":"http:\/\/vm-web-qualif.pun.ens-lyon.fr\/lip-plume\/?page_id=212"},"modified":"2025-09-10T16:08:57","modified_gmt":"2025-09-10T14:08:57","slug":"projects","status":"publish","type":"page","link":"https:\/\/www.ens-lyon.fr\/LIP\/PLUME\/projects\/","title":{"rendered":"Projects"},"content":{"rendered":"<h2>Affiliations GDR<\/h2>\n<ul>\n<li>GDR <a href=\"https:\/\/www.gdr-im.fr\/\">IM<\/a>: informatique math\u00e9matique\n<ul>\n<li><a href=\"https:\/\/www.irif.fr\/~serre\/GT_ALGA\/\">DAAL<\/a>: data, automata, algebra &amp; logic<\/li>\n<li><a href=\"http:\/\/www.lix.polytechnique.fr\/Labo\/Samuel.Mimram\/LHC\/\">LHC<\/a>: logique, homotopie, cat\u00e9gories<\/li>\n<li><a href=\"https:\/\/www.irif.fr\/gt-scalp\/index\">SCALP<\/a>: structures formelles pour le calcul et les preuves<\/li>\n<li><a href=\"http:\/\/gt-verif.loria.fr\">V\u00e9rif<\/a>: v\u00e9rification<\/li>\n<\/ul>\n<\/li>\n<li><a href=\"http:\/\/linear-logic.org\/en\/\">GDRI LL<\/a>: linear logic<\/li>\n<\/ul>\n<h2>Current projects<\/h2>\n<ul>\n<li>CoREACT: Russ Harmer. <a href=\"http:\/\/anr.fr\">ANR<\/a><\/li>\n<li>ReciProg: Denis Kuperberg. <a href=\"http:\/\/anr.fr\">ANR<\/a><\/li>\n<li>QuaReMe: Matteo Mio. <a href=\"http:\/\/anr.fr\">ANR<\/a><\/li>\n<li><del>DyVerSe: Pierre Clairambault. <a href=\"http:\/\/anr.fr\">ANR<\/a><\/del><\/li>\n<\/ul>\n<h2>Archive<\/h2>\n<ul>\n<li><a href=\"https:\/\/perso.ens-lyon.fr\/damien.pous\/covece\/\">CoVeCe<\/a>: Damien Pous. ERC Starter<\/li>\n<li>Repas: Matteo Mio (previously Filippo Bonchi). <a href=\"http:\/\/anr.fr\">ANR<\/a><\/li>\n<li>BioQurate: Russ Harmer. <a href=\"https:\/\/fil.cnrs.fr\">FIL<\/a> projet transversal<\/li>\n<li>LLIPIDO: Olivier Laurent.\u00a0<a href=\"https:\/\/fil.cnrs.fr\">FIL<\/a> projet transversal<\/li>\n<li><a href=\"https:\/\/lipn.univ-paris13.fr\/~mazza\/Elica\/\">Elica<\/a>: Patrick Baillot. <a href=\"http:\/\/anr.fr\">ANR<\/a><\/li>\n<li><a href=\"https:\/\/www.darpa.mil\/program\/big-mechanism\">Big Mechanism<\/a>: Russ Harmer. <a href=\"https:\/\/www.darpa.mil\">DARPA<\/a><\/li>\n<li><a href=\"https:\/\/www.darpa.mil\/program\/communicating-with-computers\">Communicating with Computers<\/a>: Russ Harmer. <a href=\"https:\/\/www.darpa.mil\">DARPA<\/a><\/li>\n<li><a href=\"http:\/\/perso.ens-lyon.fr\/daniel.hirschkoff\/pace\/\">PACE<\/a>: Daniel Hirschkoff. <a href=\"http:\/\/anr.fr\">ANR<\/a><\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Affiliations GDR GDR IM: informatique math\u00e9matique DAAL: data, automata, algebra &amp; logic LHC: logique, homotopie, cat\u00e9gories SCALP: structures formelles pour le calcul et les preuves V\u00e9rif: v\u00e9rification GDRI LL: linear logic Current projects CoREACT: Russ Harmer. ANR ReciProg: Denis Kuperberg. ANR QuaReMe: Matteo Mio. ANR DyVerSe: Pierre Clairambault. ANR Archive CoVeCe: Damien Pous. ERC Starter &hellip; <a href=\"https:\/\/www.ens-lyon.fr\/LIP\/PLUME\/projects\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;Projects&#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-212","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.ens-lyon.fr\/LIP\/PLUME\/wp-json\/wp\/v2\/pages\/212","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=212"}],"version-history":[{"count":33,"href":"https:\/\/www.ens-lyon.fr\/LIP\/PLUME\/wp-json\/wp\/v2\/pages\/212\/revisions"}],"predecessor-version":[{"id":1261,"href":"https:\/\/www.ens-lyon.fr\/LIP\/PLUME\/wp-json\/wp\/v2\/pages\/212\/revisions\/1261"}],"wp:attachment":[{"href":"https:\/\/www.ens-lyon.fr\/LIP\/PLUME\/wp-json\/wp\/v2\/media?parent=212"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}