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 (2021/09/01) + (Ulrich (Uli) Fahrenberg holds a PhD in alg … Ulrich (Uli) Fahrenberg holds a PhD in algebraic topology from [https://www.en.aau.dk Aalborg University, Denmark]. After a postdoc at [https://www.inria.fr/fr/centre-inria-rennes-bretagne-atlantique Inria Rennes], followed by a position at [https://www.polytechnique.edu École polytechnique], he starts now as associate professor at EPITA Rennes and will work together with LRDE’s [[Spot]] team on automata theory, concurrency theory, real-time verification, and general quantitative verification.on, and general quantitative verification.)
- Vaucanson 1.4 is released (2011-09-28) + (Vaucanson is a platform for manipulating weighted finite state)
- Vaucanson 1.3.2 is released (2009-09-22) + (Vaucanson is a platform for manipulating weighted finite state)
- NewsEntry (2016/02/19) + (Vcsn is a platform for weighted automata and rational expressions. It consists of an efficient C++ generic library, shell tools, Python bindings, and a graphical interactive environment on top of IPython. This version features some noteworthy changes.)
- NewsEntry (2015/10/11) + (Vcsn is a platform for weighted automata and rational expressions. It consists of an efficient C++ generic library, shell tools, Python bindings, and a graphical interactive environment on top of IPython.)
- Vaucanson 0.5 is released (2004-03-31) + (With the [[Vcsn|Vaucanson Day]] comes a new release)
- NewsEntry (2014/05/12) + (Within the framework of the cooperation between EPITA and IITJ two M-Tech-students and one B-Tech-student from IITJ work with LRDE's [[Olena]]-team from May to end of July 2014.)
- NewsEntry (2015/06/02)2 + (Within the framework of the cooperation between EPITA and IITJ one B-Tech-student and one postgraduate B-Tech-student from IITJ work with LRDE's [[Olena]]-team from mid-May to mid-August 2015.)
- The Olena project hosts a new member: Yann Jacquelet (2009-07-09) + (Yann Jacquelet, graduate of the EPITA (SCIA, 1999), has completed a Master)
- The LRDE hosts a new member: Yongchao Xu (2010-10-05) + (Yongchao XU continues working at LRDE with … Yongchao XU continues working at LRDE within the Olena project as a PhD Student at [http://www.univ-mlv.fr Université Paris Est Marne-la-Vallée] on "Segmentation by self-dual structure on disconnected complexes" after having completed his Master at Paris Sud ([http://www.polytech.u-psud.fr IFIPS] /[http://www.u-psud.fr Orsay])..fr IFIPS] /[http://www.u-psud.fr Orsay]).)
- NewsEntry (2019/07/02) + (You can find the programme [https://www.lrde.epita.fr/wiki/Student_Seminar_2019-07-02 here]. Seminars are free and open to anyone.)
- NewsEntry (2018/01/24) + (You can find the programme [https://www.lrde.epita.fr/wiki/CSI_Seminar_2018-01-24 here]. Seminars are free and open to anyone.)
- NewsEntry (2017/01/31) + (You can find the programme [https://www.lrde.epita.fr/wiki/CSI_Seminar_2017-01-31 here].Seminars are free and open to anyone.)
- NewsEntry (2014/07/04) + (You can find the programme [https://www.lrde.epita.fr/wiki/CSI_Seminar_2014-07-10 here].Seminars are free and open to anyone.)
- NewsEntry (2017/07/04) + (You can find the programme [https://www.lrde.epita.fr/wiki/CSI_Seminar_2017-07-04 here].Seminars are free and open to anyone.)
- NewsEntry (2015/01/28) + (You can find the programme [https://www.lrde.epita.fr/wiki/CSI_Seminar_2015-01-28 here]. Seminars are free and open to anyone.)
- NewsEntry (2018/07/03) + (You can find the programme [https://www.lrde.epita.fr/wiki/CSI_Seminar_2018-07-03 here]. Seminars are free and open to anyone.)
- NewsEntry (2014/01/22) + (You can find the programme [https://www.lrde.epita.fr/wiki/CSI_Seminar_2014-01-22 here]. Seminars are free and open to anyone.)
- NewsEntry (2020/01/20) + (You can find the programme [https://www.lrde.epita.fr/wiki/Student_Seminar_2020-01-20 here]. Seminars are free and open to anyone.)
- NewsEntry (2019/01/16) + (You can find the programme [https://www.lrde.epita.fr/wiki/CSI_Seminar_2019-01-16 here]. Seminars are free and open to anyone.)
- NewsEntry (2016/07/01) + (You can find the programme [https://www.lrde.epita.fr/wiki/CSI_Seminar_2016-07-01 here].Seminars are free and open to anyone.)
- 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.1 is released (2008-02-27) + ([http://www.lrde.epita.fr/~didier/software/latex.php#fink FiNK])
- FiNK 2.1 is released (2007-11-14) + ([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])