%\section{Membres de l'équipe} \no {\small{(\textit{membres ou, en italique, anciens membres, au 01/01/2007})}} \noindent{\footnotesize \begin{longtable}{rllll} {\bf Permanents} \\ & {\it Nom} & {\it Prénom} & {\it Situation} & {\it Institution} \\ \membrephoto{images/lcr/pb} & Baillot & Patrick & \acs{CR} & \acs{CNRS} \\ \membrephoto{images/lcr/boudes} & Boudes & Pierre & \acs{MCF} & \acs{IG}\\ \membrephoto{images/lcr/boufares} & Boufares & Faouzi & \acs{MCF} & \acs{IUTV}\\ \membrephoto{images/lcr/jc} & {\it Castaing} & {\it Jacqueline} & \acs{MCF} & \acs{IG}\\ \membrephoto{images/lcr/cc} & Choppy & Christine & \acs{PU} & \acs{IG}\\ \membrephoto{images/lcr/pc} & Coupey & Pascal & \acs{PU} & \acs{IUTV}\\ \membrephoto{images/lcr/ghed} & Duchamp & Gérard & \acs{PU} & \acs{IG}\\ \membrephoto{images/lcr/cf} & Fouqueré & Christophe & \acs{PU} & \acs{IG}\\ \membrephoto{images/lcr/denaurois} & Jacobé de Naurois & Paulin & \acs{CR} & \acs{CNRS}\\ \membrephoto{images/lcr/klai} & Klai & Ka\"is & \acs{MCF} & \acs{IG}\\ \membrephoto{images/lcr/kl} & {\it Lellahi} & {\it Kazem} & \acs{MCF} & \acs{IG}\\ \membrephoto{images/lcr/loddo} & Loddo & Jean-Vincent & \acs{MCF} & \acs{IUTV}\\ \membrephoto{images/lcr/mayero} & Mayero & Micaela & \acs{MCF} & \acs{IUTV}\\ \membrephoto{images/lcr/vm} & Mogbil & Virgile & \acs{MCF} & \acs{IG}\\ \membrephoto{images/lcr/moyen} & Moyen & Jean-Yves & \acs{MCF} & \acs{IG}\\ \membrephoto{images/lcr/petrucci} & Petrucci & Laure & \acs{PU} & \acs{IUTV}\\ \membrephoto{images/lcr/schwer} & Schwer & Sylviane & \acs{PU} & \acs{IUTV}\\ \membrephoto{images/lcr/ct} & Tollu & Christophe & \acs{MCF} & \acs{IG}\\ \membrephoto{images/lcr/ft} & Toumazet & Frédéric & \acs{MCF} & \acs{IUTV}\\ \membrephoto{images/lcr/jv} & Vauzeilles & Jacqueline & \acs{PU} & \acs{IG} \end{longtable}} \medskip \noindent{\footnotesize \begin{tabular}{rllll} {\bf Doctorants} \\ & {\it Nom} & {\it Prénom} & {\it Situation} & {\it Institution} \\ \membrephoto{images/lcr/atassi} & Atassi & Vincent & \acs{AM} & Université Paris 13 \\ \membrephoto{images/lcr/obertrand} & Bertrand & Olivier & \acs{CDI} & \acs{ONERA} \\ \membrephoto{images/lcr/falempe} & Falempe & Lionel & \acs{AM} & Université Paris 13 \\ \membrephoto{images/lcr/sh} & {\it Hamdoun} & {\it Sana} & & Université Paris 13 \\ \membrephoto{images/lcr/jaff} & {\it Jaff} & {\it Luai} & \acs{B} & Université Paris 13 \\ \membrephoto{images/lcr/kenniche} & Kenniche & Hichem & \acs{AM} & Université Paris 13 \end{tabular}} \medskip \textit{personnel temporaire du 1/9/2002 au 1/9/2007} \noindent{\footnotesize \begin{tabular}{llllll} {\it Nom} & {\it Prénom} & {\it Situation} & {\it Début} & {\it Fin} & {\it Financement}\\ Jacobé de Naurois & Paulin & \acs{ATER} & 09/2005 & 09/2006 & \acs{ATER} \\ Moyen & Jean-Yves & Post-doc & 09/2005 & 09/2006 & \acs{CNRS} (STIC)\\ Dal Lago & Ugo & Post-doc & 05/2006 & 11/2006 & Université Paris 13\\ Popov & Todor & poste rouge & 10/2004 & 01/2005 & \acs{CNRS} (STIC)\\ Pulcini & Gabriele & Post-doc & 04/2007 & 03/2008 & Région IdF\\ Mazza & Damiano & Post-doc & 09/2006 & 08/2007 & \acs{ANR}\\ \end{tabular}} \medskip \textit{personnels invités du 1/9/2002 au 1/9/2006 (au moins 1 semaine)}\footnote{professeur invité : 1 mois d'invitation par l'université Paris 13} \noindent{\footnotesize \begin{longtable}{lllllll} {\it Prénom} & {\it Nom} & {\it Origine} %& {\it Période} & {\it Financement}\\ {\bf 2007} \\ Stefano & Guerrini & Univ. di Roma 1 (Italie) % & 1/6 au 30/6 & professseur invité\\ Gianna & Reggio & Univ. di Genova (Italie) % & 30/1 au 11/2 et 25/6 au 9/7 & professseur invité\\ Max & Kanovich & Queen Mary, Univ. of London (UK) % & 12/06-9/07/2007 & professseur invité\\ Kurt & Jensen & Univ. of Aarhus (Danemark) % & 12/06-9/07/2007 & professseur invité\\ Michele & Pagani & Univ. di Roma 3 (Italie) % & 26/02-3/03/2007 & \acs{ANR} \textsc{nocost}\\ Martin & Hofman & Ludwig-Maximilians-Universität München (Allemagne) % & 26/02-3/03/2007 & professseur invité\\ {\bf 2006} \\ Kazushige & Terui & \acs{NII}, Tokyo (Japan) % & 8/09/2006-23/09/2006 & \acs{ANR} \textsc{nocost}\\ Cosimo & Laneve & Univ. di Bologna (Italie) % & 1/6 au 30/6 & professseur invité\\ Gianna & Reggio & Univ. di Genova (Italie) % & 30/1 au 11/2 et 25/6 au 9/7 & professseur invité\\ Max & Kanovich & Queen Mary, Univ. of London (UK) % & 12/06-9/07/2006 & professseur invité\\ Paolo & Coppola & Univ. d'Udine (Italie) % & 01/05-30/06/2006 & \acs{MCF} invité\\ Gleb & Koshevoy & Labo. Poncelet, Moscou (Russie) % & 1er juin-10 juillet & professeur invité\\ Anne & Haxthausen & Technical Univ. of Denmark % & 15/5 au 21/5 & professseur invité\\ Harry & Mairson & Brandeis University (USA) % & 01/05/2006-19/05/2006 & Projet \acs{ANR} No-Cost \\ Jonathan & Billington & Univ. of South Australia (Australie) % & juin 2006 & \acs{PAI} \textsc{FAST} \\ Charles & Lakos & Univ. of Adelaide (Australie) % & 27/2 au 27/3 2006 & \acs{PAI} \textsc{FAST} \\ & & % & 27/3 au 27/4 2006 & professeur invité\\ Ronald & King & Univ. of Southampton (UK) % & 25/2 au 25/3 & professseur invité\\ {\bf 2005} \\ Jonathan & Billington & Univ. of South Australia (Australie) % & juin 2005 & professseur invité\\ Charles & Lakos & Univ. of Adelaide (Australie) % & 11/7 au 7/8 & \acs{PAI} \textsc{FAST} \\ Kazushige & Terui & \acs{NII}, Tokyo (Japan) % & 30/09/2005-10/10/2005 & \acs{ACI} \textsc{criss}\\ Harry & Mairson & Brandeis University (USA) % & 5/07-8/07/2005 & \\ Max & Kanovich & Queen Mary, Univ. of London (UK) % & 12/06-9/07/2005 & professseur invité\\ Ugo & Dal Lago & Univ. di Bologna (Italie) % & 9/06-16/06/2005 & \acs{ACI} \textsc{criss}\\ Marco & Pedicini & \acs{CNR} IAC Roma (Italie) % & 7/6-4/7/2005 & projet franco-italien (CNRS)\\ Gleb & Koshevoy & Labo. Poncelet, Moscou (Russie) % & 1er juin-10 juillet & professeur invité\\ Gianna & Reggio & Univ. di Genova (Italie) % & 1/2 au 15/2 et 13-25/6 & professseur invité\\ Anne & Haxthausen & Technical Univ. of Denmark % & 4/4 au 11/4 et 27/6-1/7 & professseur invité\\ Maritta & Heisel & Univ. Duisburg-Essen (Allemagne) % & 15-20/03/2005 \\ {\bf 2004} \\ Simone & Martini & Univ. di Bologna (Italie) % & 22/11/2004-22/12/2004 & professseur invité\\ Kazushige & Terui & \acs{NII}, Tokyo (Japan) % & 1/9/2004-29/9/2004 & \acs{ACI} \textsc{criss}\\ Marco & Pedicini & \acs{CNR} \textsc{iac}, Rome (Italie) % & 3/09/2004-11/09/2004 & \textsc{iac} \acs{CNR}-\acs{CNRS}\\ Max & Kanovich & Univ. of Pennsylvania (USA) % & 8/06-3/07/2004 & professseur invité\\ Glynn & Winskel & Cambridge Univ. (UK) % & 14-28/3 and 13-20/6/04 & professseur invité\\ Gianna & Reggio & Univ. di Genova (Italie) % & 6/2 au 19/2 et 6/9 au 17/9 & professseur invité\\ Charles & Lakos & Univ. of Adelaide (Australie) & \acs{PAI} \textsc{FAST} \\ Jonathan & Billington & Univ. of South Australia (Australie) % & juillet 2004 & Projet \acs{ARC} \\ Charles & Lakos & Univ. of Adelaide (Australie) % & juin 2004 & Projet \acs{ARC} \\ Ronald & King & Univ. of Southampton (UK) % & & professseur invité\\ {\bf 2003} \\ Marco & Pedicini & \acs{CNR} IAC Roma (Italie) % & 6/09/2003-15/09/2003 & Projet \textsc{vinci} \\ Max & Kanovich & Univ. of Pennsylvania (USA) % & 16/06-12/07/2003 & professseur invité\\ Kazushige & Terui & \acs{NII}, Tokyo (Japan) % & 23/6/2003-5/7/2003 & \acs{AS} Mobilité\\ Alexandre & Zamulin & Acad. des Sciences, Novosibirsk (Russie) % & 04-05/2003 & professseur invité\\ Maritta & Heisel & Univ. de Magdeburg (Allemagne) % & 10/3 au 24/3 et 9/7 au 16/7 & professseur invité\\ Gianna & Reggio & Univ. di Genova (Italie) % & 24/2 au 8/3 & professseur invité\\ Lorenzo & Tortora de Falco & Univ. Rome III (Italie) % & 6/1 au 18/1 et 28/5 au 9/6 & Projet \textsc{vinci} \\ \end{longtable}} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \subsection{Evolution de l'équipe (permanents)} \noindent{\small \begin{minipage}[t]{.49\textwidth} {\bf Départs}\\ \begin{itemize} \item D. Béchet, \acs{MCF} (thème logique), mutation à Nantes (2004) \item M. Masseron, \acs{MCF} (thème logique), départ en retraite (2004) \item K. Lellahi, \acs{MCF} (thème bases de données), départ en retraite (2006) \item J. Castaing, \acs{MCF} (thème logique), départ en retraite (2007) \end{itemize} \end{minipage} \begin{minipage}[t]{.49\textwidth} {\bf Arrivées}\\ \begin{itemize} \item J.-V. Loddo, \acs{MCF} \acs{IUTV} (thème logique), 2003 (thèse Paris 7) \item L. Petrucci, \acs{PU} \acs{IUTV} (thème spécification), 2003 (auparavant \acs{MCF} Evry, \acs{LSV} Cachan) \item M. Mayero, \acs{MCF} \acs{IUTV} (thème spécification), 2004 (thèse Paris 6) \item G. Duchamp, \acs{PU} \acs{IG} (thème combinatoire), 2004 (auparavant \acs{PU} Rouen, \acs{LIFAR}) \item P. Boudes, \acs{MCF} \acs{IG} (thème logique), 2005 (thèse Aix-Marseille 2) \item V. Jacobé de Naurois, \acs{CR} \acs{CNRS} (thème logique), 2006 (thèse \acs{INPL}-Hong Kong) \item K. Klai, \acs{MCF} \acs{IG} (thème spécification), 2006 (thèse Paris 6) \item J.-Y. Moyen, \acs{MCF} \acs{IG} (thème logique), 2006 (thèse \acs{INPL}) \item \textit{L. Poinsot, \acs{MCF} \acs{IG} (thème combinatoire), 2007 (thèse Toulon)} \end{itemize} \end{minipage} } \medskip Après des départs pour convenances personnelles, l'équipe a conservé son potentiel de recherche dans la thématique logique en élargissant ses compétences vers la programmation fonctionnelle (J.-V. Loddo) et l'analyse de la complexité en septembre 2006 (P. Jacobé de Naurois et J.-Y. Moyen). Dans le même temps, elle a véritablement constitué une thématique spécification autour de C. Choppy par les arrivées de L. Petrucci comme professeur et M. Mayero et K. Klai comme \acs{MCF}. Elle a enfin donné à la thématique combinatoire un professeur (G. Duchamp) qui travaille avec les deux \acs{MCF} déjà présents, auquel s'ajoutera à la rentrée 2007 un \acs{MCF}.