Differences

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

--- home [2019/02/18 18:53] – external edit 127.0.0.1
+++ home [2025/06/18 14:16] (current) – mine
@@ Line 1: / Line 1: @@
 ====== APR : Algorithms, Programs and Resolution ======
- Scientific leader  : [[apr>~mine/|Antoine Miné]]
+ Scientific leader  : [[https://perso.lip6.fr/Antoine.Mine|Antoine Miné]]
 The [[lip6>fr/recherche/team.php?id=750|APR]]
@@ Line 7: / Line 7: @@
 the Computer Science Laboratory [[lip6>en/index.html|LIP6]].
-The APR team works on thematics dealing with algorithms and programming languages, from both theo- retical and practical aspects, combining the language approach and the algorithmic requirements in a wide range of applications, such as programing new machine architectures, developing languages for concurrence and mobility, software testing, static analysis.
+The APR team works on thematics dealing with algorithms and programming languages, from both theoretical and practical aspects, combining the language approach and the algorithmic requirements in a wide range of applications, such as programing new machine architectures, developing languages for concurrence and mobility, software testing, static analysis.
 More generally, in the APR team, we develop formal and mathematically founded methological approaches, in the domains of semantics and combinatorics, in order to achieve concrete goals such as experimental software prototypes, as well as development of industrial applications.