-
Les prochaines rencontres Boole auront lieu les lundi 14 et mardi 15 janvier 2013, à Marseille. La réunion aura lieu sur le site Saint Charles d'Aix-Marseille Université.
L'accueil des participants se fera à 11h le lundi matin et la réunion s'achèvera vers 16h le mardi.
Voilà le programme prévisionnel de nos journées : Ici, un pdf contenant le programme, la liste des participants et les résumés.
Où se loger ?Lundi 14 janvier Mardi 15 janvier 11h00-11h30 : Accueil autour d'un café
11h30-12h30 : C. Mailler : Formules booléennes aléatoires construites sur un nombre infini de variables
12h45-14h30 : Déjeuner
14h30-15h30 : C. Garban : Sensibilité au bruit des fonctions booléennes
15h30-16h00 : Pause café
16h00-17h00 : C. Garban : Sensibilité au bruit des fonctions booléennes
17h00-18h00 : H. Cheballah : Combinatoire autour des fonctions booléennes coïncidentes
20h00-... : Dîner au restaurant9h00-10h00 : U. Egly : Solving quantified boolean formulas
10h00-10h10 : Pause café
10h20-11h20 : V. Ravelomanana : On the probability of planarity of the Erdos Renyi random graphs
11h20-12h20 : N. Broutin : Limites de graphes aléatoires critiques et transition de phase pour les SAT-like.
12h30-14h15 : Déjeuner
14h15-15h15 : E. de Panafieu Hyper-graphes non uniformes aux hyper-arêtes pondérées selon leurs tailles
15h30 : Clôture des journées
Pour loger, essayez de rester dans le centre ville, très bien desservi en métros tram et velibs. Dans l'enceinte de la gare et donc à proximité immédiate de la fac il y a l'hôtel Ibis Saint Charles Un hôtel bon marché et bien situé au vieux port est l'Etap Hôtel du vieux port Vous pouvez également chercher un hôtel là.
Dans un autre style, vous trouverez l'Apart'hotel Citadines Castellane qui vous propose des studions ou appartements. Pour les Citadines, demander à bénéficier du tarif CNRS négocié avec le Laboratoire d'Analyse Topologie et Probabilités de l'Université de Provence (UMR CNRS 6632) à 60 euros par nuit, en précisant que vous êtes membre d'un programme scientifique du CNRS et au besoin en donnant votre fonction (DR, CR, PR, MCF, Allocataire de recherche, ...).
Comment faire sa valise ?
Pour ceux qui ont l'habitude de faire un tour sur wikipedia afin de préparer leur garde-robe, on y trouve cette jolie photoet l'information suivante : température maximale moyenne au mois de janvier : 11,8°C (sur les 30 dernières années). Maintenant, je vous laisse cliquer sur la photo précédente afin vous remémorer Marseille, le 7 janvier 2009...
-
La réunion aura lieu sur le site Saint Charles de l'Université de Provence.
L'accueil des participants se fera à 11h le lundi matin et la réunion s'achèvera vers 16h le mardi.
Où se loger ?
Pour loger, essayez de rester dans le centre ville, très bien desservi en métros tram et velibs. Dans l'enceinte de la gare et donc à proximité immédiate de la fac il y a l'hôtel Ibis Saint Charles Un hôtel bon marché et bien situé au vieux port est l'Etap Hôtel du vieux port Vous pouvez également chercher un hôtel là.
Dans un autre style, vous trouverez l'Apart'hotel Citadines Castellane qui vous propose des studions ou appartements. Pour les Citadines, demander à bénéficier du tarif CNRS négocié avec le Laboratoire d'Analyse Topologie et Probabilités de l'Université de Provence (UMR CNRS 6632) à 60 euros par nuit, en précisant que vous êtes membre d'un programme scientifique du CNRS et au besoin en donnant votre fonction (DR, CR, PR, MCF, Allocataire de recherche, ...).
Comment faire sa valise ?
Pour ceux qui ont l'habitude de faire un tour sur wikipedia afin de préparer leur garde-robe, on y trouve cette jolie photoet l'information suivante : température maximale moyenne au mois de janvier : 11,8°C (sur les 30 dernières années). Maintenant, je vous laisse cliquer sur la photo précédente afin vous remémorer Marseille, le 7 janvier 2009...
Université de Provence, centre Saint Charles, salle 19.
Ce lien contient la liste des participants et les résumés des interventions.Lundi 17 Janvier Mardi 18 Janvier 11h00 : Accueil autour d'un café
11h30-12h15 : A. Genitrini :
Immunité algébrique : approche de combinatoriciens.
12h45 : Déjeuner
14h30-15h15 : E. Maneva :
Bounding the threshold of reconstruction on trees using an iterative algorithm.
15h30 : Pause café
16h00-16h45 : C. Mailler :
La distribution des arbres croissants sur l'espace des fonctions Booléennes.
17h00-17h45 : V. Rasendrahasina :
Aspects combinatoire et analytique d'un problème d'optimisation : Max-2-XorSat.
20h00 : Dîner au restaurant9h00-9h45 : V. Bapst :
On the spectrum of random regular graphs with random edges weights.
10h00 : Pause café
10h30-11h15 : J. Vuillemin :
The dimension of a Boolean function.
11h30-12h15 : D. Gardy :
Lambda-termes de hauteur unaire bornée.
12h45 : Déjeuner
14h15-15h00 : F. Delbot :
Comparaison et évaluation en moyenne d'algorithmes d'approximation pour le problème vertex cover.
15h15 : Clôture des journées
Enfin, voilà le plan du campus Saint Charles.