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
- NewsEntry (2015/07/06) + (You can find the programme [https://www.lrde.epita.fr/wiki/CSI_Seminar_2015-07-06 here].Seminars are free and open to anyone.)
- NewsEntry (2019/07/01) + (You can find the programme [https://www.lrde.epita.fr/wiki/Student_Seminar_2019-07-01 here]. Seminars are free and open to anyone.)
- NewsEntry (2016/01/20) + (You can find the programme [https://www.lrde.epita.fr/wiki/CSI_Seminar_2016-01-20 here].Seminars are free and open to anyone.)
- NewsEntry (2014/02/14) + (You can read the notice in French [http://edite-de-paris.fr/spip/IMG/pdf/cr-2014jan30.pdf here].)
- Vampire 0.2 is released (2004-02-19) + ([[Old Projects|Vampire]] is a remote package testing tool written)
- The lab has a new head : Olivier Ricou (2008-09-15) + ([[User:Akim|Akim Demaille]] hands over the responsibilty of the lab to [[User:Ricou|Olivier Ricou]] after having held the post for 5,5 years.)
- NewsEntry (2018/10/01) + ([[User:Theo|Thierry Géraud]] took over as Head of LRDE. [[User:Ricou|Olivier Ricou]] stood down after 10 years of service.)
- Vcs 0.4 is released (2005-10-03) + ([http:///Projects/Vcs Vcs] is a wrapper over any Version Control Systems.)
- PhD student Jérôme Darbon receives his PhD degree with distinction (2005-10-07) + ([http://perso.enst.fr/~darbon/ Jérôme Darb … [http://perso.enst.fr/~darbon/ Jérôme Darbon] has studied Computer Science (EPITA, year 2001) and Applied Mathematics ([http://www.cmla.ens-cachan.fr/Cmla/DeaMVA/ DEA Mathématiques, Vision et Apprentissage], at [http://www.ens-cachan.fr/ ENS Cachan], year 2001). He has successfully completed his PhD at [http://www.enst.fr/ ENST] and LRDE.hD at [http://www.enst.fr/ ENST] and LRDE.)
- FiNK 2.0 is released (2007-06-12) + ([http://www.lrde.epita.fr/~didier/comp/development/software.php#fink FiNK])
- CurVe 1.13 is released (2007-08-21) + ([http://www.lrde.epita.fr/~didier/comp/development/software.php#curve CurVe])
- CurVe 1.11 is released (2006-06-07) + ([http://www.lrde.epita.fr/~didier/comp/development/software.php#curve CurVe])
- CurVe 1.10 is released (2005-09-14) + ([http://www.lrde.epita.fr/~didier/comp/development/software.php#curve CurVe])
- CurVe 1.9 is released (2005-07-21) + ([http://www.lrde.epita.fr/~didier/comp/development/software.php#curve CurVe])
- CurVe 1.7 is released (2004-05-19) + ([http://www.lrde.epita.fr/~didier/comp/development/software.php#curve CurVe])
- CurVe 1.6 is released (2004-03-10) + ([http://www.lrde.epita.fr/~didier/comp/development/software.php#curve CurVe])
- Patcher 3.8 is released (2005-07-26) + ([http://www.lrde.epita.fr/~didier/comp/development/software.php#patcher Patcher])
- FiXme 3.2 is released (2006-04-12) + ([http://www.lrde.epita.fr/~didier/comp/development/software.php#fixme FiXme])
- FiXme 3.1 is released (2005-01-31) + ([http://www.lrde.epita.fr/~didier/comp/development/software.php#fixme FiXme])
- FiXme 3.0 is released (2004-12-22) + ([http://www.lrde.epita.fr/~didier/comp/development/software.php#fixme FiXme])
- QCM 2.1 is released (2004-11-27) + ([http://www.lrde.epita.fr/~didier/comp/development/software.php#qcm QCM])
- QCM 1.0 is released (2004-10-15) + ([http://www.lrde.epita.fr/~didier/comp/development/software.php#qcm QCM])
- CurVe 1.15 is released (2008-02-25) + ([http://www.lrde.epita.fr/~didier/software/latex.php#curve CurVe])
- CurVe 1.14 is released (2007-11-27) + ([http://www.lrde.epita.fr/~didier/software/latex.php#curve CurVe])
- DoX 2.0 is released (2009-09-21) + ([http://www.lrde.epita.fr/~didier/software/latex.php#dox DoX])
- DoX 1.0 is released (2009-09-11) + ([http://www.lrde.epita.fr/~didier/software/latex.php#dox DoX])
- FiNK 2.1 is released (2007-11-14) + ([http://www.lrde.epita.fr/~didier/software/latex.php#fink FiNK])
- FiNK 2.1.1 is released (2008-02-27) + ([http://www.lrde.epita.fr/~didier/software/latex.php#fink FiNK])
- FiXme 3.4 is released (2009-07-16) + ([http://www.lrde.epita.fr/~didier/software/latex.php#fixme FiXme])
- FiXme 3.3 is released (2007-11-28) + ([http://www.lrde.epita.fr/~didier/software/latex.php#fixme FiXme])
- Patcher 3.10 is released (2008-02-27) + ([http://www.lrde.epita.fr/~didier/software/xemacs.php#patcher Patcher])
- Patcher 3.9 is released (2007-09-17) + ([http://www.lrde.epita.fr/~didier/software/xemacs.php#patcher Patcher])
- Seminar/2017-02-08 + (by Akim Demaille, LRDE)
- Seminar/2012-07-04 + (by Ala Eddine Ben Salem (doctorant))
- Seminar/2010-04-28 + (by Alban Linard)
- Seminar/2017-02-22 + (by Alexandre Abraham, INRIA)
- Seminar/2011-07-06 + (by Alexandre Borghi)
- Seminar/2017-06-14 + (by Andrés S. Charif Rubial (ESN PeXL et Li-PARAD - Université de Versailles))
- Seminar/2012-05-09 + (by Antoine Manzanera)
- Seminar/2008-04-30 + (by Magne Haveraaen, Institutt for Informatikk, Universitetet i Bergen, Norway)
- Seminar/2008-03-26 + (by Anya Helene Bagge, Institutt for Informatikk, Universitetet i Bergen, Norway)
- Seminar/2017-11-29 + (by Barbara Jobstmann, Cadence Design Systems)
- Seminar/2013-05-22 + (by Basile Starynkevitch (CEA LIST))
- Seminar/2009-04-22 + (by Dominique Colnet. SmartEiffel - LORIA.)
- Seminar/2011-03-16 + (by Benoît Vandame)
- Seminar/2010-03-31 + (by Jean-Baptiste Fasquel)
- Seminar/2017-12-13 + (by Camille Couprie, Facebook AI research)
- Seminar/2018-06-13 + (by Camille Kurtz (LIPADE, Université Paris Descartes))
- Seminar/2014-12-17 + (by Christian Queinnec, UPMC, LIP6)
- Seminar/2018-12-14 + (by Clara Jaquet (ESIEE Marne-la-Vallée))
- Seminar/2022-06-22 + (by Daniel Stan, Technische Universität Kaiserslautern)
- Seminar/2010-10-13 + (by David Picard)