http://apr.team.lip6.fr/ 2026-04-04T17:18:18+00:00 http://apr.team.lip6.fr/ http://apr.team.lip6.fr/_media/wiki/dokuwiki.svg text/html 2026-01-14T16:34:56+00:00 mine (mine@undisclosed.example.com) http://apr.team.lip6.fr/team?rev=1768408496&do=diff Members of Team APR * Emmanuel Chailloux * Antoine Genitrini * Antoine Miné * Christian Queinnec (Emeritus) * Michèle Soria (Emeritus) * Christine Tasson (part time) * Annick Valibouze * Philippe Aubry * Romain Demangeon * Pascal Manoury (Emeritus) * Maryse Pelletier-Koskas (Emeritus) * Frédéric Peschanski * Philippe Trébuchet (detachment) * Jean Mairesse (DR CNRS) * Julien Tierny (DR CNRS) * Marco Campion * Thomas Daniel * Syl… text/html 2025-06-30T11:57:15+00:00 mine (mine@undisclosed.example.com) http://apr.team.lip6.fr/research?rev=1751284635&do=diff Research activity The scientific activity of APR mainly develops around Algorithms and Languages and several projects exist, with many collaborations. We follow a dual approach to achieving safe and efficient applications by combining programming languages (design, implementation and program analysis tools) and algorithms (modeling, complexity analysis,random generation) through theory (formal approach in semantics and combinatorics) and practice (concrete objectives producing prototyping softw… text/html 2025-06-18T13:04:51+00:00 mine (mine@undisclosed.example.com) http://apr.team.lip6.fr/cq?rev=1750251891&do=diff Journée en l'honneur de Christian Queinnec Lundi 8 juin 2015 - 9h30-17h 24ème étage - salle 2400 - Tour Zamansky - Campus Jussieu - 4, place Jussieu - 75005 Paris 16 Février 2016, mise en ligne des vidéos (à partir des exposés de 11h15 et avec accord des auteurs) text/html 2025-06-18T12:54:18+00:00 mine (mine@undisclosed.example.com) http://apr.team.lip6.fr/posters?rev=1750251258&do=diff Posters of Team APR * Loïc Sylvestre - FCCM 2022 * A Virtual Machine Approach for High-level FPGA Programming (PDF) * Antoine Genitrini - HCERES LIP6 2018-01 : * Etude quantitative et exploration statistique des processus concurrents (PDF) * text/html 2024-11-13T17:34:27+00:00 mine (mine@undisclosed.example.com) http://apr.team.lip6.fr/?image=apr%3Ajournees%3Alogo-apr.png&ns=apr%3Ajournees&rev=1731519267&tab_details=history&media_do=diff&do=media <img src="http://apr.team.lip6.fr/_media/apr/journees/logo-apr.png?w=500&amp;h=500&amp;tok=bf0fbe" alt="logo-apr.png" loading="lazy" width="500" height="500" /> text/html 2024-11-13T17:33:42+00:00 mine (mine@undisclosed.example.com) http://apr.team.lip6.fr/?image=apr%3Ajournees%3Alogo-france2030.png&ns=apr%3Ajournees&rev=1731519222&tab_details=history&media_do=diff&do=media <img src="http://apr.team.lip6.fr/_media/apr/journees/logo-france2030.png?w=500&amp;h=500&amp;tok=4a7833" alt="logo-france2030.png" loading="lazy" width="500" height="500" /> text/html 2019-07-10T12:26:04+00:00 mine (mine@undisclosed.example.com) http://apr.team.lip6.fr/?image=apr%3Ajournees%3Aslides-martin.pdf&ns=apr%3Ajournees&rev=1562761564&tab_details=history&media_do=diff&do=media <img src="http://apr.team.lip6.fr/lib/images/fileicons/svg/pdf.svg" alt="slides-martin.pdf" loading="lazy" width="500" height="500" /> text/html 2019-07-10T12:25:43+00:00 mine (mine@undisclosed.example.com) http://apr.team.lip6.fr/?image=apr%3Ajournees%3Aprogressive_wasserstein_barycenters.pdf&ns=apr%3Ajournees&rev=1562761543&tab_details=history&media_do=diff&do=media <img src="http://apr.team.lip6.fr/lib/images/fileicons/svg/pdf.svg" alt="progressive_wasserstein_barycenters.pdf" loading="lazy" width="500" height="500" /> text/html 2019-07-06T11:02:54+00:00 mine (mine@undisclosed.example.com) http://apr.team.lip6.fr/?image=apr%3Ajournees%3Aexpose-learn-ocaml.pdf&ns=apr%3Ajournees&rev=1562410974&tab_details=history&media_do=diff&do=media <img src="http://apr.team.lip6.fr/lib/images/fileicons/svg/pdf.svg" alt="expose-learn-ocaml.pdf" loading="lazy" width="500" height="500" /> text/html 2019-07-06T06:30:38+00:00 mine (mine@undisclosed.example.com) http://apr.team.lip6.fr/?image=apr%3Ajournees%3Aouadjaout-apr19-slides.pdf&ns=apr%3Ajournees&rev=1562394638&tab_details=history&media_do=diff&do=media <img src="http://apr.team.lip6.fr/lib/images/fileicons/svg/pdf.svg" alt="ouadjaout-apr19-slides.pdf" loading="lazy" width="500" height="500" />