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/2012-02-15  + (Yann Régis-Gianas est un ancien élève de l … Yann Régis-Gianas est un ancien élève de l'EPITA, promo CSI 2003. À sa</br>sortie de l'école, il a poursuivi un troisième cycle en passant un DEA</br>à l'Université Paris Diderot et une thèse à l'INRIA Rocquencourt. Il</br>est aujourd'hui maître de conférence à Paris Diderot et travaille sur</br>le design des langages de programmation et de preuve.es langages de programmation et de preuve.)

• Seminar/2012-02-15  + (Nicolas Ayache, ancien doctorant Université Paris-Sud / CEA-LIST, est actuellement Post-doc au laboratoire PPS (Preuves, Programmes et Systèmes) à l'université Paris Diderot.)