Année 2024-2025


Année 2023-2024

 StarMalloc : un allocateur de mémoire moderne renforcé formellement vérifié

Antonin Reitz (Équipe Prosecco, INRIA Paris)
July 2, 2024

 Sous-shifts au langage stable

Samuel Petite (LAMFA, Univ. Picardie)
June 18, 2024

 Génération aléatoire des graphes de Git

Julien Courtiel (GREYC, Caen)
June 11, 2024

 Turing machine dynamics and the SMART machine

Anahí Gajardo (Univ. Conception, Chili)
June 4, 2024

 Computability of extender sets in multidimensional subshifts

Léo Paviet Salomon (GREYC, Caen)
May 21, 2024

 History-deterministic and explorable automata

Denis Kuperberg (LIP, ENS Lyon)
May 14, 2024

 Synthesis for fragments of first-order logic on data words

Julien Grange (LACL, Univ. Paris-Est Créteil)
May 7, 2024

 Domination in subcubic graphs: swapping numbers

Paul Dorbec (GREYC, Caen)
April 16, 2024

 Développement asymptotique complet pour les systèmes algébriques et au-delà

Olivier Bodini (LIPN, Univ. Paris-Nord)
April 9, 2024

 How to rotate digital images without losing information?

Yukiko Kenmochi (GREYC, Caen)
April 2, 2024

 Hardness of the Decoding Problem and its Applications in Post-Quantum Cryptography

Maxime Bombar (CWI, Amsterdam, Pays-Pas)
March 26, 2024

 Discussion autour du Générateur Sac à dos

Florette Martinez (ENS Ulm)
March 19, 2024

 A propos du calcul de la D-base des systèmes de fermeture finis

Simon Vilmin (LIS, Univ. Marseille)
February 6, 2024

 Some new proofs of Shepherdson's theorem

Géraud Sénizergues (LaBRI, Univ. Bordeaux)
January 30, 2024

 Untangling Graphs on Surfaces

Loïc Dubois (LIGM, Univ. G.Eiffel)
January 23, 2024

 Learning Linear Temporal Logic

Nathanaël Fijalkow (CNRS, LaBRI, Univ. Bordeaux)
January 16, 2024

 State complexity: Inverting a language reduces the complexity of the root operation

Alexandre Durand (LITIS, Univ. Rouen)
January 9, 2024

 Approximate Cartesian tree matching

Bastien Auvray (LITIS, Univ. Rouen)
December 19, 2023

 Percolation Bootstrap (ou d'amorçage) sur les pavages de Penrose

Victor Luftalla (I2M, Univ. Marseille)
December 5, 2023

 Tough graphs and Hamiltonian degree conditions

Cléophée Robin (GREYC, Caen)
November 28, 2023

 Bornes Inférieures et Séparations pour la Compilation de Connaissances Bottom-Up

Alexis de Colnet (CRIL, Univ. Lens)
November 14, 2023

 FHE & AI: a Concrete Use-Case

Bastien Vialla (Orange Labs, Caen)
November 7, 2023

 Une extension probabiliste de la suite d'Oldenburger-Kolakoski

Irène Marcovici (LITIS, Univ. Rouen)
October 17, 2023

 Ten asymptotic expansions for the Stirling numbers of the second kind

Hsien-Kuei Hwang (Academia Sinica, Taipei, Taiwan)
September 26, 2023

 FHE Circuit Privacy for Free

Ana Maria Costache (NTNU, Trondheim, Norvège)
September 12, 2023


Année 2022-2023

 Walking On a Line: détection de marches S-adiques dans les ω-automates

Pierre Béaur (LISN, Université Paris-Saclay)
May 30, 2023

 Multicolor bipartite Ramsey numbers for paths, cycles, and stripes

Mostafa Gholami (GREYC, Caen)
May 23, 2023

 Le problème du domino sur les pavages par losanges

Victor Lutfalla (GREYC, Caen)
May 16, 2023

 Memory-Optimization for Self-Stabilizing Distributed Algorithms

Gabriel Le Bouder (LIP6, Sorbonne Univ.)
April 5, 2023

 Two-player boundedness counter games

Edwin Hamel (Univ. libre Bruxelles, Belgique)
April 4, 2023

 Classes de transitivité pour les sous-décalages de type fini multi-dimensionnels

Silvère Gangloff (Univ. AGH, Cracovie, Pologne)
March 28, 2023

 Combinatorics of the lambda-calculus and maps: bijections and limit properties

Alexandros Singh (LIPN, Univ. Paris Nord)
March 20, 2023

 Sum of digits, pseudorandomness and measures of complexity

Pierre Popoli (LORIA, Univ. de Lorraine)
March 20, 2023

 Complexité des jeux positionnels (Complexity of positionnal games)

Valentin Gledel (Univ. Umea, Suède)
March 6, 2023

 Algorithmes pour la Dimension Métrique dans les graphes dirigés

Antoine Dailly (LIMOS, Univ. Clermont-Ferrand)
February 28, 2023

 Arithmetical Complexity of the Language of Generic Limit Sets of Cellular Automata

Solène Esnay (IMT, Univ. Toulouse 3)
January 24, 2023

 Recherche d'éléments courts dans les réseaux idéaux

Andrea Lesavourey (IRISA, Rennes)
January 10, 2023

 Étude de propriété des automates cellulaires en utilisant les bases de Groebner

Théo Grente (France Energies Marines, Caen)
January 3, 2023

 Introduction to lattice based cryptography

Adeline Roux-Langlois (GREYC, Caen)
November 29, 2022

 Densité des empilements de sphères : des pièces de monnaie aux oranges

Daria Pchelina (LIPN, Univ. Paris 13)
November 22, 2022

 A curious identity in connection with saddle-point method and Stirling’s formula

Hsien-Kuei Hwang (LIPN, Univ. Paris 13)
November 14, 2022

 Variations autour du modèle des VLMC (= Variable Length Markov Chains)

Brigitte Vallée (GREYC, Caen)
October 18, 2022

 Vers la Difficulté de « Module Learning With Errors » avec Distributions Courtes

Corentin Jeudy (Orange Labs, Rennes)
October 12, 2022

 Les pavages de Penrose par losanges

Victor Luftalla (GREYC, Université de Caen)
September 27, 2022


Année 2021-2022

 Les règles de vote multi gagnants : Une proximité axiomatique est-elle liée à des résultats similaires ?

Marin Gohard (lab. CREM, Centre de Recherche en Economie et Management, Univ. Caen)
June 14, 2022

 Problème du domino apériodique en (presque) toutes dimensions

Antonin Callard (ENS Paris-Saclay et Univ. Turku, Finlande)
June 7, 2022

 Hard cutting problems on embedded graphs

Arnaud de Mesmay (lab. IGM, Univ. G. Eiffel, Marne la Vallée)
May 31, 2022

 Les graphes série-parallèles scrutés à travers des trous

Ionona Ranaivoson (GREYC, Université de Caen)
April 26, 2022

 Fast-growing functions in Computability Theory

Ludovic Patey (équipe de Logique de l'IMJ, Paris Rive Gauche)
April 5, 2022

 Stéréotypes de genre

Brigitte Vallée (GREYC, Caen)
March 15, 2022

 Séries génératrices et preuves d'intrinsèque ambiguïté

Florent Koechlin (IRIF, Paris)
March 8, 2022

 Complexité des CSP quantifiés

Florent Madelaine (LACL, Univ. Paris-Est Créteil)
February 22, 2022

 Digital convexity preserving pixelwise deformation

Yukiko Kenmochi (GREYC, Caen)
February 8, 2022

 Investigating potential dichotomies above Feder and Vardi's logic MMSNP

Alexey Barsukov (LIMOS, Clermont-Ferrand et LACL, Univ. Paris-Est Créteil)
February 1, 2022

 Analyse théorique de git bisect

Romain Lecoq (GREYC, Caen)
January 25, 2022

 Amortissement géométrique du délai

Yann Strozecki (DAVID à l'Université de Versailles Saint-Quentin)
January 18, 2022

 Nombres surréels, intégration et perspectives pour le calcul

Quentin Guilmant (LIX, Ecole Polytechnique)
January 11, 2022

 Calcul de la «betweenness centrality» dans les flots de liens

Clémence Magnien (LIP6, Sorbonne Univ.)
December 14, 2021

 Algorithmes de partitionnement par comparaison de paires

Élie de Panafieu (Nokia Bell labs, Paris Saclay)
December 7, 2021

 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 Paviet 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)
April 25, 2021

 Entropies et entropies de surfaces des sous-shifts 2D

Antonin Callard (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

Sébastien Canard (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

Serghei Verlan (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

Florent 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