Special

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.

Search by property

A list of all pages that have property "News subtitle" with value "With the [[Vcsn|Vaucanson Day]] comes a new release". Since there have been only a few results, also nearby values are displayed.

Showing below up to 26 results starting with #1.

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)

    

List of results

  • NewsEntry (2013/12/18)  + (The objective of this visit is to foster t … The objective of this visit is to foster the relation between EPITA and IITJ. Yongchao Xu is looking for IITJ candidates for internships at LRDE next spring. During his visit at IITJ, Yongchao Xu joins the [http://www.iitj.ac.in/ncvpripg/index.html National Conference on Computer Vision, Pattern Recognition, Image Processing and Graphics (NCVPRIPG)] to be held in Jodhpur from December 19 to 21.be held in Jodhpur from December 19 to 21.)
  • Vaucanson 0.5 tutorial day (2004-03-31)  + (The second [[Vcsn|Vaucanson Day]] is held at EPITA,)
  • NewsEntry (2018/08/03)  + (The selected projects will receive funding from the French state. [https://www.lrde.epita.fr/wiki/SoDUCo SoDUCo] stands for SOcial Dynamics in Urban COntext.)
  • Vaucanson 0.7 is released (2005-05-17)  + (This new release comes with a full support of transducers over a free monoid product and some new algorithms dedicated to transducers. Also, a new XML system has been implemented, introducing the latest updates of the Vaucanson group's format proposal.)
  • Vaucanson 0.7.1 is released (2005-06-25)  + (This new release comes with a set of bug f … This new release comes with a set of bug fixes in some algorithms on automata and transducers, some new useful algorithms on automata and transducers on direct product of free monoid, and a reorganization of demos. Also, the latest XML proposal was included. The [[Vcsn|Vaucanson]] platform will be presented at the [http://ww.i3s.unice.fr/ciaa05 CIAA conference], June 27-29 2005./ciaa05 CIAA conference], June 27-29 2005.)
  • Vaucanson 0.6 is released (2004-07-18)  + (This new release comes with an improved XML I/O system and more)
  • Vaucanson 0.8.0 is released (2006-06-15)  + (This new release comes with the usual set of bug fixes, renamings and cleanup, and with the advant of a new command-line interface: TAF-Kit.)
  • Vaucanson 0.7.2 is released (2005-11-09)  + (This new release comes with the usual set … This new release comes with the usual set of bug fixes (in the XML system and in demos for most of them), and is mainly motivated by the new compliance of [[Vcsn|Vaucanson]] with the latest [http://gcc.gnu.org GNU C++ Compiler] (version 4.0) and the latest [http://www.intel.com/software/products/compilers/ Intel C++ Compiler] (version 9).ompilers/ Intel C++ Compiler] (version 9).)
  • NewsEntry (2017/01/19)  + (This new release features some exciting ne … This new release features some exciting news such as: faster emptiness checks for automata that are not explored on-the-fly, several improvements to the SAT-based minimization procedure, preliminary support for alternating automata, membership tests for all classes of the Manna and Pnueli hierarchy of temporal properties.d Pnueli hierarchy of temporal properties.)
  • Olena 0.10 is released (2004-04-16)  + (This new release of [[Olena|Olena]] comes with a new)
  • NewsEntry (2014/02/21)  + (This program will promote exchanges between the LRDE and the Faculty of Informatics of Masaryk University, Brno.)
  • NewsEntry (2015/01/27)  + (This program will promote for the second year exchanges between the LRDE and the Faculty of Informatics of Masaryk University, Brno.)
  • Transformers 0.1 is released (2004-04-19)  + (This release contains the current C++ parser of the project and)
  • Transformers 0.2 is released (2004-07-25)  + (This release introduces a grammar and disambiguation tools for the C language. Moreover, new)
  • LRDE Seminar on Performance and Genericity (2012-07-04)  + (This seminar is dedicated to the work of LRDE's PhD students.)
  • NewsEntry (2017/11/13)  + (This version includes improvements in the build system, better performances, and extended consistency for a better, smoother, user experience.)
  • NewsEntry (2018/03/29)  + (This version is mostly a bug fix release, with improvements in the documentation, based on user feedback.)
  • Vaucanson XML representation for automata to CIAA 2004 (2004-07-24)  + (Thomas Claveirole, an LRDE student, will make a)
  • PhD student Alexandre Hamez defends his Thesis at LIP6 (2009-12-08)  + (Title :)
  • PhD student Alban Linard defends his Thesis at LIP6 (2009-09-29)  + (Title :)
  • 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.)
  • 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])
Retrieved from "https://www.lrde.epita.fr/wiki/Special:SearchByProperty/:News-20subtitle/With-20the-20-5B-5BVcsn-7CVaucanson-20Day-5D-5D-20comes-20a-20new-20release"