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 "This seminar is dedicated to the work of LRDE's PhD students.". 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

  • Olena 1.0 is integrated into Mandriva Linux (2009-09-09)  + (The Olena team is pleased to announce that Milena, the core C++ image processing library of the Olena 1.0 platform, has been integrated into the Mandriva Linux distribution.)
  • The Tiger 2006 Project has started (2004-01-12)  + (The Tiger.TigerCompiler consists in the implementation of a)
  • Vaucanson 1.1.1 is released (2007-12-14)  + (The Vaucanson Team is proud to announce the release of Vaucanson 1.1.1. This release contains mostly bug fixes.)
  • Vaucanson 1.1 is released (2007-07-30)  + (The Vaucanson Team is proud to announce the release of Vaucanson 1.1. This release mainly includes bug fixes, various optimizations (I/O and algorithms) and TAF-Kit improvements.)
  • Vaucanson 1.0a is released (2007-06-13)  + (The Vaucanson Team is proud to announce the release of Vaucanson 1.0a. This is an intermediate release which mainly includes bug fixes and various optimizations.)
  • Vaucanson 1.0 is released (2006-07-28)  + (The Vaucanson team is proud to announce this release, which includes significant improvements of the library, and TAF-Kit support for Boolean Automata, Z-Automata, and Transducers.)
  • NewsEntry (2016/11/16)  + (The Vcsn team is proud to announce the release of Vcsn 2.4, code-named "the quotient tools"! This version features some noteworthy changes.)
  • NewsEntry (2017/01/31)2  + (The Vcsners are proud to announce the release of Vcsn 2.5, aka the k-lightest release!)
  • NewsEntry (2022/11/30)  + (The doctoral school of Paris EDITE has org … The doctoral school of Paris EDITE has organized a conference day [https://www.edite-de-paris.fr/journee-de-ledite-2022/ Journée de l’EDITE] dedicated to PhD-students, their supervisors and the best PhD Thesis Award. Among the labs attending, Thierry has presented the unified EPITA Research Laboratory (LRE) with its newly defined research groups and axes.ts newly defined research groups and axes.)
  • NewsEntry (2018/01/20)  + (The main features of this release are algorithms for working with parity acceptance, new functions to convert to co-Büchi when possible, a new tool for LTL synthesis, and some speedup of our determinization algorithm.)
  • NewsEntry (2013/10/23)  + (The objective of the France-India Technolo … The objective of the France-India Technology Summit is to promote technological and trade exchanges between the two countries, to strengthen existing collaborations and to meet potential partners for the development of new technologies and of new synergies.</br>Olivier Ricou presents research conducted at EPITA during the event.</br></br></br>After the Summit, Olivier Ricou will undertake a 5-day visit to the [http://www.iitj.ac.in Indian Institute of Technology Jodhpur (IIT Jodhpur)] in order to set up a research partnership between EPITA and IIT Jodhpur.partnership between EPITA and IIT Jodhpur.)
  • 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)
  • 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.)
  • 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.)
Retrieved from "https://www.lrde.epita.fr/wiki/Special:SearchByProperty/:News-20subtitle/This-20seminar-20is-20dedicated-20to-20the-20work-20of-20LRDE%27s-20PhD-20students."