Annie Chateau

[ Accueil ] [ Curriculum Vitæ ] [ Recherche ] [ Publications ] [ Conférences ] [ Enseignement ] [ Responsabilités et encadrements ]      

Conférences



Communications en bioinformatique

  • 6th RECOMB Comparative Genomics Satellite Workshop, Paris, 13-15 octobre 2008 : Perfect DCJ Rearrangement
  • Rencontres GénomeQuébec, Montréal, 11 mars 2005 : Reconstruction de génomes ancestraux de mitochondries
  • Colloque Robert Cedergren, Montréal, 23-24 septembre 2004 : Reconstruction de génomes ancestraux grâce aux intervalles conservés
  • 4th Workshop on Algorithms in Bioinformatics (WABI04), Bergen, 14-17 septembre 2004 : Reconstructing Ancestral Gene Orders using Conserved Intervals
  • Rencontres GénomeQuébec, Bromont, 3-4 juin 2004 : Reconstruction of Ancestral Gene Orders Using Conserved Intervals

Communications en logique mathématique

  • CSL'05 Satellite Workshop, Oxford, 21 août 2005 : The Ultra-Weak Ash Conjecture is Equivalent to the Spectrum Conjecture, and Some Relative Results
  • Séminaire du LACIM, Montréal, 12 mars 2004 : Conjecture de Ash et comptage des classes de k-équivalence, une histoire de paquets
  • Séminaire du LLAIC, Clermont-Ferrand, 19 décembre 2003 : Contradiction de la conjecture de Ash dans le cas d'un graphe de bijection
  • Séminaire d'Algorithmique du GREYC, Caen, 2 décembre 2003 : La conjecture du spectre et la conjecture de Ash, derniers développements
  • Journées de l'Action Spécifique CNRS/STIC Nouveaux modèles de calcul : Algorithmes et Complexité, Paris, 28-29 novembre 2003 : La conjecture de Ash et la question NEXP = CoNEXP
  • Colloque National de la Recherche en IUT, Le Creusot, 15-16 mai 2002 : Automatisation de la décision de formules logiques via la construction des destinées
  • Forum des Jeunes mathématiciennes et informaticiennes, Paris, 8-9 mars 2002 : La maïeutique des destinées, ou comment accoucher de nouveaux problèmes ouverts
  • Journées des Arithmétiques Faibles (JAF20), Fontainebleau, 5-6 juin 2001 : Effective Decision of the Theory of Order with a Bounded Quantifier Depth
  • Colloque National de la Recherche en IUT, Roanne, 13-15 juin 2001 : Décision des théories à nombre borné de variables sur les langages relationnels finis : un algorithme utilisant les destinées (poster)
  • Ecole de Jeunes Chercheurs en Algorithmique 2001, Lyon, 29 janvier - 2 février 2001 : Décidabilité effective dans les théories à nombre borné de variables : construction des destinées
  • Journées des Arithmétiques faibles (JAF19), Clermont-Ferrand, 17-18 décembre 2000 : Using destinies for effective decision in weak arithmetical theories with a bounded number of variables
  • Séminaire du LLAIC, Clermont-Ferrand, 14 septembre 2000 : Les théories du successeur et de la coprimarité (soutenance de DEA)

Accueil | Contact | Copyright © 2007 Annie Chateau.