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
- Seminar/2017-05-03 + (by Pierre Sermanet, Google Brain)
- Seminar/2016-01-27 + (by Pierre-Yves Strub - IMDEA Software Institute - Espagne)
- Seminar/2010-03-03 + (by Raffi Enficiaud)
- Seminar/2014-12-10 + (by Raphaël Boissel, EPITA, CSI)
- Seminar/2010-04-28 + (by Alban Linard)
- Seminar/2012-10-17 + (by Raphael Poss - University of Amsterdam)
- Seminar/2016-09-28 + (by Samuel Charron)
- Seminar/2008-11-05 +
- Seminar/2021-03-31 + (by Souheib Baarir, Université Paris VI)
- Seminar/2020-03-18 + (by Stefan Schwoon, ENS Paris-Saclay)
- Seminar/2020-12-16 + (by Stefan Schwoon, ENS Paris-Saclay)
- Seminar/2016-02-17 + (by Stephan Hadinger, Head of Solutions Architecture, AWS)
- Seminar/2015-10-14 + (by Tamy Boubekeur, Telecom ParisTech - CNRS - University Paris-Saclay)
- Seminar/2013-02-20 + (by Thierry Géraud, EPITA-LRDE)
- Seminar/2008-11-05 + (by Thomas Quinot, AdaCore)
- Seminar/2021-02-10 + (by Uli Fahrenberg, Ecole Polytechnique)
- Seminar/2011-11-16 + (by Ullrich Köthe)
- Seminar/2014-03-12 + (by Vincent Balat, Université Paris Diderot et INRIA)
- Seminar/2014-02-05 + (by Vincent Balat, Université Paris Diderot et INRIA)
- Seminar/2008-02-20 + (by Vitor Vasconcelos Araujo Silva, LORIA Nancy)
- Seminar/2008-11-26 + (by Laurent Plagne ; EDF R&D Clamart.)
- Seminar/2015-02-18 + (by Yann Azoury, Faveod)
- Seminar/2010-06-02 + (by Julien Lamy)
- Seminar/2009-03-25 + (by Yann Régis-Gianas, laboratoire PPS (Univ. Paris Diderot), équipe πr² (INRIA))
- Seminar/2009-09-30 + (by Yannick Allusse et Patrick Horain)
- Seminar/2012-07-04 + (by Ala Eddine Ben Salem (doctorant))
- Seminar/2019-12-17 + (by Yongchao Xu, Associate Professor at the School of Electronic Information and Communications, HUST, China)
- Seminar/2014-02-18 + (by Yves Caseau, Bouygues Telecom & Académie des Technologies)
- The LRDE hosts a new member: Étienne Renault (2011-10-03) + (Étienne Renault has been graduated in real-time and distributed systems and he is interested in formal methods and model checking for distributed)