Membres du projet Boole, veuillez vous identifier, s'il vous plait.
  1. Réunion finale : 20 et 21 juin 2013 lieu : Paris

    An english version is available here.

    Les jeudi 20 et vendredi 21 juin, nous proposons des journées ouvertes à tous, autour de la thématique du projet Boole. Des exposés longs, synthétisant les résultats obtenus tout au long du projet, seront donnés par des membres du projet. Il s'organiseront autour des thèmes suivants :
    cryptographie; logique quantitative; satisfaisabilité; études fondamentales et outils.
    Certains de nos collaborateurs étrangers proposeront également des exposés, reliés aux problèmes booléens ou portant sur des outils méthodologiques.

    En voici un programme prévisionnel.
    Les journées se dérouleront à Paris, à l'Université Pierre et Marie Curie (Paris 6, campus de Jussieu).
    Les journées se dérouleront dans la salle 25-26 : 105. Afin de vous y rendre accéder au premier étage via la tour 26 et entrer dans le couloir 25/26. Voilà un plan d'accès à partir de la station de métro Jussieu (métro 7 et 10).
    Un accueil aura lieu chacun des deux jours dès 8h45. Les exposés commenceront à 9h.

    Voilà les présentations des exposés :
    Orateur Exposé
    B. Gittenberger
    N. Creignou et V. Ravelomanana
    B. Chauvin
    A. Genitrini et C. Mailler
    U. Egly
    D. Gardy
    E. de Panafieu
    N. Broutin
    B. Morcrette
    N. Pouyanne
    J.-G. Smaus
    exposé.pdf
    exposé.pdf
    exposé.pdf
    exposé.pdf
    exposé.pdf
    exposé.pdf
    exposé.pdf
    exposé.pdf
    exposé.pdf
    exposé.pdf
    exposé.pdf
  2. Liste des inscrits pour les journées ouvertes du 20-21 juin

    Aaliyah Aaliyah
    Aaron Aaron
    Abigail Abigail
    Abigail Abigail
    Adam Adam
    Adam Adam
    Adam Adam
    Addison Addison
    Addison Addison
    Addison Addison
    Adrian Adrian
    Aidan Aidan
    Aidan Aidan
    Aidan Aidan
    Aiden Aiden
    Aiden Aiden
    Ali Akhavi
    Alejandro Alejandro
    Alex Alex
    Alex Alex
    Alex Alex
    Alex Alex
    Alexa Alexa
    Alexa Alexa
    Alexa Alexa
    Alexa Alexa
    Alexander Alexander
    Alexander Alexander
    Alexander Alexander
    Alexis Alexis
    Alexis Alexis
    Allison Allison
    Amber Amber
    Amelia Amelia
    Amelia Amelia
    Amelia Amelia
    Amelia Amelia
    Amelia Amelia
    Amelia Amelia
    Andrea Andrea
    Andrew Andrew
    Andrew Andrew
    Angel Angel
    Angel Angel
    Angel Angel
    Angel Angel
    Angelina Angelina
    Anna Anna
    Anthony Anthony
    Anthony Anthony
    Anthony Anthony
    Anthony Anthony
    Anthony Anthony
    Antonio Antonio
    Ariana Ariana
    Ariana Ariana
    Arianna Arianna
    Arianna Arianna
    Arianna Arianna
    Vincent Armant
    Ashley Ashley
    Aubrey Aubrey
    Aubrey Aubrey
    Aubrey Aubrey
    Audrey Audrey
    Audrey Audrey
    Austin Austin
    Austin Austin
    Austin Austin
    Austin Austin
    Autumn Autumn
    Autumn Autumn
    Ava Ava
    Ava Ava
    Ayden Ayden
    Ayden Ayden
    Ayden Ayden
    Bailey Bailey
    Cyril Banderier
    Barbera Barbera
    Morgan Barbier
    Barry Barry
    behappy behappy
    behappy behappy
    behappy behappy
    Bob Bob
    bobber bobber
    Bradley Bradley
    Brady Brady
    Brady Brady
    Brandon Brandon
    Brayden Brayden
    Brian Brian
    Brianna Brianna
    Brianna Brianna
    Brody Brody
    Brody Brody
    Brody Brody
    Brooke Brooke
    Brooke Brooke
    Brooklyn Brooklyn
    Brooklyn Brooklyn
    Brooklyn Brooklyn
    Nicolas Broutin
    Bryan Bryan
    Bryan Bryan
    Bryan Bryan
    Bryan Bryan
    Caden Caden
    Caden Caden
    Caleb Caleb
    Cameron Cameron
    Camila Camila
    Camila Camila
    Camila Camila
    Camila Camila
    Claude Carlet
    Carlos Carlos
    Carlos Carlos
    Carter Carter
    Charles Charles
    Charles Charles
    Charlotte Charlotte
    Charlotte Charlotte
    Charlotte Charlotte
    Chase Chase
    Chase Chase
    Chase Chase
    Brigitte Chauvin
    Hayat Cheballah
    Chloe Chloe
    Chloe Chloe
    Chloe Chloe
    Chloe Chloe
    Christian Christian
    Christopher Christopher
    Claire Claire
    Claire Claire
    Claire Claire
    Julien Clément
    Cody Cody
    Cole Cole
    Colton Colton
    Colton Colton
    Colton Colton
    Colton Colton
    Colton Colton
    Connor Connor
    Connor Connor
    cooler111 cooler111
    Cooper Cooper
    Cooper Cooper
    Norbert Cot
    Nadia Creignou
    Daniel Daniel
    Daniel Daniel
    Daniel Daniel
    Daniel Daniel
    Hervé Daudé
    Élie de Panafieu
    francois delbot
    Destiny Destiny
    Destiny Destiny
    Destiny Destiny
    Destiny Destiny
    Dghonson Dghonson
    Dghonson Dghonson
    Diego Diego
    Diego Diego
    Diego Diego
    Dominic Dominic
    Dominic Dominic
    Dylan Dylan
    Uwe Egly
    Elijah Elijah
    Elijah Elijah
    Elijah Elijah
    Elijah Elijah
    Ella Ella
    Ella Ella
    Ella Ella
    Emily Emily
    Emily Emily
    Eric Eric
    Eric Eric
    Eric Eric
    Erin Erin
    Ethan Ethan
    Eva Eva
    Eva Eva
    Evan Evan
    Evan Evan
    Evelyn Evelyn
    Evelyn Evelyn
    Evelyn Evelyn
    Faith Faith
    Faith Faith
    Faith Faith
    fifa55 fifa55
    Jean-Pierre Flori
    Hervé Fournier
    freeman freeman
    christine Fricker
    friend35 friend35
    Gabriel Gabriel
    Gabriella Gabriella
    Gabriella Gabriella
    Gabriella Gabriella
    Gabrielle Gabrielle
    Daniele Gardy
    Garry Garry
    Garry Garry
    Garry Garry
    Genesis Genesis
    Genesis Genesis
    Genesis Genesis
    Genesis Genesis
    Genesis Genesis
    Antoine Genitrini
    Gianna Gianna
    Bernhard Gittenberger
    gobiz gobiz
    gobiz gobiz
    goodboy goodboy
    goodsam goodsam
    goodsam goodsam
    Grace Grace
    Grace Grace
    Gracie Gracie
    Gracie Gracie
    Hailey Hailey
    Haley Haley
    Haley Haley
    Hannah Hannah
    Hannah Hannah
    Hayden Hayden
    Hayden Hayden
    Henry Henry
    Henry Henry
    Henry Henry
    Henry Henry
    Henry Henry
    Henry Henry
    Henry Henry
    heyjew heyjew
    heyjew heyjew
    Ian Ian
    Ian Ian
    Ian Ian
    Ian Ian
    Irea Irea
    Isaac Isaac
    Isaac Isaac
    Isaac Isaac
    Isabel Isabel
    Isabel Isabel
    Isabel Isabel
    Isabel Isabel
    Isabella Isabella
    Isabelle Isabelle
    Isabelle Isabelle
    Isabelle Isabelle
    Jack Jack
    Jackson Jackson
    Jackson Jackson
    Jackson Jackson
    Jackson Jackson
    Jacob Jacob
    Jacob Jacob
    Jacob Jacob
    Jada Jada
    Jada Jada
    Jaden Jaden
    Jaden Jaden
    Jake Jake
    James James
    James James
    James James
    Jane Jane
    Jasmine Jasmine
    Jasmine Jasmine
    Jayden Jayden
    Jayden Jayden
    Jayden Jayden
    Jenna Jenna
    Jenna Jenna
    Jennifer Jennifer
    Jennifer Jennifer
    Jeremiah Jeremiah
    Jeremiah Jeremiah
    Jesse Jesse
    Jesse Jesse
    Jessica Jessica
    Jessica Jessica
    Jesus Jesus
    Jesus Jesus
    Jocelyn Jocelyn
    Jocelyn Jocelyn
    John John
    john john
    John John
    John John
    John John
    john john
    John John
    Jonathan Jonathan
    Jonathan Jonathan
    Jordan Jordan
    Jose Jose
    Jose Jose
    Joseph Joseph
    Joseph Joseph
    Joseph Joseph
    Joseph Joseph
    Joseph Joseph
    Joshua Joshua
    Joshua Joshua
    Josiah Josiah
    Josiah Josiah
    Juan Juan
    Julia Julia
    Julia Julia
    Julian Julian
    Julian Julian
    Kaitlyn Kaitlyn
    Katelyn Katelyn
    Kayla Kayla
    Kayla Kayla
    Kaylee Kaylee
    Kaylee Kaylee
    Kaylee Kaylee
    Kevin Kevin
    kidrock kidrock
    Kimberly Kimberly
    Jakub Kozik
    Kyle Kyle
    Kyle Kyle
    Kylie Kylie
    Landon Landon
    Lauren Lauren
    Layla Layla
    Layla Layla
    Layla Layla
    Leah Leah
    Leah Leah
    Leah Leah
    Leslie Leslie
    Leslie Leslie
    lifestile lifestile
    lifestile lifestile
    lightsoul lightsoul
    Lillian Lillian
    Lillian Lillian
    Lily Lily
    Logan Logan
    Logan Logan
    Logan Logan
    Lucas Lucas
    Lucas Lucas
    Lucky Lucky
    Lucky Lucky
    Luis Luis
    Luis Luis
    Luis Luis
    Luke Luke
    Luke Luke
    Mackenzie Mackenzie
    Florent Madelaine
    Madelyn Madelyn
    Madelyn Madelyn
    Madelyn Madelyn
    Madison Madison
    Madison Madison
    Madison Madison
    Madison Madison
    Madison Madison
    Magic Magic
    Magic Magic
    Magic Magic
    Cécile Mailler
    Makayla Makayla
    Makayla Makayla
    Maria Maria
    Maria Maria
    Mariah Mariah
    Mariah Mariah
    Mariah Mariah
    Marissa Marissa
    Mark Mark
    Mark Mark
    Mark Mark
    Mark Mark
    Mary Mary
    Mary Mary
    Mary Mary
    Mary Mary
    Matthew Matthew
    Maya Maya
    Maya Maya
    Megan Megan
    Megan Megan
    Melanie Melanie
    Melanie Melanie
    Melanie Melanie
    Melissa Melissa
    Sihem Mesnager
    Mia Mia
    Michael Michael
    Michelle Michelle
    Michelle Michelle
    Michelle Michelle
    Miguel Miguel
    Miguel Miguel
    Miguel Miguel
    Miguel Miguel
    Mike Mike
    Mike Mike
    Molly Molly
    Molly Molly
    Molly Molly
    Basile Morcrette
    Morgan Morgan
    Natalie Natalie
    Nathan Nathan
    Nevaeh Nevaeh
    Nevaeh Nevaeh
    Nicholas Nicholas
    Nicholas Nicholas
    Pierre Nicodeme
    Nicole Nicole
    Nicole Nicole
    Nicole Nicole
    Nicole Nicole
    nogood87 nogood87
    Oliver Oliver
    Oliver Oliver
    Oliver Oliver
    Owen Owen
    Owen Owen
    Paige Paige
    Paige Paige
    Paige Paige
    Paige Paige
    Parker Parker
    Parker Parker
    Parker Parker
    Patric Patric
    Patrick Patrick
    Peyton Peyton
    Peyton Peyton
    pitfighter pitfighter
    Plank Plank
    Nicolas Pouyanne
    quaker quaker
    quaker quaker
    Rachel Rachel
    Rachel Rachel
    Rachel Rachel
    razer22 razer22
    razer22 razer22
    Rebecca Rebecca
    Rebecca Rebecca
    Rebecca Rebecca
    Ricky Ricky
    Ricky Ricky
    Ricky Ricky
    Ricky Ricky
    Ricky Ricky
    rikky rikky
    rikky rikky
    rikky rikky
    Riley Riley
    Riley Riley
    Riley Riley
    Riley Riley
    Robert Robert
    Ryan Ryan
    Ryan Ryan
    Ryan Ryan
    Samantha Samantha
    Samuel Samuel
    Samuel Samuel
    Savannah Savannah
    Sean Sean
    Sean Sean
    Sebastian Sebastian
    Sebastian Sebastian
    Guilhem Semerjian
    Serenity Serenity
    Sierra Sierra
    Sierra Sierra
    Sierra Sierra
    Jan-Georg Smaus
    Sophia Sophia
    Sophie Sophie
    Sophie Sophie
    Sophie Sophie
    Michèle Soria
    steep777 steep777
    steep777 steep777
    Stephanie Stephanie
    Steven Steven
    Steven Steven
    Sydney Sydney
    Sydney Sydney
    Sydney Sydney
    Sydney Sydney
    Taylor Taylor
    Taylor Taylor
    Taylor Taylor
    Taylor Taylor
    thebest thebest
    Thomas Thomas
    Tommy Tommy
    Tommy Tommy
    Tony Tony
    Tony Tony
    Trinity Trinity
    Trinity Trinity
    Tristan Tristan
    Tristan Tristan
    Tyler Tyler
    Tyler Tyler
    Tyler Tyler
    Valeria Valeria
    Valeria Valeria
    Vanessa Vanessa
    Vanessa Vanessa
    varlog varlog
    Victoria Victoria
    Vida Vida
    Alfredo Viola
    Jean Vuillemin
    William William
    William William
    William William
    Wyatt Wyatt
    Wyatt Wyatt
    Wyatt Wyatt
    Xavier Xavier
    Xavier Xavier
    Marek Zaionc
    Zoe Zoe
    Zoe Zoe
    Zoe Zoe
    Zoey Zoey
  3. Réunion des 14 et 15 janvier 2013 lieu : Marseille

    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.
    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 restaurant
    9h00-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
    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 .

    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 photo
    et 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...

  4. French-British Workshop on Analytic Combinatorics from Sept. 5th to Sept. 7th Place: Oxford

    Analytic Combinatorics aims to precisely study combinatorial objects by looking at their generating functions, traditionally seen as formal objects, using tools from real and complex analysis. In its first edition, the French-British Workshop on Analytic Combinatorics will seek to gently introduce to the topic through an abundance of examples, and hiding most of the complex machinery behind "black-box" theorems. We will show how to quickly and painlessly derive well-known results on permutations, trees and some varieties of graphs, to illustrate how potent this combination of combinatorics and analysis is.
    After introducing the symbolic method which shows how to automatically derive the generating functions from combinatorial specifications, we will show basic results on singularity analysis and apply them to simple examples. We then move on to multivariate generating functions to show how to get asymptotical and/or distributional results on various parameters (such as the number of cycles in permutations, the probability of a graph being connected, etc.).
    We conclude with an entire lecture dedicated to an original topic: the random generation of combinatorial object - that is, given a combinatorial class and some size, how to uniformly sample one object among all other objects of that size. This problem has traditionally been complex, and mostly resolved on a per-class basis. We will show how an elegant extension of the symbolic method, called "Boltzmann sampling", provides an automatic framework for the generation of all objects which are symbolically specifiable.

    Here you will find he webpage of the workshop.
  5. Réunion du 29 mai 2012 (après midi) au 31 mai 2012 (midi) lieu : Caen

    Les prochaines journées BOOLE commenceront le 29 mai à Caen, sur le site du Campus 2 de l'université de Caen Basse-Normandie (Bd Maréchal Juin). Les exposés auront lieu dans la salle S3-259 du bâtiment Sciences 3.
    Afin d'atteindre le campus, à partir de la gare SNCF, vous pouvez utiliser le TRAM A, Direction Caen Campus 2 et sortir à l'arrêt Caen Campus 2.

    Voilà le programme prévisionnel de nos journées :
    Mardi 29 mai Mercredi 30 mai jeudi 31 mai
    14h30-15h00 : Accueil autour d'un café

    15h00-16h00 : B. Gittenberger : The degree profile of random Polya trees

    16h00-16h30 : Pause café

    16h30-17h30 : J. Vuillemin : The Least Ordered Diagram of a Boolean function

    17h30-18h30 : E. De Panafieu : Graphes aux arêtes pondérées

    18h30-... : Soirée libre
    9h30-10h30 : C. Carlet : On known and new differentially uniform functions

    10h30-11h00 : Pause

    11h00-12h00 : B. Chauvin : (résumé)
    Equations de point fixe pour des lois de probabilité issues de la combinatoire

    12h00-14h30 : Déjeuner amélioré au RU

    14h30-15h30 : L. Lhote : Complexité moyenne de la dualisation de fonctions booléennes

    15h30-16h00 : Pause

    16h00-17h00 : Discussion sur les prochaines journées Boole

    ...-... : Dîner au bord de la mer : La Crémaillère
    9h30-10h30 : B. Vallée : Sources générales et DST

    10h30-11h00 : Pause

    11h00-12h00 : T. H. Nguyen Thi et J. Clément : Analyses réalistes d'algorithmes de tri

    12h00-... : Déjeuner amélioré au RU et fin des journées


    Informations pratiques:

    Voici une liste d'hôtels que nous avons l'habitude de proposer. Le 6 juin étant proche, je vous invite à réserver assez rapidement.
    Central Hôtel (prix indicatif: 50€)
    Hôtel du Chateau (prix indicatif: 60€):
    Hôtel Astrid (prix indicatif: 55€):
    Hôtel du Havre (prix indicatif: 55€)
    Hôtel Bernières (prix indicatif: 45€)
  6. Réunion les 9 et 10 janvier 2012 lieu : Paris

    Les prochaines journées Boole auront lieu lundi 9 et mardi 10 janvier à l'Institut Henri Poincaré, et seront organisées par Guilhem Semerjian.

    Quelques informations sur l'IHP. Et voilà un plan du quartier.

    La rencontre aura lieu dans la salle 201 de l'IHP.

    Voilà le programme prévisionnel de nos journées :
    Lundi 9 janvier Mardi 10 janvier
    14h00-15h00 : S. Mesnager : Sur la classe H de fonctions courbes et les o-polynômes

    15h00-15h30 : J.-M. Le Bars : Etude combinatoire des fonctions booléennes : décomposition de Shannon vs décomposition de Reed-Muller

    15h30-16h00 : Pause café

    16h00-17h00 : R. Monasson

    17h00-18h00 : N. Broutin : Découper le CRT et puis le reconstruire

    19h30-... : Repas au Moulin vert :
    34 bis rue des Plantes, dans le 14ème arrondissement
    9h30-10h30 : G. Schehr : Quelques propriétés statistiques des racines réelles de polynômes aléatoires

    10h30-11h00 : Pause café

    11h00-12h00 : N. Creignou : Treillis de Post et classifications en complexité

    12h00-13h00 : Discussions

    13h00-14h30 : Déjeuner

    14h30-15h30 : A. Akhavi : Différentes notions de complexité des fonctions booléennes
  7. Réunion les 27 et 28 Juin 2011 lieu : Nantes

    Les prochaines journées Boole auront lieu lundi 27 et mardi 28 juin à l'Université de Nantes, au LINA : plan d'accès du laboratoire. La réunion se tiendra dans le bâtiment 11 de la Faculté des Sciences (plan), en salle 3 au rez de chaussée.

    Voilà le programme prévisionnel de nos journées :
    Lundi 27 juin Mardi 28 juin
    11h00-11h30 : Accueil autour d'un café

    11h30-12h30 : F. Saubion : Autonomous Search

    12h30-14h00 : Déjeuner

    14h00-15h00 : A. Viola : Enumerative encoding of correlation immune Boolean functions

    15h00-16h00 : D. Gardy : 2-XOR-SAT: a generating function approach

    16h00-16h30 : Pause café

    16h30-17h30 : B. Morcrette : Urnes de Polya : Approche par la combinatoire analytique

    20h30-... : Dîner au restaurant Ariana :
    28 rue Léon Jamin, dans le centre ville près de la Tour de Bretagne, arrêts de tram Place du Cirque ou 50 Otages (ligne 2)
    9h30-10h30 : X. Lorca et J. du Boisberranger : Propagation fine dans les solveurs de contraintes

    10h30-11h00 : Pause café

    11h00-12h00 : C. Mailler : Arbres associatifs et commutatifs pour la représentation de fonctions booléennes aléatoires

    12h00-14h00 : Déjeuner

    14h00-15h00 : N. Pouyanne : Chaines de Markov à mémoire de longueur variable

    15h00-16h00 : Discussion



    Informations pratiques

    L'accueil des participants sera à 11h le lundi, et la réunion se terminera à 16h le mardi.

    Pour le wifi, l'Université nous impose de créer des comptes nominatifs. Nous avons déjà créé un compte pour tous les membres de Boole (liste récupérée sur le site en février 2011). S'il y a de nouveaux participants, merci de nous prévenir le plus en avance possible.

    Les déjeûners seront sur le même campus, au restaurant du CROUS. Nous aurons une salle réservée avec un repas amélioré. Un dîner en centre ville est prévu le lundi soir (infos à venir).

    Pour d'autres informations sur Nantes (notamment une sélection de restaurants et bars, avec une google map), vous pouvez par exemple consulter ce site que nous avions fait pour les JFPC 08.


    Où se loger ?

    ATTENTION :
    vu la capacité hôtelière de Nantes, il est prudent de réserver l'hôtel très en avance.

    Quelques hôtels, tous à des prix dans les perdiems :
    - Coeur de Loire (**) : le plus proche de la Fac (1km) mais pas sur la ligne de tram
    - Hôtel Duquesne (**) : nord du centre ville, à 2 km de la fac, sur la ligne de tram
    12 allée Duquesne 44000 NANTES 02 40 47 57 24
    - Hôtel Chateaubriant (**) : à 1,7 km de la fac, sur la ligne de tram
    2 B rue Chateaubriand 44000 NANTES 02 40 20 22 38
    - Hôtel du Chateau (*) : centre ville, proche de la gare
    - Hôtel des 3 Marchands (***) : calme et sur la ligne de tram qui passe près du campus

    D'autres hôtels, principalement en centre ville, sont recensés ici, avec les prix de 2008.
  8. Réunion des 17-18 Janvier 2011 lieu : Marseille

    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 .

    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 photo
    et 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.
    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 restaurant
    9h00-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
    Ce lien contient la liste des participants et les résumés des interventions.
    Enfin, voilà le plan du campus Saint Charles.
  9. Réunion plénière des 3-4-5 Mai 2010 lieu : Paris

    La réunion aura lieu à l'IHP (Paris 5ème) du lundi 3 Mai après midi au mercredi 5 Mai midi. Voilà un plan du quartier.
    Lundi 3 Mai Mardi 4 Mai Mercredi 5 Mai
    14h30 : M. Drmota (TU Wien - Austria) :
    Singularities for systems of functional equations

    15h30 : Pause

    16h : S. Mesnager :
    Sur les fonctions booléennes courbes et "hyper-courbes"
    17h15 : J.-M. Le Bars :
    Décomposition récursive en classes de fonctions booléennes
    9h45 : Accueil autour d'un café

    10h15 : Andrea Sportiello (Milan University - Italy) :
    A Cavity Algorithm for the Assignment Problem
    11h30 : A. Genitrini :
    Lois de probabilités sur les fonctions booléennes & Effet Shannon

    12h30 : Déjeuner buffet sur place

    14h30 : P. Flajolet :
    Petit survol des diagrammes de décision binaire (BDD)

    15h30 : Pause

    16h : R. Rossignol :
    La localisation du seuil d'(1,2)-QSAT
    17h15 : H. Fournier :
    Une question sur la complexité du déterminant

    19h : Dîner
    9h45 : Accueil autour d'un café

    10h15 : C. Truchet :
    Indicateurs probabilistes pour déclencher la propagation de contraintes
    11h30 : Bilan et discussion
  10. Réunion des 19-20 Octobre 09 lieu : Versailles

    Lundi 19 Octobre Mardi 20 Octobre
    14h : accueil autour d'un café

    14h15 : D. Gardy :
    Présentation et aspects organisationnels
    14h30 : A. Genitrini :
    Le futur site web de Boole

    15h : Pause

    15h30 : D. Gardy :
    Logique quantitative
    16h10 : C. Carlet :
    Fonctions booléennes et attaques algébriques

    16h50 : Pause

    17h10 : J. Vuillemin :
    Diagrammes de décisions sur les entiers, dimension de fonctions booléennes
    17h50 : N. Broutin :
    Arbres uniformes, graphes et formules booléennes
    18h30 : Fin de la session de l'après-midi

    19h45 : Repas au Bistrot du boucher, place du marché à Versailles
    9h30 : H. Daudé :
    Satisfiabilité et CSP (1ère partie)
    10h10 : G. Semerjian :
    Formules aléatoires et satisfiabilité: approches de la physique statistique

    10h50 : Pause

    11h20 : L. Lhote :
    k-SAT et intégrales multi-dimensionnelles
    12h : J. Clément :
    Structures digitales
    12h30 : V. Ravelomanana :
    Satisfiabilité et CSP (2ème partie)
    13h10 : Conclusion des journées

    13h30 : Repas (pris sur place)