You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
5 lines
750 B
5 lines
750 B
\section{Le Laboratoire de Recherche en Informatique}
|
|
|
|
Le \href{https://www.lri.fr}{\bsc{l}aboratoire de \bsc{r}echerche en \bsc{i}nformatique} (\bsc{lri}) est une \href{https://fr.wikipedia.org/wiki/Unit%C3%A9_mixte_de_recherche}{\bsc{u}nité \bsc{m}ixte de \bsc{r}echerche} (\bsc{umr}) associant l'\href{http://www.u-psud.fr}{Université Paris-Sud} et le \href{http://www.cnrs.fr/}{\bsc{cnrs}}.
|
|
|
|
Le \bsc{lri} est composé de plusieurs équipes, parmi lesquelles, l'équipe \href{https://vals.lri.fr/}{\bsc{v}érification d'\bsc{a}lgorithmes, \bsc{l}angages et \bsc{s}ystèmes} (\bsc{vals}) au sein de laquelle s'est déroulé ce stage. L'équipe \bsc{vals} est particulièrement orientée vers la recherche dans le domaine des méthodes formelles.
|
|
|