Liste des événements publics pour les groupes


2017-06-16  Calculer l'entropie des pavages mélangeants 076 CÉA 
2017-06-13  negotiations / higher-order 178 MF 
2017-06-09  Enumeration in Thompson's group F 076 CÉA 
2017-05-30  An efficient algorithm to decide the periodicity of b-recognisable sets using MSDF convention 178 MF 
2017-05-23  A linear lower bound for incrementing a space-optimal integer representation in the bit-probe model 178 MF 
2017-05-22  Jointure en Map-Reduce 178 Algo.Dist 
2017-05-16  Proving safety of concurrent programs 178 MF 
2017-05-12  Fonctions zêta sur les graphes 076 CÉA 
2017-05-09  WBTS: the new class of WSTS without WQO. 76 MF 
2017-05-05  Déterminants, empilements et chemins ne se coupant pas (2) 076 CÉA 
2017-05-04  Introduction à la gravité quantique à boucles, par F. Girelli (univ. Waterloo, Canada) Amphi Labri GT quantique 
2017-05-02  INTRODUCTION A L'INFORMATION QUANTIQUE TOPOLOGIQUE, par F. GIRELLI (UNIV. WATERLOO, CANADA) salle 076 GT quantique 
2017-04-28  Déterminants, empilements et chemins ne se coupant pas (1) 076 CÉA 
2017-04-25  On Reversible Transducers 178 MF 
2017-04-10  Robustness in Highly Dynamic Networks 178 Algo.Dist 
2017-04-07  Polynômes chromatiques des graphes et empilements de pièces 076 CÉA 
2017-04-04  Automata theory and game semantics of higher-order computation 178 MF 
2017-04-03  Modelling Distributed Computing Task Computability with Dynamic Epistemic Logic 178 Algo.Dist 
2017-03-31  À petits pas dans le quadrant : algébricité différentielle 178 CÉA 
2017-03-28  Time domain (for time denotational semantics) 178 MF 
2017-03-27  Bamboo Garden Trimming Problem  178 Algo.Dist 
2017-03-21  Learning probability measures 178 MF 
2017-03-20  Self-Stabilizing Disconnected Components Detection and Rooted Shortest-Path Tree Maintenance in Polynomial Steps 178 Algo.Dist 
2017-03-17  Simulation à mémoire finie de lois de probabilités 076 CÉA 
2017-03-14  On the decomposition of finite-valued streaming string transducers 178 MF 
2017-03-13  On the Space Complexity of Conflict Detector Objects and Related Objects 178 Algo.Dist 
2017-03-10  Dénombrement de cartes (5) 076 PÉC 
2017-03-07  Verifying properties of functional programs: from the deterministic to the probabilistic case 178 MF 
2017-03-06  L’agrégation de données dans les graphes dynamiques 178 Algo.Dist 
2017-03-03  Une généralisation d-dimensionnelle des mots de Christoffel 2/2 076 CÉA 
2017-02-28  Digital Currencies 178 MF 
2017-02-27  Stratégies d’assignation basées sur des couplages pour améliorer la localité dans les opérations de type Map/Reduce 178 Algo.Dist 
2017-02-17  Propriétés de quelques fractions continues de Hurwitz 076 CÉA 
2017-02-14  Emptiness of nonzero automata is decidable 178 MF 
2017-02-13  Calculer les plus court chemins, toujours et encore 178 Algo.Dist 
2017-02-10  Dénombrement de cartes (4) 076 PÉC 
2017-02-10  Une généralisation d-dimensionnelle des mots de Christoffel 1/2 076 CÉA 
2017-02-06  Petite école du distribué : Analyse des algorithmes distribués probabilistes 3 178 Algo.Dist 
2017-02-03  Dénombrement de cartes (3) 076 PÉC 
2017-01-30  : Petite école du distribué : Analyse des algorithmes distribués probabilistes 2 178 Algo.Dist 
2017-01-24  Faster algorithms for program analysis 178 MF 
2017-01-23  Petite école du distribué : Analyse des algorithmes distribués probabilistes 1 178 Algo.Dist 
2017-01-13  Dénombrement de cartes (2) 076 PÉC 
2017-01-10  Why liveness for timed automata is hard, and what we can do about it 178 MF 
2017-01-06  Dénombrement de cartes (1) 076 PÉC 
2016-12-16  Indépendance asymptotique de la décomposition en cycles pour des paires de permutations contraintes par une équation de commutateur 076 CÉA 
2016-12-13  Sound negotiations and static analysis 178 MF 
2016-12-08  D-Wave, le début de l'informatique quantique Amphi, LaBRI BioVis 
2016-12-02  Antipode et hypergraphe 076 CÉA 
2016-12-01  Translating LTL to Probabilistic Automata 76 MF 
2016-11-29  Deciding semantic finiteness of first-order grammars w.r.t. bisimulation equivalence 178 MF 
2016-11-25  Comptage de couplages parfaits sans croisements (d'après Ruiz-Vargas et Welzl) 076 CÉA 
2016-11-22  Subword Based Abstractions of Formal Languages 178 MF 
2016-11-21  Le modèle LOCAL et la coloration de graphes (suite et fin) 178 Algo.Dist 
2016-11-18  Une approche unifiante en probabilité non commutative 076 CÉA 
2016-11-15  Systems with Parametric Thread Creation 178 MF 
2016-11-14  Le modèle LOCAL et la coloration de graphes (2/2) 178 Algo.Dist 
2016-11-08  Parameterized verification of networks of many identical processes 178 MF 
2016-11-07  Le modèle LOCAL et la coloration de graphes (1/2) 178 Algo.Dist 
2016-11-04  Les billards polygonaux et les surfaces de translation de type infini 076 CÉA 
2016-10-25  Semantics models for timed programing languages 178 MF 
2016-10-21  Marches aléatoires dans des cônes : exposants critiques. 076 CÉA 
2016-10-18  Humanoid robotics and motion abstractions 178 MF 
2016-10-17  Anonymity-Preserving Failure Detectors 178 Algo.Dist 
2016-10-11  Walking the Boundary Between Tractability and Intractability 178 MF 
2016-10-10  Calcul de chemins dans les réseaux multicouches : une approche par la théorie des langages 178 Algo.Dist 
2016-10-04  Evaluations de requêtes au moyen d'automates programmés (Query evaluations by fly-automata) 178 MF 
2016-10-03  An overview of discharging methods 178 Algo.Dist 
2016-09-30  Algorithmes d'insertion pour les tableaux de dominos décalés 076 CÉA 
2016-09-23  Chemins à grands pas dans le quadrant 076 CÉA 
2016-09-16  ANYONS ET CALCUL QUANTIQUE TOPOLOGIQUE (2ème partie) salle 073 GT quantique 
2016-09-09  Un codage pour les triangulations du tore. 076 CÉA 
2016-09-08  Anyons et calcul quantique topologique salle 076 GT quantique 
2016-07-12  Non commutative booléen algebras 76 MF 
2016-07-08  Simplicial rook graphs: algebraic and combinatorial properties 178 CÉA 
2016-07-08  List star edge coloring of sparse graphs Salle 178 GT-GA 
2016-07-05  Double-exponential and triple-exponential bounds for choosability problems parameterized by treewidth 178 MF 
2016-07-01  Une curiosité sur une permutation opérant sur les sous-ensembles à n éléments de {1, 2, ..., 2n+1}.  076 CÉA 
2016-07-01  Large regular graphs with given valency and second eigenvalue Salle 178 GT-GA 
2016-06-30  Mécanique chromosomique de l’oncogenèse des Leiomyosarcomes 178 BioVis 
2016-06-28  Nesting Depth of Operators in Graph DatabaseQueries: Expressiveness vs. Evaluation Complexity 178 MF 
2016-06-24  Packing Coloring of Undirected and Oriented Generalized Theta Graphs Salle 178 GT-GA 
2016-06-23  Analyse de l'hétérogénéité clonale  BioVis 
2016-06-21  Introduction aux codes correcteurs quantiques (2ème partie) salle 076 GT quantique 
2016-06-20  Gabriel Triangulations and Angle-Monotone Graphs: Local Routing and Recognition 178 Algo.Dist 
2016-06-17  Arbres non-ambigus : nouveaux résultats et généralisation (2/2) 076 CÉA 
2016-06-17  A Distributed Enumeration Algorithm and Applications to All Pairs Shortest Paths, Diameter Salle 178 GT-GA 
2016-06-14  Introduction aux codes correcteurs quantiques salle 064 GT quantique 
2016-06-10  Coloration des arêtes des graphes planaires Salle 178 GT-GA 
2016-06-10  Arbres non-ambigus : nouveaux résultats et généralisation (1/2) 076 CÉA 
2016-06-09  Réseaux multiplexes, sciences sociales et bases de données de graphes: la nécessité plutôt que l’obsession du "big data" 178 BioVis 
2016-06-07  Data Communicating Processes with Unreliable Channels salle 178 MF 
2016-06-03  Sur les orientations bipolaires des cartes 076 CÉA 
2016-05-31  The Complexity of All-switches Strategy Improvement 76 MF 
2016-05-31  Sous-groupes cachés salle 076 GT quantique 
2016-05-30  Randomized Distributed MIS and Colouring Algorithms for Rings with Oriented Edges in O(sqrt{log n}) bit rounds 178 Algo.Dist 
2016-05-27  Collages maximaux d'octaèdres 076 CÉA 
2016-05-24  Quantum theory from rules on information acquisition salle 076 GT quantique 
2016-05-20  Calcul de Grassmann et combinatoire 076 CÉA 
2016-05-19  1-2-3-4: a story about whole genome duplications in fish and other vertebrates 178 BioVis 
2016-05-18  Regular Abstractions of One Counter Languages salle 75 MF 
2016-05-13  Rubik's Cube: One rule to solve them all Salle 178 GT-GA 
2016-05-13  Sur le modèle du tas de sable dans un graphe biparti complet 076 CÉA 
2016-05-10  Deciding Maxmin Reachability in Half-Blind Stochastic Games 76 MF 
2016-05-09  Majority population protocols 178 Algo.Dist 
2016-05-03  Semantic acyclicity of conjunctive queries 76 MF 
2016-05-02  A General Framework for Reusing Proofs of Termination Detection by Refinement-Based Compositions 178 Algo.Dist 
2016-04-28  Patterns en biodiversité et formes de nuages de points 178 BioVis 
2016-04-26  L'algorithme de Shor pour la factorisation des entiers, 2ème partie salle 64 GT quantique 
2016-04-25  A Faster Counting Protocol for Anonymous Dynamic Networks 178 Algo.Dist 
2016-04-19  Reachability in Two-Dimensional Unary Vector Addition Systems with States is NL-Complete 76 MF 
2016-04-14  Prefrontal cortex model for language acquisition as abstract sequence learning applied to human robot interaction, and some canary songs ... 178 BioVis 
2016-04-14  The Logic of Counting Query Answers: A Study via Existential Positive Queries Salle 76 MF 
2016-04-12  One Hierarchy Spawns Another: Graph Deconstructions and the Complexity Classification of Conjunctive Queries 76 MF 
2016-04-11  Jeux sur les graphes 178 Algo.Dist 
2016-04-08  Four ways to introduce strong edge-coloring  Salle 178 GT-GA 
2016-04-08  New proof of Seymour's theorem Salle 178 GT-GA 
2016-04-05  L'algorithme de Shor pour la factorisation des entiers salle 64 GT quantique 
2016-04-05  Towards an algebraic theory of rational word functions 76 MF 
2016-04-04  Le point de vue ... II 178 Algo.Dist 
2016-04-01  Treillis de relations binaires 076 CÉA 
2016-03-31  Résumer le Negative-Skycube pour optimiser les requêtes skyline multidimensionnelles 178 BioVis 
2016-03-29  Programmation réactive par tuilage 76 MF 
2016-03-22  For graphs of bounded tree width, recognisability equals definability in MSO. 75 MF 
2016-03-21  Deterministic Leader Election in O(D+log n) Rounds with Messages of size O(1) 178 Algo.Dist 
2016-03-18  Homomorphismes localement injectifs sur les tournois Salle 178 GT-GA 
2016-03-18  Préserver le nombre de cycles de longueur k dans une permutation uniforme de taille croissante 076 CÉA 
2016-03-15  LES CIRCUITS QUANTIQUES (2ème partie)  salle 076 GT quantique 
2016-03-14  Time and Homonyms Considerations over Community Protocols 178 Algo.Dist 
2016-03-08  The Complexity of Coverability in nu-Petri Nets 76 MF 
2016-03-07  Time vs. Information Tradeoffs for Leader Election in Anonymous Trees 178 Algo.Dist 
2016-03-04  Uniformisation de l'aléa en dynamique symbolique 076 CÉA 
2016-03-04  The coloring problem in graphs with structural restrictions Salle 178 GT-GA 
2016-03-03  Le soft computing pour la biométrie 178 BioVis 
2016-03-01  Reasoning about distributed systems: WYSIWYG 76 MF 
2016-03-01  Les circuits quantiques salle 076 GT quantique 
2016-02-29  Le point de vue  178 Algo.Dist 
2016-02-19  Réalisation des associaèdres de graphes par des éventails de compatibilité 076 CÉA 
2016-02-19  Vertex ranking of a graph Salle 178 GT-GA 
2016-02-18  Exploration interactive et visuelle de larges collections d'images 178 BioVis 
2016-02-16  Cryptographie quantique 076 GT quantique 
2016-02-16  Sensing cost for automata and synthesis 76 MF 
2016-02-15  k-Set Agreement with n ? k + 1 Atomic Read/Write Registers 178 Algo.Dist 
2016-02-12  1-2(-3) conjecture équilibrée Salle 178 GT-GA 
2016-02-12  The shifted domino tableaux 076 CÉA 
2016-02-11  Stevia rebaudiana : Etude de la diversité génétique et phénotypique. Premières contributions à son amélioration génétique en vue d’une adaptation à l’agriculture biologique en France. 178 BioVis 
2016-02-09  A Generalised Twinning Property for Minimisation of Cost Register Automata. 76 MF 
2016-02-08  Impact de la réplication pour les bases de données distribuées 178 Algo.Dist 
2016-02-05  Résultats récents sur les jeux de coloration Salle 178 GT-GA 
2016-02-05  The Schutzenberger involution over Dyck paths 076 CÉA 
2016-02-04  Les mécanismes épigénétiques chez les végétaux ou la mémoire des plantes : Le cas du mûrissement des fruits de tomate 178 BioVis 
2016-02-02  Ordinateur quantique de D-wave 076 GT quantique 
2016-02-02  A Class of Zielonka Automata with a Decidable Controller Synthesis Problem 76 MF 
2016-02-01  Incentives in distributed systems 178 Algo.Dist 
2016-01-29  Courte classification de quelques jeux combinatoires Salle 178 GT-GA 
2016-01-28  Importance de la conformation de l’ADN dans la régulation de l’expression génique LaBRI, salle 178 BioVis 
2016-01-25  Pré-calcul distribué pour la visualisation interactive de densité pour de grands nuages de points 178 Algo.Dist 
2016-01-22  Sur un modèle du graphe aléatoire inhomogène 076 CÉA 
2016-01-22  Roots of the chromatic polynomial, spanning trees and minors Salle 178 GT-GA 
2016-01-18  The read/write protocol complex is collapsible 178 Algo.Dist 
2016-01-15  Coloration aléatoire de graphes peu denses Salle 178 GT-GA 
2016-01-12  The language complexity of solutions of equations in free semigroups and free groups 76 MF