Mercredi 4 février
à Asnelles (Normandie), du 4 au 6 Février
Organisateurs : Brigitte Vallée (GREYC, Caen), Bernard Ycart (IMAG, Grenoble)
Mercredi 4 février
15h30-16h30: Philippe Robert, Convergence à l’équilibre de certaines chaînes de Markov finies.
16h30-17h : Stéphane Boucheron (LRI Orsay),
Une approximation pour diffusion pour les allocations aléatoires.
17h-17h30: Pause Café.
17h30-18h: Bernard Ycart,
Tests d’arrêt pour les methodes MCMC.
18h-18h30: Marie Christine Rousset (en collaboration avec Bernard Ycart) Génération de benchmarks aléatoires pour les logiques de description.
Jeudi 5 février
9h15-10h15: Rémi Monasson, Éxposé de synthèse sur les répliques.
10h15-10h45: Pause Café.
10h45-11h15: Guy Louchard, Analyse probabiliste d’animaux colonne-convexes et dirigés diagonalement convexes. Trajectoires et formes.
11h15-11h45: Philippe Chassaing (en collaboration avec Jean-Francois Marckert et Marc Yor), Recherche des zéros d'une fonction et arbres binaires.
11h45-12h15: Jean-François Marckert (en collaboration Philippe Chassaing et Marc Yor), Sur un algorithme de recherche du maximum optimal pour l’ordre stochastique.
15h30-16h30: Philippe Flajolet, Analyse du hachage avec essais linéaires.
16h30-17h: Michèle Soria, Expression des coefficients de séries algébriques sous forme de somme finie de multinomiaux.
17h-17h30: Pause Café.
17h30-18h: Isabelle Dutour (en collaboration avec Paul Zimmermann), CS : génération aléatoire en temps quasi-linéaire de structures combinatoires décomposables.
18h- 18h30: Julien Clément (en collaboration avec Philippe Flajolet et Brigitte Vallée), Étude des tries hybrides.
Vendredi 6 février
9h15-10h15: Hervé Daudé, Des graphes aléatoires au problème SAT.
10h15-10h45: Pause Café.
10h45-11h45: Brigitte Vallée, Analyse en moyenne du pgcd binaire.
14h30-15h: Ali Akhavi, Comportement des algorithmes de réduction sur des réseaux euclidiens aléatoires.
15h-15h30: Jean-Marie Le Bars, Graphes aléatoires, logique et lois 0-1.
15h30-16h: Gilles Schaeffer, Une méthode bijective simple et directe pour la génération aléatoire linéaire de cartes planaires.