% \pagebreak
\section{Membres de l'équipe}
\input{inputs/LCR/membres}

\newpage
\section[\bf Combinatoire algébrique]{Composante Combinatoire}
\begin{bibunit}
\input{inputs/LCR/combi}
\putbib[biblio/patch_laure_TEAM,biblio/LIPN]
\end{bibunit}

\newpage
\section[\bf Logique et Programmation]{Composante Logique et Programmation}
\begin{bibunit}
\input{inputs/LCR/logique}
\putbib[biblio/patch_laure_TEAM,biblio/LIPN]
\end{bibunit}

\newpage
\section[\bf Spécification et Vérification]{Composante Spécification et Vérification}
\begin{bibunit}
\input{inputs/LCR/specif}
\putbib[biblio/patch_laure_TEAM,biblio/LIPN]
\end{bibunit}
 
\newpage
\section[\bf Bases et Entrepôts de Données]{Composante Bases de Données / Entrepôts de Données}
% \begin{bibunit}
\input{inputs/LCR/bd}
% \putbib[biblio/LIPN]
% \end{bibunit}

\newpage
\section{Séminaires d'équipe}
% \input{inputs/LCR/seminaires}
L'équipe organise régulièrement un séminaire (au moins 15 fois par an) en invitant plus particulièrement de jeunes chercheurs dans cette discipline, mais aussi des chercheurs confirmés français ou étrangers présentant de nouvelles approches (P. Coppola, C. Laneve, B. Valiron, J.-Y. Girard, C. Faggian, K. Terui, H. Mairson, J. Billington ... pour n'en citer que quelques-uns). La liste complète est accessible sur le site web du laboratoire.