User Tools

Site Tools


home

Differences

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

Link to this comparison view

home [2013/12/04 20:53]
philippe typo: word -> world
home [2016/09/17 18:42] (current)
Line 1: Line 1:
 ====== APR : Algorithms, Programs and Resolution ====== ====== APR : Algorithms, Programs and Resolution ======
  
- Scientific leader  : [[apr>~soria/|Michèle Soria]]+ Scientific leader  : [[apr>~chaillou/|Emmanuel Chailloux]]
  
 The [[lip6>fr/recherche/team.php?id=750|APR]] The [[lip6>fr/recherche/team.php?id=750|APR]]
Line 9: Line 9:
 The main thematics concern languages and algorithms. The main thematics concern languages and algorithms.
 The team members work on formal approaches and software developments, with many interactions between concepts and applications, in order to design languages and algorithms for developing efficient and certified applications. The team members work on formal approaches and software developments, with many interactions between concepts and applications, in order to design languages and algorithms for developing efficient and certified applications.
-The APR team organizes around two scientific actions : first develop methods of random ganeration for complex combinatorial structures and apply them to model, simulate and test real-world applications; second design and implement new langages for emerging  programming trends in concurrent and distributed computing, and Web programming.+The APR team organizes around two scientific actions : first develop methods of random generation for complex combinatorial structures and apply them to model, simulate and test real-world applications; second design and implement new langages for emerging  programming trends in concurrent and distributed computing, and Web programming.
  
  
 Research thematics are more precisely described in the [[research]] page. Research thematics are more precisely described in the [[research]] page.
 +
home.1386186792.txt.gz · Last modified: 2013/12/04 20:53 by philippe