les Ecoles Jeunes Chercheurs

Objectifs

Les buts de l'École sont essentiellement :

• de donner une formation complémentaire de haut niveau par des spécialistes français du domaine afin de compléter la formation des jeunes chercheurs (mise à niveau, ouverture vers de nouveaux domaines)
• de leur donner des outils leur permettant une meilleure adaptation à d'autres environnements que leur laboratoire d'origine et donc faciliter une certaine mobilité
• de leur montrer l'état de la recherche en France dans des domaines voisins de leur spécialité
• de contribuer à créer une communauté de jeunes scientifiques autour des thèmes du GDR Informatique Mathématique en leur permettant de se rencontrer et de présenter certains de leurs travaux

Les thèmes scientifiques des EJCIM sont naturellement ceux du GDR IM et la plupart se situent à l'interface naturelle entre mathématiques et informatique. Le lieu de l'école change chaque année, et il est enrichissant à la fois d'utiliser les compétences scientifiques de l'équipe locale organisatrice, et de rechercher la collaboration de chercheurs d'autres laboratoires. Les programmes des écoles précédentes reflètent d'ailleurs assez bien ce principe.

Le public visé est celui des jeunes chercheurs à plus ou moins deux ans de leur thèse. Dans la plupart des écoles doctorales, la participation à cette École est prise en compte dans le cadre des cours que doivent maintenant suivre les doctorants à hauteur de 20h. Nous encourageons vivement tous les participants concernés à faire une demande similaire à leur École doctorale (si vous avez un problème avec votre Ecole Doctorale à ce sujet, merci de nous le faire savoir).

Modalités pédagogiques:

Cinq jours au total, comportant deux parties:

les matinées

consacrées à 20 heures d'enseignement (cinq cours de quatre heures); des supports de cours sont fournis aux participants.

les après-midis

consacrées à des présentations courtes effectuées par les jeunes chercheurs.

Nous n'envisageons pas de sélection, nous vérifierons seulement l'adéquation des présentations avec les domaines scientifiques de l'école. Un page web regroupant les cours et les résumés des participations est ouverte. À la fin de l'école, un formulaire d'évaluation est distribué aux participants.

Prise en charge financière

L'école prend en charge et organise

• 4 nuitées
• les repas de midi
• une des soirées de la semaine habituellement

Les frais de voyage reste donc à la charge des laboratoires des participants

Historique

Les deux premières EJC (1996 et 1997) étaient dans le cadre du GDR AMI. Il a laissé la place au GDR ALP, puis au GDR IM à partir de 2006.

2011 Amiens du 28 mars au 1 avril 2011

2010 Chambery du 29 mars au 2 avril 2010

• Combinatoire des mots et géométrie discrète (Laurent Vuillon)
• Ingénierie cryptographique: de la recherche académique à
  la pratique industrielle (Philippe Elbaz-Vincent)
• Jeux et vérification (Hugo Gimbert)
• Réalisabilité: des preuves à la programmation (Christophe Raffalli)
• Analyse d'algorithmes probabilistes: méthodes et applications (Philippe Flajolet)

2009 Clermont-Ferrand du 30 mars au 3 avril 2009

• Topologie digitale (Rémy Malgouyres)
• Logique et Complexité (Malika More)
• Optimisation combinatoire (Alain Quilliot)
• Algorithmes, automates et applications (Michel Habib)
• Informatique quantique (Frédéric Magniez)

2008 Marseille du 31 mars au 4 avril

• Géométrie de l'interaction (Jean-Yves Girard)
• Algèbre et géométrie de la réécriture (Yves Lafont)
• Complexité calculatoire et implicite (Patrick Baillot)
• Pavages, modèles géométriques et calcul (Bruno Durand)
• Combinatoire algébrique (Florent Hivert)

2007 Nancy   du 19 au 23 mars

• Algorithmique Géométrique et Discrète (Sylvain Lazard)
• Algorithmique des Courbes Elliptiques (Guillaume Hanrot)
• Calculs et Systèmes Dynamiques (Olivier Bournez)
• Théorie Algorithmique des Jeux. Applications aux Réseaux (Jean-Pierre Hubaux)
• D-Finitude et Applications (Bruno Salvy)

2006 Bordeaux du 15 au 19 mai

• Graphes et bio-informatique (Guillaume Fertin)
• Logique, jeu, automates (Igor Walukiewicz)
• Complexité et Transitions de phase (Nadia Creignou)
• Traitement automatique des langues (Renaud Marlet)
• Analyse d'algorithmes (Yves Métivier)

2005 Montpellier du 4 au 8 avril

• Algorithmique des graphes (Christophe Paul, LIRMM, CNRS)
• ­Algorithmes pour la bioinformatique (Olivier Gascuel, LIRMM, CNRS) :
• Cryptographie (Jean-Claude Bajard, LIRMM)
• Géométrie discrète (Christophe Fiorio, LIRMM)
• Mots de Sturm et routage dans les réseaux informatiques (Bruno
  Gaujal et Alain Jean-Marie, LIRMM, INRIA).

2004 Grenoble du 29 mars au 2 avril

• Systèmes hybrides (resp. Jean-Guillaume Dumas, UJF)
• Programmation parallèle et systèmes complexes  (resp. Jean-Louis Roch, ENSIMAG)
• Algorithmes pour l'image de synthèse (resp. Gilles Debunne, CNRS)
• Arithmétique des ordinateurs (resp. Nathalie Revol, ENS Lyon)
• Optimisation Combinatoire (resp. Marc Demange, ESSEC)

2003 Marne-la-Vallée  du 31 mars au 4 avril

• Combinatoire des mots, J. Berstel, IGM, Marne-la-Vallée
• Calcul formel, P. Zimmermann, Loria/Inria, Nancy
• Combinatoire algébrique, J.-Y. Thibon, IGM, Marne-la-Vallée
• Cryptographie, F. Morain, LIX, Ecole Polytechnique
• Vérification automatique de systèmes concurrents, A. Muscholl, LIAFA, Paris

2002 Lille du 25 au 30 mars

• Responsable des cours Rémi Gilleron Thème : Apprentissage
• Responsable des cours : Michel Petitot Thème : Combinatoire des algèbres de Hopf
• Responsable des cours : Yves Métivier Thème : Algorithmique distribuée
• Responsable des cours : Marie-Pierre Béal Thème : Systèmes dynamiques symboliques
• Responsable des cours : Mireille Bousquet-Melou Thème : Combinatoire énumérative

2001 Lyon du 29 janvier au 2 février

• Complexité, modèles finis (Pascal Koiran, ENS de Lyon)
• Automates cellulaires et pavages (Jacques Mazoyer, ENS de Lyon)
• Calcul formel différentiel (Jean Della-Dora, IMAG, INPG Grenoble)
• Graphes et ordre (Michel Habib, LIRMM, Université de Montpellier)
• Géométrie algorithmique (Jean-Daniel Boissonnat, Inria Sophia-Antipolis)

2000 Caen du 27 au 31 mars

•  Algorithmique des tresses (Patrick Dehornoy, Caen)
• Analyse d'algorithmes (Philippe Flajolet, INRIA; Brigitte Vallée, Caen)
• Algorithmique combinatoire et satisfaction de contraintes (Étienne Grandjean, Caen; Jean-Jacques Hébrard, Caen)
• Cryptographie et codage (Claude Carlet, Caen)
• Algorithmique du texte et du génome (Maxime Crochemore, Marne-la-Vallée)

1999 Bordeaux du 22 au 26 mars

• Algorithmique sur des objets graphiques en mathématiques et informatique (autour du logiciel CALICO), coordonné par M. Delest (Bordeaux)
• Calcul formel, coordonné par M.-F. Roy (Rennes).
• Automates, systèmes à événements discrets et évaluation de performances, coordonné par J. Mairesse (Paris).
• Algorithmique en théorie des nombres (autour du logiciel PARI), coordonné par H. Cohen (Bordeaux).
• Automates finis (mots infinis et fonctions réalisées par automates), coordonné par O. Carton (Marne-la-Vallée) et Ch. Frougny (Paris).

1997 Marseille du 8 au 12 décembre

1996 Nice du 9 au 12 décembre

• J.-M. Muller (LIP ENS-Lyon) Le "bug" du Pentium.
• M. Yvinec (I3S-Nice & INRIA Sophia-Antipolis) Calcul géométrique.
• C. Kenyon (LIP ENS-Lyon) Algorithmes randomisés.
• P. Ossona de Mendez (MSH Paris) Théorie des graphes : Épopées & Aventures.
• M. Morvan (LITP-IBP) Quelques aspects algorithmiques des ordres et des treillis.
• S. Vaudenay (GRECC ENS-Paris) Comment signer avec un nombre ?