home
Differences
This shows you the differences between two versions of the page.
| Next revision Both sides next revision | |||
|
home [2013/12/04 20:53] philippe typo: word -> world |
home [2013/12/04 20:53] philippe typo: ganeration -> generation |
||
|---|---|---|---|
| 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.txt ยท Last modified: 2020/10/04 10:00 by mine
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International
