From: "Math-Info [dk]" To: Annick.Montanvert@lip.ens-lyon.fr, prosenst@dmi.ens.fr, Annie.Luciani@imag.fr, Bernard.Mourrain@sophia.inria.fr, Bernard.Mourrain@sophia.inria.fr, kesner@lri.fr, Bernard.Ycart@imag.fr, steyaert@lix.polytechnique.fr, Brigitte.Mosse@iml.univ-mrs.fr, Christian.Lavault@lipn.univ-paris13.fr, Dominique.Le_Brigand@inria.fr, martinet@math.u-bordeaux.fr, Helene.Kirchner@loria.fr, lienhard@matpts.univ-poitiers.fr, Jacques.Mazoyer@lip.ens-lyon.fr, Jean-Daniel.Boissonnat@sophia.inria.fr, Jean-Jacques.Loiseau@lan10.ec-nantes.fr, Marie-Francoise.Coste-Roy@univ-rennes1.fr, Marie-Francoise.Coste-Roy@univ-rennes1.fr, dk@litp.ibp.fr, Maxime.Crochemore@univ-mlv.fr, dulucq@labri.u-bordeaux.fr, Pascal.Guitton@labri.u-bordeaux.fr, Pascale.Charpin@inria.fr, olivier@math.u-bordeaux.fr, Roberto.Dicosmo@ens.fr, metivier@labri.u-bordeaux.fr, Sophie.Malecki@loria.fr, Stephane.Gaubert@inria.fr, flajolet@margaux.inria.fr, ami@litp.liafa.jussieu.fr, ami@litp.liafa.jussieu.fr, comon@lri.lri.fr, arnaldi@irisa.fr, hegron@info.emn.fr, arques@univ-mlv.fr, arques@univ-mlv.fr, mac@litp.ibp.fr, arques@univ-mlv.fr, puech@imag.fr, caubet@irit.irit.fr, cf@litp.ibp.fr, cohen@math.u-bordeaux.fr, dduval@cict.fr, comon@lri.lri.fr, cep@litp.ibp.fr, ct@lipn.univ-paris13.fr, dauchet@lifl.fr, ferreira@lip.ens-lyon.fr, david@univ-savoie.fr, dicosmo@dmi.ens.fr, dduval@cict.fr, dehornoy@geocub.greco-prog.fr, vallee@info.unicaen.fr, delahaye@lifl.fr, henaut@cgmvax.cgm.cnrs-gif.fr, dl@litp.ibp.fr, Loic.Pottier@sophia.inria.fr, dufourd@dpt-info.u-strasbg.fr, ehrhard@iml.univ-mrs.fr, ehrhard@iml.univ-mrs.fr, Philippe.Audebaud@lip.ens-lyon.fr, flajolet@margaux.inria.fr, flajolet@margaux.inria.fr, vallee@info.unicaen.fr, fleck@vega.univ-fcomte.fr, galmiche@loria.fr, krivine@logique.jussieu.fr, gastin@litp.ibp.fr, Claude.Kirchner@loria.fr, habib@lirmm.fr, lydia@lan1.univ-lyon1.fr, henaut@cgmvax.cgm.cnrs-gif.fr, jacob@lifl.lifl.fr, Gilles.Villard@imag.fr, jmc@dir.univ-rouen.fr, jv@lipn.univ-paris13.fr, jyt@litp.ibp.fr, foata@math.u-strasbg.fr, kemeny@carolus.cma.fr, lienhard@matpts.univ-poitiers.fr, lucas@ec-nantes.fr, Bernard.Lacolle@imag.fr, lugiez@cosmos.imag.fr, Maribel.Fernandez@dmi.ens.fr, margens@litp.ibp.fr, mauduit@iml.univ-mrs.fr, maylis@labri.u-bordeaux.fr, Jean-Michel.Muller@lip.ens-lyon.fr, maylis@labri.u-bordeaux.fr, viennot@labri.u-bordeaux.fr, meriaux@matpts.univ-poitiers.fr, metivier@labri.u-bordeaux.fr, morvan@litp.liafa.jussieu.fr, blanchar@iml.univ-mrs.fr, olivier@math.u-bordeaux.fr, dezou@u-bordeaux2.fr, paul@loria.fr, Sylvain.Petitjean@loria.fr, peroche@emse.fr, peroche@emse.fr, Christophe.Chaillou@lifl.lifl.fr, petit@chataigne.lsv.ens-cachan.fr, petit@chataigne.lsv.ens-cachan.fr, hegron@info.emn.fr, pouzet@jonas.univ-lyon1.fr, pr@msh-paris.fr, Jean-Daniel.Boissonnat@sophia.inria.fr, puech@imag.fr, richard@llaic.univ-bpclermont.fr, morvan@litp.ibp.fr, robin@cict.fr, cf@litp.ibp.fr, santha@lri.fr, schlick@labri.u-bordeaux.fr, Etienne.Grandjean@info.unicaen.fr, spehner@univ-mulhouse.fr, stern@dmi.ens.fr, WOLFMANN@naxos.unice.fr, tison@lifl.lifl.fr, vallee@info.unicaen.fr \documentstyle[a4,french]{article} \topmargin 0cm \setlength{\textwidth}{15cm} \setlength{\oddsidemargin}{0cm} \pagestyle{empty} \title{GDR/PRC \footnote {GDR : Groupement de Recherches du CNRS,=20 PRC : Programme de Recherches Coordonn=E9es du MENESR} \\ {\bf Algorithmique, Langage et programmation} \\ (AMI et Programmation)}=20 \date{} \begin{document} \maketitle \section*{Objet: Appel =E0 Groupes de travail}=20 En 1998, les GDR/PRC AMI et Programmation (cad "Algorithmique, Mod=E8le = et=20 Infographie" et "Programmation") seront regroup=E9s officiellement dans = un seul et=20 m=EAme GDR/PRC appel=E9 : ALP "Algorithmique, Langage et Programmation". = Six p=F4les=20 thematiques ont =E9t=E9 identifi=E9s dans ce=20 nouveau PRC/GDR, c'est =E0 dire ceux d=E9j=E0 existant dans AMI et trois = nouveaux=20 th=E8mes associ=E9s =E0 Programmation : \begin{itemize} \item Algorithmique et Calcul Formel (AMI) \item Informatique et Logique (AMI) \item Informatique Graphique (AMI) \item Sp=E9cifications, Preuves et Tests (Programmation) \item Objet et R=E9partition (Programmation) \item Contraintes (Programmation) \end{itemize} Nous lancons cet appel dans le but de mettre =E0 jour les groupes de = travail=20 existants dans Programmation et AMI, et susciter de nouvelles = propositions. \section*{Fonctionnement d'ALP}=20 La taille de cette structure peut =EAtre estim=E9e =E0 environ 1000 = chercheurs (puisque pr=E8s de la moiti=E9 de la communaut=E9 informatique et une = partie=20 de celle de math=E9matiques y seront repr=E9sent=E9es). Les objectifs = majeurs seront=20 de : \begin{itemize} \item f=E9d=E9rer les =E9quipes fran=E7aises de recherche autour des = sciences du logiciel et de ses applications vers la qualit=E9, la suret=E9, le = =20 graphique \item am=E9liorer la visibilit=E9 de notre communaut=E9 vis =E0 vis du = monde=20 industriel \item soutenir le fonctionnement des groupes de travail et des p=F4les=20 th=E9matiques et favoriser l'interdisciplinarit=E9 \item soutenir l'organisation d'une =E9cole jeune chercheurs et = d'=E9coles=20 th=E9matiques \end{itemize} Nous souhaitons que chaque p=F4le puisse avoir une relative autonomie de = =20 fonctionnement. \section*{Budget}=20 M=EAme si nous n'avons =E0 l'heure actuelle que peu d'information sur le budget qui nous serait allou=E9, on peut esp=E9rer un soutien de l'ordre de 50 a 100 KF par p=F4le th=E9matique. Le Minist=E8re et le CNRS sont en totale harmonie dans cette = restructuration. \section*{Groupe de travail}=20 L'unit=E9 de base du GDR/PRC ALP est l'=E9quipe, cad un ensemble de = chercheurs=20 f=E9d=E9r=E9s par une th=E9matique commune scientifique ind=E9pendamment = de toute=20 consid=E9ration g=E9ographique. La vie scientifique de notre GDR/PRC = passe=20 aussi par la notion de groupe de travail : un ensemble d'=E9quipes se=20 constituant autour d'une th=E9matique tranversale aux =E9quipes d'un = p=F4le=20 du GDR/PRC et d'autres p=F4les, voire de chercheurs d'autres GDR/PRC ou=20 d'autres disciplines. Il s'agit d'une structure souple et limit=E9e dans le temps : le comit=E9= de=20 direction se chargera de r=E9examiner tous les ans la situation des=20 groupes de travail et leur reconduction =E9ventuelle. Il existe actuellement en moyenne 4 groupes de travail par p=F4le des=20 GDR AMI et Programmation, chaque groupe de travail pouvant regrouper de = 20 a 100=20 participants. \\ \noindent Voici un canevas de r=E9daction : \begin{itemize} \item Description du projet \item Responsable \item Equipes impliqu=E9es \item R=E9sum=E9 de la proposition=20 \item Th=E8me et objectif scientifiques / =E9tat d'avancement \item Description des sous-projets : responsable, objectifs \item Bibliographie \end{itemize} \noindent Le calendrier est assez serr=E9 pour permettre une mise en = place rapide=20 de ce nouveau GDR/PRC :=20 \begin{itemize} \item 15 Mars : date limite de r=E9ception des r=E9ponses \item 1er Avril : s=E9lection des =E9quipes par le comit=E9 = d'orientation \item 15 Avril : diffusion du dossier final du GDR/PRC ALP \\ \end{itemize} \noindent =E0 envoyer =E0 : \begin{tabbing} AAAA \=3D \kill \> Philippe Devienne - LIFL \\ \> Universit=E9 des Sciences et Technologies de Lille \\ \> 59655 Villeneuve d'Ascq Cedex\\ \> Fax : 03 20 43 65 66 \\ \> Email : Philippe.Devienne@lifl.fr (ascii, TeX ou Postscript) \\ \> (Tel : 03 20 43 47 18) \\ \end{tabbing} \begin{flushright} Lille, le 12 Janvier 1998\\ \vspace{5mm} Philippe Devienne \\ Charg=E9 de Recherches CNRS \\ Directeur du GDR-PRC ALP \\ \end{flushright} \newpage \section*{Comit=E9 d'=E9valuation}=20 Ce comit=E9 d'=E9valuation r=E9sulte de la fusion des comit=E9s de = direction de=20 chacune des structures pr=E9existantes, AMI=20 (http://www.dir.univ-rouen.fr/PRC/welcome.html) et PROGRAMMATION=20 (http://www.loria.fr/exterieur/GDR/) : \begin{itemize} \item D. Arqu=E8s (Marne la Vall=E9e) \item I.Attali (INRIA-Sophia-Antipolis) \item G. Bernot (Evry) \item H. Comon (Orsay) \item P. Devienne (Lille) - Directeur d'ALP et Programmation \item C. Dony (Montpellier) \item D. Krob (Paris 7), Directeur de AMI \item P. Lescanne (Lyon) \item A. Luciani (Grenoble) \item M. Mauny (INRIA-Rocquencourt) \item C. Paulin-Mohring (Orsay) \item A. Petit (ENS Cachan) \item L. Puel (Orsay) \item C. Queinnec (Paris VI) \item O. Ridoux (Rennes) \item P. Sall=E9 (Toulouse) \item M.F. Roy (Rennes) \end{itemize} \newpage \section*{P=F4les Th=E9matiques} \begin{itemize} \item Algorithmique et Calcul Formel \begin{itemize} \item alg=E8bre, g=E9om=E9trie alg=E9brique, combinatoire, th=E9orie = des groupes, des nombres et des graphes \item analyse d'algorithmes et de structures de donn=E9es \item calcul formel et applications \item cryptographie et codage \item syst=E8mes =E0 =E9v=E9nements discrets et automates \item combinatoire et g=E9nome \end{itemize} \item Informatique et Logique \begin{itemize} \item th=E9orie de la d=E9monstration \item th=E9orie des mod=E8les finis et complexit=E9 \item automates et logique \item logique =E9quationnelle et r=E9=E9criture \item syst=E8mes de transition \end{itemize} \item Informatique Graphique \begin{itemize} \item synth=E8se d'images \item mod=E9lisation \item animation \item g=E9om=E9trie algorithmique \item topologie et g=E9om=E9trie discr=E8te \item rendu et visualisation \item interfaces \item r=E9alit=E9 virtuelle. \end{itemize} \item Sp=E9cifications, Preuves et Tests \begin{itemize} \item sp=E9cifications formelles \item d=E9monstration assist=E9e par ordinateur \item model-checking \item tests et h=E9t=E9rog=E9n=E9it=E9 \end{itemize} \item Objet et R=E9partition \begin{itemize} \item =E9volution \item parall=E9lisme et r=E9partition \item composition et r=E9utilisation \item adaptablit=E9 dynamique \end{itemize} \item Contraintes \begin{itemize} \item programmation logique avec contraintes \item coop=E9ration de solveurs num=E9riques, symboliques ou formels \item traitement dynamiques de contraintes \item traitement r=E9partie et parall=E8le \end{itemize} \end{itemize} \end{document}