User Tools

Site Tools


research

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

research [2014/06/07 14:54]
emmanuel
research [2014/11/20 17:05] (current)
michele [Research activity]
Line 22: Line 22:
  
   * [[http://www-apr.lip6.fr/sem-comb-anal-enum.html|Combinatorics Seminar]], animated by M. Soria and S. Corteel   * [[http://www-apr.lip6.fr/sem-comb-anal-enum.html|Combinatorics Seminar]], animated by M. Soria and S. Corteel
-  * [[http://www-apr.lip6.fr/~chaillou/Public/programmation/|Programmation working group]], animated by E. Chailloux+   * [[http://www-apr.lip6.fr/~chaillou/Public/programmation/|"Programming" working group]], animated by E. Chailloux {{rss>http://gdtprog.blogspot.com/feeds/posts/default 3 date 1h }}
   * [[http://www-apr.lip6.fr/~buixuan/seminaire_gato.html|APR Seminar]] (aka GATO), animated by B-M Bui-Xuan & A. Genitrini   * [[http://www-apr.lip6.fr/~buixuan/seminaire_gato.html|APR Seminar]] (aka GATO), animated by B-M Bui-Xuan & A. Genitrini
-  * APR days  
-    * June 2013 : [[http://www-apr.lip6.fr/journeeAPRjune2013.pdf|APR-2013]], organized by E. Chailloux, P. Trébuchet 
-    * Feb 2012 [[http://www-apr.lip6.fr/journeeAPRfev2012.pdf|APR-2012]], organized by E. Chailloux 
-    * June 2010 [[http://www-apr.lip6.fr/Seminaire-2010/programme-seminaire-apr.html|APR-2010]], organized by F. Peschanski, P. Trebuchet, A. Valibouze 
   * [[http://wiki.sagemath.org/GroupeUtilisateursParis|Sage User Group in Paris region]], animated by F. Hivert, N. Thiéry (LRI, Paris-Sud), A. Valibouze, ...   * [[http://wiki.sagemath.org/GroupeUtilisateursParis|Sage User Group in Paris region]], animated by F. Hivert, N. Thiéry (LRI, Paris-Sud), A. Valibouze, ...
  
Line 40: Line 36:
 <html><h3>Projects in collaboration</h3></html> <html><h3>Projects in collaboration</h3></html>
  
 +  * Systematic project UCF (2014-2017)
 +  * ANR network CHRONOS (2014-2016)
   * ANR project [[http://www.algo-prog.info/cercles/|CERCLES]] (2011-2014)   * ANR project [[http://www.algo-prog.info/cercles/|CERCLES]] (2011-2014)
-  * ANR project [[http://www-apr.lip6.fr/anrMagnum/|MAGNUM]] (2010-14)+  * ANR project [[http://www-apr.lip6.fr/anrMagnum/|MAGNUM]] (2010-2015)
   * ANR project [[http://www-sop.inria.fr/indes/pwd/|PWD]] (2010-14)   * ANR project [[http://www-sop.inria.fr/indes/pwd/|PWD]] (2010-14)
-  * System@tic project [[http://opengpu.net/|OpenGPU]] (2010-12)+  * Systematic project [[http://opengpu.net/|OpenGPU]] (2010-12)
   * ANR project [[http://www-apr.lip6.fr/anrGamma/|GAMMA]] (2007-10)   * ANR project [[http://www-apr.lip6.fr/anrGamma/|GAMMA]] (2007-10)
   * System@tic project [[http://www.projet-couverture.com/|COUVERTURE]] (2008-10)   * System@tic project [[http://www.projet-couverture.com/|COUVERTURE]] (2008-10)
Line 53: Line 51:
 <html><h3>LIP6 Projects</h3></html> <html><h3>LIP6 Projects</h3></html>
  
 +  * LinkThreads (2014-) :Link flow analysis of dynamic graphs from traces of multithreaded programs  (with Complex networks and MOVE)
   * Z3 (2010-12): Implantation of the ZAM functional machine in the VMkit virtual  machine  (with  REGAL)   * Z3 (2010-12): Implantation of the ZAM functional machine in the VMkit virtual  machine  (with  REGAL)
   * AFMI  (2008-10) : Formal Approaches for the metrology of  the Internet (with Complex Network)   * AFMI  (2008-10) : Formal Approaches for the metrology of  the Internet (with Complex Network)
Line 58: Line 57:
   * SYNUS (2007-09): Symbolic-Numeric Algorithms for Solving Polynomial Systems (with PEQUAN and SALSA)   * SYNUS (2007-09): Symbolic-Numeric Algorithms for Solving Polynomial Systems (with PEQUAN and SALSA)
  
 +
 +-------------
 +
 + <html><h3>APR days</h3></html>
 +
 +    * June 2014 :  [[http://www-apr.lip6.fr/journeeAPR2014.pdf|APR-2014]], organized by E. Chailloux
 +    * June 2013 : [[http://www-apr.lip6.fr/journeeAPRjune2013.pdf|APR-2013]], organized by E. Chailloux, P. Trébuchet
 +    * Feb 2012 [[http://www-apr.lip6.fr/journeeAPRfev2012.pdf|APR-2012]], organized by E. Chailloux
 +    * June 2010 [[http://www-apr.lip6.fr/Seminaire-2010/programme-seminaire-apr.html|APR-2010]], organized by F. Peschanski, P. Trebuchet, A. Valibouze
  
 ------------- -------------
  
 <html></td></tr></table></html> <html></td></tr></table></html>
research.1402145686.txt.gz · Last modified: 2014/06/07 14:54 by emmanuel