Année 2021-2022

Computing with analog models. Computing with ordinary differential equations

Olivier Bournez (LIX, Ecole Polytechnique) November 16, 2021

Groupe fondamental et pavages du plan: quelques constructions

Léo Pavlet Salomon (GREYC) November 9, 2021

Difficulté du domino apériodique en (presque) toute dimension

Benjamin Hellouin (LRI, Univ. Paris Sud) October 26, 2021

Sampling uniforme de langage d'automate temporisé

Benoit Barbot (LACL) October 12, 2021

Génération de tests aléatoires pour des types numériques contraints

Vincent Botbol (Nomadic labs), Matthieu Dien (GREYC), Ghiles Ziat (IRIF, Univ. Paris) September 7, 2021


Année 2020-2021

Réseaux d'automates expansifs

Florian Bridoux (LIS, Université Aix-Marseille) June 29, 2021

Une nouvelle approche pour l'analyse d'algorithme

Julien David (LIPN, Université Paris Nord) May 25, 2021

Entropies et entropies de surfaces des sous-shifts 2D

Callard Antonin (Département informatique, ENS Paris-Saclay) March 30, 2021

Absorbing patterns in BST-like expression-trees

Pablo Rotondo (LIGM, Université Gustave Eiffel Paris Est) February 9, 2021

Computational hardness and conjugacy invariants in subshifts

Pascal Vanier (GREYC, Caen) January 25, 2021

Énumération asymptotique des arbres faiblement croissants

Mehdi Naima (LIPN, Université Paris 13)) November 10, 2020

Two arithmetical sources and their asssociated tries

Brigitte Vallée (GREYC, Caen) October 20, 2020

Les sous-shifts multidimensionnels non-sofics

Andrei Romashchenko (LIRMM, Univ. Montpellier) October 13, 2020

Knowledge Compilation for Action Languages

Sergej Scheck (GREYC, Caen) September 29, 2020


Année 2019-2020

Theoretical needs for pattern mining

Arnaud Soulet (Univ. de Tours) April 6, 2020

Contributions algorithmiques à la prise de décision multi-agents

Aurélie Beynier (LIP6, Univ. Paris 6) April 3, 2020

Analogies between groups and subshifts : Higman type theorems for subshifts

Pascal Vanier (LACL, Paris-Est Créteil) April 1, 2020

Cliff posets and algebras

Samuele Giraudo (IGM, Paris-Est Marne la Vallée) April 1, 2020

Exploration de l'arbre des semigroupes numériques

Jean Fromentin (LMPA, Univ. Littoral, Calais) March 31, 2020

Reachability and Coverage for Connected Agent

François Schwarzentruber (ENS, Rennes) March 13, 2020

Partitions des entiers et nombres premiers

Manfred Madritsch (Institut Elie Cartan, Univ. Lorraine) March 10, 2020

Algorithmes rapides pour des graphes bien structurés

Mamadou Kanté (Université Clermont Auvergne) March 3, 2020

L'algorithme de parcours en profondeur dans un modèle de configuration

Nathan Noiry (Paris Ouest, Nanterre) February 18, 2020

Intrusion Detection Systems over an Encrypted Traffic: Problem and Solutions

Canard Sébastien (Orange Labs et GREYC) February 4, 2020

Parameterized Algorithms for Consensus String Problems

Laurent Bulteau (IGM, Univ. Marne la Vallée) January 28, 2020

LAD et modèles probabilistes pour des algorithmes de recherche exacts

Danièle Gardy (David, Univ. Versailles-Saint-Quentin) January 21, 2020

Mise en œuvre de l' algorithme de Propp et Wilson

Christelle Rovetta (INRIA et ENS Ulm, Paris) November 26, 2019

Les expressions aléatoires uniformes manquent d'expressivité

Florent Koechlin (LIGM, Paris-Est Marne la Vallée) November 19, 2019

À la recherche de borne inférieure de complexité

Ali Akhavi (GREYC, Caen) November 5, 2019

Le modèle du tas de sable, de la physique à la combinatoire

Henri Derycke (GREYC, Caen) October 15, 2019

Algebra, Tilings and Nivat

Etienne Moutot (LIP, ENS Lyon) October 1, 2019

Dual Hashing-Based Algorithms for Discrete Integration

Alexis de Colnet (CRIL, Lens) September 24, 2019

Communication complexity tools on recognizable picture languages

Véronique Terrier (GREYC,Caen) September 17, 2019

Comment vos supporters et opposants définissent votre intérêt

Bruno Crémilleux (GREYC,Caen) September 10, 2019


Année 2018-2019

Circuix le Gaulois

Sylvain Perifel (IRIF, Paris) June 11, 2019

Simulation exacte de lois de probabilités

Philippe Duchon (LaBRI, Bordeaux) May 7, 2019

Top-Down Knowledge Compilation of Decision-DNNF Representations

Pierre Marquis (CRIL, Lens) March 5, 2019

Limit theorems for statistics of random graphs

Joseph Yukich (Lehigh University, Bethlehem, Pennsylvania, USA) February 12, 2019

Enumération des transversaux minimaux des hypergraphes sans triangle

Mamadou Kanté (LIMOS, Clermont-Ferrand) February 5, 2019

Le jeu de domination dans les graphes

Paul Dorbec (GREYC, Caen) January 29, 2019

Vérifier la sécurité des vues de bases de données

Pierre Bourhis (INRIA et CRIStAL, Lille) January 15, 2019

Points apériodiques dans les espaces de pavage bidimensionnels

Pascal Vanier (LACL, Paris-Est Créteil) November 13, 2018

Outils de topologie algébrique pour l’analyse du calcul distribué

Pierre Fraigniaud (IRIF, Paris) November 6, 2018

Systèmes dynamiques et numération

Valérie Berthé (IRIF, Paris) October 23, 2018

Enumerating pattern matches in texts and trees

Antoine Amarilli (Télécom Paris) October 9, 2018

Aspects combinatoires des systèmes concurrents

Matthieu Dien (GREYC, Caen) September 25, 2018

Caractérisation logique de la complexité d'un automate cellulaire

Théo Grente (GREYC, Caen) September 18, 2018


Année 2017-2018

Convex bi-partitions of bipartite graphs

Martin Dario Safe (Laboratoire MIS (Université de Picardie Jules Verne) June 16, 2018

Couplets, refrains, cadences... comment analyse-t-on automatiquement la forme musicale ?

Florence Levé (Laboratoire MIS (Université de Picaerdie Jules Verne) May 22, 2018

Autour des ensembles dominants: des graphes et des jeux

Paul Dorbec (Labri, Bordeaux) April 10, 2018

Incentives in distributed systems

Paolo Penna (ETH Zurich, Department of Computer Science) March 28, 2018

Variations on alignments in process mining

Thomas Chatain (LSV , CNRS & ENS de Cachan) March 20, 2018

Algorithmic problems in algebra: complexity and applications

Delaram Kahrobaei (New York University, CUNY Graduate Center, City University of New York, Center for Logic, Algebra, Computation, USA) March 6, 2018

Probabilistic analysis of the Continued Logarithm Algorithm

Pablo Rotondo (IRIF, Paris Diderot and UdeLaR, Montevideo associate, associate of GREYC) February 20, 2018

Lempel-Ziv : la catastrophe du premier bit

Guillaume Lagarde (IRIF, Paris Diderot) February 13, 2018

Cadre formel pour la réécriture distribuée des multiensembles

Verlan Serghei (LACL, Créteil) January 30, 2018

Opérades, séries et combinatoire

Samuele Giraudo (LIGM, Marne la Vallée) January 23, 2018

Analyse de paramètres pour les cartes combinatoires

Julien Courtiel (GREYC, Caen) December 5, 2017

Improved bounds for testing Dyck languages

Frédéric Magniez (IRIF, Paris) November 28, 2017

Concurrence et combinatoire des structures croissantes : parallélisme, non-déterminisme et synchronisation

Frédéric Peschanski (LIP6 / UPMC Sorbonne Université) October 24, 2017

Irreducibility of reciprocal polynomials and applications

Antonio Cafure (UNGS (Universidad National de General Sarmiento, Buenos Aires) September 19, 2017

Quantified Valued Constraint Satisfaction Problems (QVCSP)

Stéphane Secouard (GREYC, Caen) September 12, 2017


Année 2016-2017

Fonctions qui préservent toutes les congruences d’une algèbre

Serge Grigorieff (IRIF, Paris) June 27, 2017

Complexité descriptive et temps linéaire parallèle

Frédéric Olive (LIF, Marseille) June 20, 2017

Quelques travaux en bio informatique

Jérémie Bourdon (LINA, Nantes) June 13, 2017

The Complexity of Quantified Constraints

Barnaby Martin (Middlesex University London) May 23, 2017

Normal numbers and automatic complexity

Alexander Shen (LIRMM, Montpellier) May 16, 2017

Combinatoire, algorithmique et design d'Acides RiboNucléiques structurés

Yann Ponty (LIX, Ecole Polytechnique) May 2, 2017

Vagues de bits (Bit waves)

Vlady Ravelomanana (IRIF, Université Paris Diderot) April 25, 2017

Graphes cubiques et triangulations sur une surface orientable

Wenjie Fang (Team MC2 and AriC at ENS Lyon) April 5, 2017

Termination of higher-order probabilistic programs

Charles Grellois (FOCUS team, Bologna) April 4, 2017

Solvability of Matrix-Exponential Equations

Amaury Pouly (MPI-SWS, Saarbrücken) March 28, 2017

Bornes inférieures pour les branching programs

Florent Capelli (Departement of Computer Science and Information Systems at Birkbeck College, London) March 21, 2017

Motifs dans les treeshelves

Sergey Kirgizov () February 28, 2017

Entropie des pavages mélangeants

Benjamin Hellouin (IRIF, Paris 7) February 7, 2017

Comptons les diagrammes connexes de cordes

Julien Courtiel (LIPN, Paris Nord) January 31, 2017

L'échantillonnage compressé

Jalal Fadili (GREYC, Caen) January 10, 2017

Mesures d'entropie maximale pour les réseaux d'automates

Nicolas Basset (Université Libre de Belgique) January 3, 2017

Periodic oscillations of divide-and-conquer recurrences dividing at half

Hsien-Kuei Hwang (Academia Sinica, Taiwan) December 5, 2016

Nonnegative Matrix Factorization Requires Irrationality

Joël Worell (Oxford) November 22, 2016

On Matrix Powering and Related Problems

Joël Ouaknine (Sarrebruck) November 22, 2016

Synchronisation d’automates aléatoires

Cyril Nicaud (LIGM, Paris Est) November 15, 2016

A Dual to a Classical Graph Homomorphism Theorem of Lovász

Stefan Mengel (CNRS et Université d’Artois) October 18, 2016

Compilation de connaissances pour la logique épistémique S5

Alexandre Niveau (GREYC, Caen) October 11, 2016

Semi-groupes d’automate et semi-groupes automatiques

Mathieu Picantin (IRIF, Paris 7) October 4, 2016

Quelques liens entre les automates trellis et les langages algébriques

Véronique Terrier (GREYC, Caen) September 27, 2016


Année 2015-2016

Decomposing Cubic Graphs into Connected Subgraphs of Size Three

Laurent Bulteau (LIGM, Marne-la-Vallée) June 21, 2016

Synchronisation sur automate cellulaire

Gaétan Richard (GREYC, Caen) May 31, 2016

De bonnes prédictions valent bien quelques comparaisons

Carine Pivoteau (LIGM, Marne-la-Vallée) May 24, 2016

Étude de certains automates cellulaires bruités

Irène Marcovici () May 3, 2016

Fonction de récurrence des mots Sturmiens: une étude probabiliste

Pablo Rotondo (IRIF, Paris et GREYC, Caen) April 26, 2016

Commun avec le groupe de travail "mots et entropie" (LMNO+GREYC)

Thierry Lecroq (LITIS, Rouen) April 19, 2016

Coupes dans les arbres croissants

Antoine Genitrini (LIP6, Paris) March 15, 2016

Fast Fourier Orthogonalization

Thomas Prest (École Normale Supérieure, Thales Communications and Security) March 1, 2016

Calcul des perturbations et évaluation paresseuse

Jerzy Karczmarczuk (GREYC, Caen) February 23, 2016

Suites équilibrées de faible complexité et algorithmes de fractions continues multidimensionnelles

Sébastien Labbé (Université de Liège, Belgique) February 9, 2016

La programmation par contraintes a besoin d’analyse en moyenne

Charlotte Truchet (LINA, Nantes) February 2, 2016

Algorithmic challenges in temporal Web analytics

Marc Spaniol (GREYC, Caen) December 15, 2015

Génération uniforme et évaluation de coût sur des empilements aléatoires

Samy Abbes (Laboratoire PPS, université Paris Diderot) November 24, 2015

Thème «Modèles de calcul et complexité descriptive»

Etienne Grandjean (GREYC, Caen) November 10, 2015

Thème «Protection et au traitement de l’information»

Ali Akhavi (GREYC, Caen) October 20, 2015

Thème «Structures aléatoires et analyse d’algorithmes»

Julien Clément (GREYC, Caen) October 6, 2015


Année 2014-2015

Graphes inhomogènes

Élie de Panafieu (Research Institute for Symbolic Computation (RISC) June 30, 2015

La logique des automates branchants

Nicolas Bedon (LITIS, Rouen) June 2, 2015

Ensembles limites d'automates cellulaires associés à une mesure de probabilité

Martin Delacourt (Center for Mathematical Modeling (CMM) May 26, 2015

Génération de séquences Markoviennes finies sous contraintes

Pierre Roy (SONY CSL, Paris) May 12, 2015

Quelques résultats récents autour de QCSP

Florent Madelaine (GREYC, Caen) May 5, 2015

Restrictions structurales pour le problème #CSP

Johann Brault-Baron (lif, Marseille) April 28, 2015

Approximate planning and verification for large Markov Decision Processes

Richard Lassaigne (IMJ, Paris 7) April 7, 2015

Graphes inhomogènes

Élie de Panafieu (Research Institute for Symbolic Computation (RISC) March 24, 2015

Tuiles de Wang déterministes : (in)décidabilité et reconnaissance

Bastien le Gloannec (LIFO, Orléans) February 24, 2015

#SAT et acyclicité d'hypergraphes

François Capelli (IMJ, Paris Diderot) January 20, 2015

GGHLite: More Efficient Multilinear Maps from Ideal Lattices

Adeline Langlois (LIP, ENS Lyon) December 16, 2014

Analyser en moyenne des protocoles de négociation ?

Bruno Zanuttini (GREYC, Caen) December 2, 2014

Découverte de communautés compactes dans des graphes complexes

Jean Creusefond (GREYC, Caen) November 18, 2014


Année 2013-2014

The complexity of QCSP : when is it in NP?

Florent Madelaine (LIMOS, Université de Clermont-Ferrand) June 24, 2014

Algèbre de Hopf combinatoire et monoïde de type plaxique

Jean-Baptiste Priez (LRI, Paris-Sud) April 22, 2014

Des problèmes difficiles pas si difficiles

Bruno Zanuttini (GREYC, Caen) April 8, 2014

Implementability of real-time distributed systems

Thomas Chatain (LIAFA, Paris 7LSV, ENS Cachan) March 25, 2014

Combien de mémoire ?

Pierre McKenzie (Université de Montréal, actuellement sur chaire Digiteo, LSV/ENS Cachan et LIX/Ecole Polytechnique) February 25, 2014

Cellular automata between sofic tree shifts

Francesca Fiorenzi (LRI, Orsay) February 18, 2014

Quelques généralisations du permanent et du déterminant vues en complexité algébriques

Nicolas de Rugy (Équipe de logique, Paris 7) February 11, 2014

Intervalles communs de deux permutations et généralisations

Ismael Belghiti (ENS, Paris) January 28, 2014

Turing machines seen as dynamical systems

Anahí Gajardo (Universidad de Concepción, Chile) January 21, 2014

Du nouveau sur les parcours de graphe

Michel Habib (LIAFA, Paris) January 14, 2014

Nombre de tables de préfixes et des bords

Laura Giambruno (GREYC, Université de Caen) January 7, 2014

Automatic Verification of Data-Centric Workflows

Victor Vianu (Université San Diego Californie, et LSV, ENS Cachan) December 10, 2013

Lutte contre le webspam

Thomas Largillier (GREYC, Caen) October 29, 2013

Complexité du comptage pour les requêtes conjonctives

Arnaud Durand (ELM IMJ, Université Paris 7) October 8, 2013

Phénomènes de fluctuations en analyse d'algorithmes

Hsien-Kuei Hwang (Academia Sinica, Taiwan) September 3, 2013


Année 2012-2013

50 years of Linear Probing Hashing

Alfredo Viola (Université de Montevideo, Uruguay) June 25, 2013

Des transducteurs bidirectionnels aux transducteurs unidirectionnels

Olivier Gauwin (LaBRI, Bordeaux) June 11, 2013

Fouiller les gros flux avec le hasard

Jérémie Lumbroso (GREYC, Caen) June 4, 2013

Le problème de finitude des semi-groupes d'automates

Pierre Gillibert (LIAFA, Paris) May 28, 2013

Un pont entre les espèce de structures et la combinatoire analytique

Carine Pivoteau (LIGM, Paris-Est) May 21, 2013

Arbres de décision affine pour le comptage de modèles

Jean-Marie Lagniez (CRIL, Université d'Artois) May 14, 2013

Applications d'une preuve algorithmique du Lemme Local de Lovász

Aline Parreau (LIFL, Lille) April 9, 2013

Ensembles limite d'automates cellulaires

Alexis Ballier (CMM, Chile) March 12, 2013

Automates d'arbres et jeux

Olivier Serre (LIAFA, Paris) February 19, 2013

Optimisation de la conception physique des BDD par des techniques de FDD

Benameur Ziani (Université de Laghouat) February 12, 2013

Geometric optimization, Helly numbers, and Nerve theorems

Xavier Goaoc (LORIA, Nancy) February 5, 2013

Mise à jour de réseaux d'automates

Mathilde Noual (LIP, ÉNS Lyon) January 29, 2013

Analyse des arbres digitaux de recherche pour une source générale

Brigitte Vallée (GREYC, Caen) January 8, 2013

Taille de la partie accessible d'un automate aléatoire

Cyril Nicaud (LIGM, Paris-Est) December 4, 2012

Algèbre de Hopf des matrices tassées

Hayat Cheballah (GREYC, Caen) November 20, 2012

Automates cellulaires probabilistes

Damien Regnault (Équipe Opal, Ibisc, Evry-Val-d’Essone) November 13, 2012

Puzzle de Merkle dans le monde quantique

Marc Kaplan (Equipe Information quantique du Département Informatique et réseaux au LTCI (CNRS, Telecom ParisTech) October 9, 2012


Année 2011-2012

Approximation Hardness of Combinatorial Optimization Problems

Janka Chlebikova (University of Portsmouth) June 26, 2012

Recherche des noyaux d'un graphe aléatoire

Jean-Marie Le Bars (GREYC) June 12, 2012

On the Maximum Constraint Satisfaction Problem

Johan Thapper (LIX) June 5, 2012

Épidémies sur des graphes aléatoires avec clustering

Émilie Coupechoux (INRIA-ENS) May 22, 2012

Kadanoff Sand Pile Model : Avalanches and Fixed Points

Kevin Perrot (ENS, Lyon) April 3, 2012

Des algorithmes dans des solutions

Guillaume Bonfante (LORIA, Nancy) March 20, 2012

Classe d'algorithmes et complétude de langages de programmation

Pierre Valarcher (LACL, Paris-Est) March 13, 2012

Opérateurs d'échelle généralisés et une forme normale pour des endomorphismes

Laurent Poinsot (LIPN, Paris Nord) February 28, 2012

Modèles de calcul non initialisés

Emmanuel Jeandel (LIRMM, Montpellier) February 21, 2012

Énumération asymptotique des automates minimaux

Julien David (LIPN, Paris Nord) January 31, 2012

Codes LDPC quantiques

Jean-Pierre Tillich (INRIA Rocquencourt) January 24, 2012

Il est intéressant d'approcher pour vérifier...

Sylvain Peyronnet (LRI, Orsay) January 17, 2012

Algorithmes barycentriques pour le dessin de graphes dans le plan

Éric Fusy (LIX - École Polytechnique) January 3, 2012

Analyse symbolique pour la combinatoire des marches

Alin Bostan (INRIA Rocquencourt-Microsoft Saclay) October 25, 2011

Automates cellulaires : Auto-organisation et ensembles mu-limite

Martin Delacourt (LIF, Marseille) October 18, 2011

Complexité algorithmique et complexité logique

Etienne Grandjean (GREYC) October 4, 2011


Année 2010-2011

An LLL-Reduction Algorithm with Quasi-linear Time Complexity

Damien Stehlé (LIP, Lyon) June 14, 2011

Quelle puissance ont les algorithmes probabilistes polynomiaux ?

Sylvain Perifel (LIAFA, Paris 7) June 7, 2011

Sur la finitude des (semi)-groupes d'automates

Ali Akhavi (GREYC, Caen) May 17, 2011

Indécidabilité, pavages et polyominos

Nicolas Ollinger (LIF, Marseille) April 5, 2011

Processus quantiques et logique linéaire

Jerzy Karczmarczuk () March 29, 2011

Algorithmics of tropical polyhedra, and applications

Xavier Allamigeon (INRIA Saclay) February 22, 2011

Focalisation diffractive transparente pour les très courtes longueurs d'onde

Emmanuel Cagniot (Centre de Recherche sur les Ions, les Matériaux et la Photonique, Caen) February 8, 2011

Helly Property and Satisfiability of Boolean Formulas Defined on Set Families

Miki Hermann (LIX, Ecole polytechnique) February 1, 2011

Formule logiques, jeux et protocoles réseau

Yves Legrandgerard (PPS, Paris 7) January 18, 2011

Algorithmes exacts pour les problèmes NP-difficiles

Ioan Todinca (LIFO - Université d'Orléans) January 11, 2011

Acyclicité des hypergraphes et complexité

David Duris () December 7, 2010

Machines et Nombres de Buffon

Philippe Flajolet (INRIA, Rocquencourt) November 30, 2010

Assemblage et mapping de données NGS, on en est où ? peut-on s’en passer ?

Pierre Peterlongo (IRISA, Rennes) November 23, 2010

Automates cellulaires asynchrones et

Nazim Fatès (LORIA, Nancy) November 9, 2010

Détecter des défaillances dans les réseaux : un jeu de graphes

Eleonora Guerrini (GREYC, Caen) October 26, 2010


Année 2009-2010

Distributional Analysis of the Parking Problem and Robin Hood Linear Probing Hashing with Buckets

Alfredo Viola (GREYC, Caen et Montevideo, Republica oriental del Uruguay) June 22, 2010

Bornes inférieures de complexité sur automates cellulaires

Alex Borello (LIF, Marseille) June 15, 2010

Doeblin's coefficient and occupancy distributions

Manuel Lladser (U. Colorado) June 8, 2010

Interval Sorting

Conrado Martinez (UPC, Barcelone) June 1, 2010

Tries et sources sans mémoire: de l'arithmétique à l'analyse

Mathieu Roux (GREYC et LMNO, Caen) May 25, 2010

Complexité d'une généralisation des CSP quantifiés

Florent Madelaine (LAIC, Clermont-Ferrand) April 6, 2010

Navigation dans le plan : résultats asymptotiques

Jean-François Marckert (LABRI, Bordeaux) March 30, 2010

From Propositional Satisfiability to Quantified Boolean Formula

Saïd Jabbour (INRIA-Microsoft, Saclay) March 16, 2010

Algorithmique des tresses : la forme normale tournante

Jean Fromentin (GREYC) March 9, 2010

Factorisation des entiers N = pq^2 et formes quadratiques

Fabien Laguillaumie (GREYC) February 9, 2010

Expressions booléennes aléatoires et fonctions booléennes

Antoine Genitrini (Versailles) January 26, 2010

Contraintes quantifiées : satisfaction et optimisation

Jérémie Vautard (GREYC) December 15, 2009

Control-based clause sharing in // SAT Solving

Youssef Hamadi (Microsoft Research - Cambridge) December 8, 2009

Complexité des CSP monotones

Florian Richoux (LIX) December 1, 2009

Approches analytiques d'algorithmes exacts pour problèmes difficiles

Vlady Ravelomanana (LIAFA) November 24, 2009

Génération aléatoire sous modèle de Boltzmann

Olivier Bodini (LIP6, Paris) November 3, 2009

Quelques applications des G-graphes

Alain Bretto (GREYC, Caen) October 20, 2009

Codage énumératif et génération aléatoire des fonctions 1-résilientes

Jean-Marie Le Bars (GREYC, Caen) October 13, 2009


Année 2008-2009

Combinatoire énumérative au sujet des animaux dirigés

Yvan Le Borgne (LaBRI, Bordeaux) June 23, 2009

Problèmes liés à la formalisation de l'analogie

Yves Lepage (GREYC) June 9, 2009

The security of all bits using list decoding

Carla Ràfols () May 5, 2009

Automates cellulaires et fractales

Vincent Nesme (Braunschweig, Allemagne) March 31, 2009

Systèmes de particules et collisions dans les automates cellulaires

Gaétan Richard (LIF, Marseille) March 24, 2009

Minorité stochastique sur les graphes

Damien Regnault (LIP, Lyon) March 3, 2009

Problème inverse pour la table des préfixes

Julien Clément (GREYC) February 3, 2009

Hypergraphe et vision par ordinateur

Soufiane Rital (ENST) January 27, 2009

Les GAG (groupes d'automates à groupe)

Ali Akhavi (GREYC) January 20, 2009

Exemples d'analyses en moyenne d'algorithmes issus de la théorie des langages

Cyril Nicaud (Institut Gaspard Monge, Université de Paris Est) January 13, 2009

Le cadre

Gérard Verfaillie (ONERA, Toulouse) December 9, 2008

Nombre de comparaisons entre symboles dans QuickSort et QuickSelect

Brigitte Vallée (GREYC) November 25, 2008

Pavages auto-assemblants et géométrie

Florent Becker (LIP, Lyon) November 4, 2008

Decision-Theoretic Planning for Multi-Agent Systems: The Challenge of Scalability

Shlomo Zilberstein (Université de Massachussetts, Amherst) October 21, 2008

Résolution des CSP quantifiés

Arnaud Lalouet (GREYC) October 14, 2008


Année 2007-2008

Comptage de mots et de paquets de mots dans des textes aléatoires

Pierre Nicodème (LIX, Polytechnique Palaiseau) June 17, 2008

Conditional Constraints and Composite Variables with Preferences

Malek Mouhoub (Université de Régina Canada) June 10, 2008

Efficient algorithms for universal denoising

Alfredo Viola (Montevideo, Uruguay) June 3, 2008

Première analyse des algorithmes rapides du pgcd

Loïck Lhôte (GREYC) May 27, 2008

L'évaluation de performance d'algorithmes de traitement d'images

Christophe Rosenberger (GREYC, Caen) April 8, 2008

Techniques algorithmiques pour l'extraction de formules minimales inconsistantes

Cédric Piette (CRIL - Université d'Artois) March 18, 2008

Automates cellulaires: trace et nilpotence

Pierre Guillon (IGM, Marne-la-Vallée) March 4, 2008

Des algorithmes probabilistes aux algorithmes quantiques (et vice versa)

Frédéric Magniez (LRI, Orsay) February 19, 2008

Signaux et Automates Cellulaires

Jean-Baptiste Yunès (LIAFA) February 12, 2008

Cinquante ans de problèmes de spectre en logique

Malika More (LAIC, Clermont) January 29, 2008

Relaxation de contraintes globales dans le cadre des Weighted CSPs

Jean-Philippe Métivier (GREYC, Caen) January 15, 2008

Densité et complexité des arbres balancés

Nicolas Gast (Laboratoire d'Informatique de Grenoble) December 4, 2007

Le profil des arbres digitaux

Nicolas Broutin (INRIA) November 27, 2007

Temps linéaire et énumération de requêtes à délai constant

Etienne Grandjean (GREYC) November 6, 2007

Approximation polynomiale de fonctions continues et nombres flottants

Sylvain Chevillard (LIP - ENS Lyon) October 23, 2007

Complétions d'intervalles minimales et largeur linéaire (pathwidth) des graphes

Ioan Todinca (LIFO - Université d'Orléans) October 16, 2007


Année 2006-2007

Trapdoor Permutation Polynomials of Z/nZ and Public Key Cryptosystems

Damien Vergnaud (Bonn-Aachen International Center for Information Technology) March 27, 2007

Vérification probabiliste et approximation

Richard Lassaigne (Equipe de Logique Mathématiques/Paris 7) March 13, 2007

Enumération de fonctions booléennes 1-résilientes

Jean-Marie Le Bars (GREYC) March 6, 2007

Autour du graphe du Web

Mohamed Bouklit (Labri) February 27, 2007

Graphes et groupes algébriques

Cerasela Jaulin (GREYC) February 20, 2007

Problèmes Sur-Contraints et Relâchement de Contraintes

Thierry Petit (LINA, Nantes) February 6, 2007

Tatouage de données géographiques

Cyril Bazin (GREYC) January 9, 2007

Les machines abstraites pour langages d'ordre supérieur

Olivier Danvy (Brics, Aarhus, Danemark) December 12, 2006

La sécurité des schémas de tatouage

Teddy Furon (IRISA - projet TEMICS) November 28, 2006

Fast computation of rational solutions to a polynomial systems over a finite field

Guillermo Matera (Universidad de Buenos Aires) November 7, 2006

Statistiques des similarités, application en bioinformatique

Jérémie Bourdon (IRIN (Université de Nantes) October 31, 2006

Spam web

Thomas Lavergne (France Télécom R&D, Lannion) October 17, 2006


Année 2005-2006

Analyse fine de l'algorithme d'Euclide

Loïck Lhôte (GREYC) June 6, 2006

Tatouage de bases de données

Julien Lafaye (CEDRIC, CNAM, Paris) May 16, 2006

Recherche de longues répétitions multiples

Pierre Peterlongo (université de Marne-la-Vallée) April 18, 2006

Approximation polynomiale efficace en machine

Nicolas Brisebarre (LaMUSE, Univ. St-Etienne et Arénaire, LIP, ENS Lyon) March 14, 2006

Heuristiques de base pour le placement de cercles

Hakim Akeb (Laboratoire de Recherche en Informatique d'Amiens) February 21, 2006

Techniques algorithmiques SAT pour la Vérification Formelle

Samuel Dellacherie (AerieLogic) February 14, 2006

Tellegen's transposition principle and its applications

Alin Bostan (INRIA Rocquencourt, Projet Algorithmes) February 7, 2006

Sur la distance minimale des codes LDPC

Jean-Pierre Tillich (NRIA Rocquencourt, projet CODES) January 31, 2006

L'interaction est-elle plus puissante que les algorithmes ?

Anne Nicolle (GREYC) January 17, 2006

Recherches hybrides dans les réseaux de contraintes pondérées

Simon de Givry (INRA Toulouse) January 3, 2006

Dessin de triangulations en utilisant des structures transversales

Éric Fusy (INRIA Rocquencourt, Projet Algo) December 6, 2005

Classification de la complexité des

Philippe Chapdelaine (LACL, Paris 12) November 29, 2005


Année 2004-2005

Survey of recent results in the analysis of Linear Probing Hashing with Buckets

Alfredo Viola (Université de Montevideo, Urugay) July 6, 2005

Fonctions vs Algorithmes vs Programmes

Pierre Valarcher (LIFAR, Université de Rouen) June 14, 2005

Nouveaux et vieux résultats sur l'Hamiltonicité des graphes

Alain Bretto (GREYC, Université de Caen) June 7, 2005

Outils de visualisation dynamique pour l'aide à la mise à point de programmes avec contraintes

Mohammad Ghoniem (emn, Université de Bretagne sud) May 24, 2005

Plans discrets et surfaces plissées : une approche par la combinatoire de mots

Damien Jamet (LIRMM, Univ. Montpellier) May 3, 2005

Utilisation des cyclides de Dupin en modélisation géométrique

Lionel Garnier (LE2I, Université de Dijon) April 12, 2005

Pyramides Combinatoires : Résultats et Propriétés

Luc Brun (GREYC ENSICAEN) April 5, 2005

Autour de l'universalité dans les automates cellulaires

Guillaume Theyssier (LIP, ENS Lyon) March 29, 2005

Le Lièvre Dyadique et la Tortue de Lyapunov

Benoît Daireaux (GREYC, Université de Caen) March 22, 2005

Automates cellulaires : du synchrone l'asynchrone

Nazim Fatès (LIP, ENS Lyon) March 15, 2005

Décompositions en branches et graphes planaires

Frédéric Mazoit (LIP, ENS Lyon) March 1, 2005

Introduction à la détection d'intrusions et ses problématiques

Elvis Tombini (rance Telecom Recherche et Développement) February 22, 2005

Autour de l'algorithme LLL flottant

Damien Stehlé (LORIA, Université Nancy I) February 8, 2005

Calcul dans l'espace et espace dans le calcul

Jean-Louis Giavitto (LAMI, Universit d'Evry) January 25, 2005

Transition brusque pour CSP aleatoires

Hervé Daudé (LATP, Université de Provence) January 18, 2005

Classification des fonctions booléennes pour la corrélation d'ordre 1

Jean-Marie Le Bars (GREYC, Université de Caen) January 11, 2005

Les G-graphes

Luc Gillibert (GREYC, Université de Caen) December 14, 2004

Synthèse musicale et ... programmation fonctionnelle

Jerzy Karczmarczuk (GREYC, Université de Caen) November 30, 2004

Sur la complexité de l'évaluation de requêtes acycliques

Arnaud Durand (LACL, Université de Créteil) November 23, 2004

Comment compter par tirages à pile ou face

Philippe Flajolet (INRIA Rocquencourt, Académie des Sciences, médaillé du CNRS) November 9, 2004

Et Knuth créa l'analyse d'algorithme...

Cyril Banderier (CNRS et LIPN) October 26, 2004


Année 2003-2004

Les automates cellulaires en dimension 2 et leur voisinage

Véronique Terrier (GREYC, Université de Caen) June 8, 2004

Extension de la méthode de Ash pour la logique existentielle du second-ordre

Malika More (LLAIC, Université d'Auvergne) June 1, 2004

Les mots de Lyndon, un point de vue en moyenne

Julien Clément (Université de Marne-la-Vallée) May 4, 2004

Complexité et heuristiques pour le DCMST

Rafael Castro de Andrade (Université de Paris XIII) March 23, 2004

Logique linéaire : une introduction

Patrick Baillot (Université de Paris XIII) March 9, 2004

Métrologie sur les réseaux : enjeux et problèmes intéressants

Kavé Salamatian (LIP 6, Université Paris VI) March 3, 2004

La fourmi de Langton: un système indécidable

Anahí Gajardo (Universidad de Concepción, Chile) February 17, 2004

L'algorithme binaire recursif de calcul de pgcd

Damien Stehlé (INRIA Nancy) January 27, 2004

Logique, hiérarchies dans NP et problèmes NP-complets minimaux

Régis Barbanchon (GREYC) January 20, 2004

Un algorithme de comptage probabiliste

Marianne Durand (Projet Algo, INRIA) December 16, 2003

Combinatoire analytique appliquée à la satisfaisabilité des formules 3-SAT

Vincent Puyhaubert (projet algo, INRIA) December 9, 2003

La conjecture du spectre et la conjecture de Ash, derniers développements

Annie Chateau (LLAIC, Université d'Auvergne) December 2, 2003

Adaptive Sampling for Quickselect

Alfredo Viola (Université de Montevideo, Uruguay) November 18, 2003


Année 2002-2003

Techniques d'extraction et de simplification de formules CNF

Richard Ostrowski (CRIL université d'Artois) June 17, 2003

Deux méthodes pour la détection de répétitions en tandem avec évolution

Richard Groult (LIFAR-ABISS Université de Rouen) June 3, 2003

Reconstructing Propositional Calculus in Database Semantics

Roland Hausser (Universität Erlangen-Nürnberg) April 8, 2003

Tatouage de bases de donnees et de documents XML, tout en preservant des requetes

David Gross-Amblard (équipe Vertigo, laboratoire Cédric CNAM Paris) March 25, 2003

La correction de données XML

Michel de Rougemont () March 17, 2003

Evolution des graphes aléatoires : création des composantes complexes

Anne-Elisabeth Baert (LaRIA, Université de Picardie) March 11, 2003

Génération aléatoire de structures combinatoires par principes de Boltzmann

Philippe Flajolet (INRIA, Rocquencourt) March 4, 2003

Transitions de phase dans les systèmes finis

Francesca Gulminelli () February 18, 2003

Mesure alternative de la complexité d'une fonction booléenne

Jean-Francis Michon (LIFAR) February 11, 2003

Model Checking, abstraction et abstraction probabiliste

Sylvain Peyronnet (LRI, Orsay) January 14, 2003

L'utilisation de recouvrements pour la stéganographie

Fabien Galand (INRIA Rocquencourt et GREYC) December 17, 2002


Année 2001-2002


Année 2000-2001

Un schema d'approximation polynomial pour les instances denses de Min-2SAT

W. Fernandez de la Vega (LRI Orsay) June 26, 2001

La notion d'aleatoire est-elle d'essence informatique ?

Serge Grigorieff (LIAFA, Université Paris 7) June 12, 2001

Aspects combinatoires des graphes sans isomorphisme

Vlady Ravelomanana (Universite d'Amiens) April 24, 2001

Utilisation d'ordres en reecriture : problemes de complexite, et de constructions

Guillaume Bonfante (LORIA, université de Nancy) April 17, 2001

Differentes applications de l'oracle de facteur d'un mot

Thierry Lecroq (Universite de Rouen) April 17, 2001

Approximation dans les bases de données contraintes

David Gross-Amblard () March 20, 2001

Les représentations des fonctions booléennes et leur propriétés cryptographiques

Claude Carlet (GREYC, PARIS VIII et INRIA) March 6, 2001

Visualisation de données : résultats et perspectives

Wilfrid Lefer (Université du littoral - Calais) February 27, 2001

Motifs cachés dans les textes

Brigitte Vallée (GREYC) February 27, 2001

Complexité implicite des calculs, de la théorie à la pratique

Jean-Yves Marion (LORIA, Equipe Calligramme, Univ Nancy) February 20, 2001

La Propagation de Contraintes et la Procedure DPLL pour le Raisonnement Propositionnel

Min Li Chu (LaRIA, Universite de Picardie) February 13, 2001

Systèmes Dynamiques de Contraintes

Patrice Boizumault (Ecole de mines de Nantes) January 30, 2001

Hachage non uniforme: Apparition et taille des composantes geantes

Jean-François Marckert (Universite de Versailles) December 12, 2000

Réductions hamiltoniennes exactes

Régis Barbanchon (GREYC) December 5, 2000

Algorithmique des reseaux

Fabrice Guillemin (France-Telecom R et D, Lannion) November 28, 2000

Arbres Patricia dans le contexte des sources dynamiques

Jérémie Bourdon (GREYC) November 7, 2000

Calcul des adjoints et programmation fonctionnelle

Jerzy Karczmarczuk (GREYC) October 24, 2000


Année 1999-2000

Programmation en Robotique

Dominique Duhaut (Laboratoire de Robotique de Paris) May 16, 2000

Systèmes Dynamiques de Contraintes

Patrice Boizumault (Ecole de mines de Nantes) March 21, 2000

Logique, Complexité et données spatiales

Luc Segoufin (INRIA Rocquencourt) February 15, 2000

Un algorithme lineaire pour le probleme des sous-mots avec fenetre

Irène Guessarian (LIAFA-Paris7 et Universite Paris 6) February 1, 2000

La Geometrie des Nombres en Cryptologie

Phong Nguyen (ENS Ulm) January 18, 2000

Chemins du plan evitant une demi-droite

Mireille Bousquet-Melou (LaBRI, Bordeaux) January 11, 2000

Hachage et identification

Marc Girault (France Telecom) January 4, 2000

Le décodage itératif

Jean-Pierre Tillich (LRI Orsay) December 14, 1999

Cartes, triangulations et polyedres convexes aléatoires

Gilles Schaeffer (LORIA Nancy) December 7, 1999

Autour de la structure de BDD

Philippe Flajolet (INRIA Rocquencourt) November 30, 1999

Topological Queries in Spatial Databases

Victor Vianu () November 23, 1999

Géometrie et fractales

Jacques Levy-Vehel () November 16, 1999

Systèmes Dynamiques et Analyse d'Algorithmes

Brigitte Vallée (GREYC) November 9, 1999

Logique, complexité et temps linéaire

Etienne Grandjean (GREYC) November 2, 1999

Sur la complexité de problèmes usuels de géometrie discrete 2D

Rémy Malgouyres (GREYC) October 26, 1999

Automates à groupes aléatoires

Cyril Nicaud (LIAFA, Jussieu) October 19, 1999


Année 1998-1999

Recherche pratique d'un mot dans un texte

Mathieu Raffinot (Université de Marne-la-Vallée) May 25, 1999

Decidable Verification for Reducible Timed Automata

Danièle Beauquier (Universite Paris XII) May 18, 1999

Statistiques de motifs

Bruno Salvy (Projet ALGO, INRIA Rocquencourt) May 11, 1999

Localisation d'un nombre fini de mots et implementation d'automates

Christophe Hancart (LIFAR, Universite de Rouen) May 4, 1999

Un résultat faux tout de suite ou correct trop tard ?

Vincent Lefebre (LIP, ENS Lyon) March 30, 1999

Les algorithmes de recherche de mot du type Boyer-Moore

Thierry Lecroq (LIFAR, Universite de Rouen) March 23, 1999

Introduction à la theorie algorithmique de l'information

Brigitte Vallée (GREYC) March 2, 1999

Decompositions arborescentes des graphes

Ioan Todinca (LIP, ENS Lyon) February 16, 1999

Sur l'approximation de fonctions totales de NP

Cristina Bazgan (LRI, Orsay) February 9, 1999

Complexite de Kolmogorov a ressources bornees: une introduction

Sophie Laplante (LRI, Universite Paris-Sud) January 12, 1999

Synthèse des objets graphiques et programmation fonctionnelle

Jerzy Karczmarczuk (GREYC) January 5, 1999

Une nouvelle représentation des fonctions booléennes

Claude Carlet (GREYC) December 8, 1998

Presentation du groupe fondamental dans les surfaces discretes

Rémy Malgouyres (GREYC) December 1, 1998

Probleme SAT et phenomenes de seuil

Nadia Creignou (SDAD) November 17, 1998

Lois 0-1 en logique

Jean-Marie Le Bars (GREYC) November 3, 1998

Sur les systèmes de numération à base complexe

Taoufik Safer (LIAFA, Université Paris 7) October 20, 1998

Présentation et analyse d'un test d'irréductibilité absolue des polynômes

Jean-François Ragot (Université Limoges) October 20, 1998