Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• OlenaNewsEntry (2009/10/26)  + (A first version of a [https://trac.lrde.epita.fr/olena/browser/dynamic-use-of-static-c%2B%2B dynamic-static C++ bridge] (with JIT C++ compilation) has been revived.)
• A new LRDE permanent member: Sylvain Peyronnet (2004-09-07)  + (A new LRDE permanent member: Sylvain Peyronnet)
• A new intern joins the LRDE: Théophile Ranquet (2012-09-10)  + (A new intern joins the LRDE: Théophile Ranquet)
• NewsEntry (2019/03/04)  + (Adrien Pommellet, assistant professor, joins LRDE's [[Spot]] team.)
• NewsEntry (2014/05/12)  + (Agreement EPITA - [http://www.iitj.ac.in/ Indian Institute of Technology Jodhpur (IITJ)])
• NewsEntry (2015/06/02)2  + (Agreement EPITA - [http://www.iitj.ac.in/ Indian Institute of Technology Jodhpur (IITJ)])
• NewsEntry (2014/06/17)  + (Akim Demaille invited to a colloquium at [https://csa.science.uva.nl/events/education-colloquium University of Amsterdam] to give a talk on the [[Tiger]] project within the theme "project-based curricula".)
• NewsEntry (2014/09/25)  + (Ala Eddine Ben Salem defends his [[Affiche-these-AB | PhD thesis]] "Improving the Model Checking of Stutter-Invariant LTL Properties" at [http://www.lip6.fr/ Laboratoire d'Informatique de Paris 6 (LIP6) at UPMC] at 2pm.)
• NewsEntry (2017/02/10)  + (Alexandre Duret-Lutz defends his [[Affiche-these-HDR-ADL | Habilitation thesis]] "Contributions to LTL and ω-automata for Model Checking" at EPITA at 2:15pm.)
• NewsEntry (2022/05/23)  + (Alexandre Duret-Lutz invited to Faculty of Informatics, Masaryk University, Czech Republic, for a week.)
• NewsEntry (2015/05/05)  + (Alexandre Duret-Lutz invited to [http://tu-dresden.de TU Dresden], Germany.)
• NewsEntry (2015/04/09)  + (Alexandre Duret-Lutz invited to [http://www.fi.muni.cz/ Faculty of Informatics, Masaryk University], Czech Republic, for a one week visit at the LRDE.)
• NewsEntry (2015/09/06)  + (Alexandre Duret-Lutz invited to [http://www.fi.muni.cz/ Faculty of Informatics, Masaryk University], Czech Republic, for a 10-day visit.)
• Alexandre Duret-Lutz invited to give a talk at Faculty of Informatics, Masaryk University, Czech Republic (2012-12-03)  + (Alexandre Duret-Lutz invited to give a talk at [http://www.fi.muni.cz/fmdsa/2012-duret Faculty of Informatics, Masaryk University, Czech Republic])
• NewsEntry (2015/12/11)  + (Ana Stefania Calarasanu defends her [[Affiche-these-SC | PhD thesis]] "Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms" at EPITA at 1:30 pm.)
• NewsEntry (2021/11/02)  + (Another PhD student at LRDE, Thibault Buatois, who joins the [[Olena]] team.)
• NewsEntry (2014/01/22)  + (CSI Seminar : CSI 2014 students present their work on Wednesday 22 January 2014.)
• NewsEntry (2014/07/04)  + (CSI Seminar : CSI 2015 students and ING1 2016 students present their work on Thursday 10 July 2014.)
• NewsEntry (2015/01/28)  + (CSI Seminar : CSI 2015 students present their work on Wednesday 28 January 2015.)
• NewsEntry (2015/07/06)  + (CSI Seminar : CSI 2016 students and ING1 2017 students present their work on Monday 6 July 2015.)
• NewsEntry (2016/01/20)  + (CSI Seminar : CSI 2016 students students present their work on Wednesday 20 January 2016.)
• NewsEntry (2017/01/31)  + (CSI Seminar : CSI 2017 students present their work.)
• NewsEntry (2016/07/01)  + (CSI Seminar : CSI 2017 and ING1 2018 students students present their work.)
• NewsEntry (2018/01/24)  + (CSI Seminar : CSI 2018 students present their work.)
• NewsEntry (2017/07/04)  + (CSI Seminar : CSI 2018 and ING1 2019 students present their work.)

• CodeBoost tutorial morning (2004-05-19)  + (CodeBoost tutorial morning)

• Didider Verna will give a talk on 'Language extensibility and its impact on DSL design and implementation: A case study in Lisp'at the ECOOP workshop on Domain Specific Languages Design and Implementation (DSLDI) in Montpellier (2013-05-21)  + (Didider Verna will give a talk on 'Languag … Didider Verna will give a talk on 'Language extensibility and its impact on DSL design and implementation: A case study in Lisp'at the ECOOP workshop on [http://dsldi2013.hyperdsls.org/ Domain Specific Languages Design and Implementation (DSLDI) in Montpellier]and Implementation (DSLDI) in Montpellier])
• NewsEntry (2020/07/10)  + (Didier Verna defends his [[Affiche-these-HDR-DV | Habilitation thesis]] at EPITA at 2 pm.)
• NewsEntry (2014/05/05)  + (Didier Verna is Local Organizer of the [http://www.european-lisp-symposium.org/editions/2014/ 7th European Lisp Symposium (ELS 2014)] that takes places at [http://www.ircam.fr IRCAM], Paris, on May 5-6, 2014)
• Didier Verna will hold a 90 minutes session with the title "The Bright Side of Exceptions" at ACCU 2013 (2013-01-03)  + (Didier Verna will hold a 90 minutes session with the title "The Bright Side of Exceptions" at [http://accu.org/index.php/conferences ACCU 2013])
• NewsEntry (2020/06/02)  + (EPITA presents a webinar with Microsoft at [http://www.impact-ai.fr/education/exploria/ Explor'IA] on Artificial Intelligence and Medical Image Analysis.)
• Edwin Carlinet becomes PhD-student at LRDE (2012-09-10)  + (Edwin Carlinet becomes PhD-student at LRDE)
• NewsEntry (2015/11/27)  + (Edwin Carlinet defends his [[Affiche-these-EC | PhD thesis]] "A Tree of Shapes for Multivariate Images" at [http://www.esiee.fr/fr/acces/ ESIEE] at 2pm.)
• NewsEntry (2017/11/02)  + (Edwin Carlinet, assistant-professor, is back to the [[Olena]] team.)
• NewsEntry (2014/12/05)  + (Etienne Renault defends his [[Affiche-these-ER | PhD thesis]] "Contributions to emptiness checks for explicit model checking" at [http://www.lip6.fr/ Laboratoire d'Informatique de Paris 6 (LIP6) at UPMC] at 2pm.)
• Etienne Renault, PhD-student at LRDE, gives a talk on "Strength-based decomposition of the property Büchi automaton for faster model-checking" organized at MeFoSyLoMa (2012-12-07)  + (Etienne Renault, PhD-student at LRDE, gives a talk on "Strength-based decomposition of the property Büchi automaton for faster model-checking" organized at [http://www.mefosyloma.fr/ MeFoSyLoMa])
• NewsEntry (2022/10/07)  + (Florian Renkin defends his [[Affiche-these-FR | PhD thesis]] "Transformations d’ω-automates pour la synthèse de contrôleurs réactifs" at EPITA at 9:30 am)
• NewsEntry (2015/09/01)  + (Former LRDE PhD-student Ala Eddine Ben Salem becomes Assistant Professor (Maître de Conférence) at [http://www.iut.u-clermont1.fr Université Clermont-Ferrand I].)
• Guillaume Lazzara invited to the LORIA in Nancy (2011-06-24)  + (Guillaume Lazzara invited to the LORIA in Nancy)
• NewsEntry (2022/11/22)  + (Guillaume Tochon from LRE invited speaker at GT-GDMM)
• NewsEntry (2018/10/01)  + (Head of the lab handover)
• NewsEntry (2022/05/30)  + (International conference [https://www.lix.polytechnique.fr/~smimram/getco22/ GETCO 2022] co-organized with École polytechnique at EPITA from 30 May to 3 June)
• NewsEntry (2018/11/20)  + (Jim Newton defends his [[Affiche-these-JN | PhD thesis]] "Representing and Computing with Types in Dynamically Typed Languages" at EPITA at 10 am.)
• NewsEntry (2022/11/22)2  + (Joseph Chazalon and Edwin Carlinet from LRE at Seminar on IA at DGFIP)
• NewsEntry (2018/05/14)  + (Joseph Chazalon becomes assistant professor in LRDE's [[Olena]] team.)
• NewsEntry (2020/07/17)  + (Julie Rivet defends her [[Affiche-these-JR | PhD thesis]] "Non-iterative methods for image improvement in digital holography of the retina" at EPITA at 2 pm.)
• NewsEntry (2018/07/03)  + (LRDE Student Seminar : 2019 and 2020 students present their work.)
• NewsEntry (2019/01/16)  + (LRDE Student Seminar : 2019 students present their work.)
• NewsEntry (2020/01/20)  + (LRDE Student Seminar : 2020 students present their work.)
• NewsEntry (2019/07/02)  + (LRDE Student Seminar : 2021 students present their work.)
• NewsEntry (2022/01/01)  + (LRDE is happy to welcome a new member, Marc Plantevit)