Liste des événements publics pour les groupes


2018-07-14  (REPORTÉ) 076 CÉA 
2018-07-14  (ANNULÉ) 076 CÉA 
2018-07-14  (REPORTÉ)  076 CÉA 
2018-07-14  (REPORTÉ)  076 CÉA 
2018-03-09  Un corps à un nombre négatif d’éléments est-il possible ? 076 CÉA 
2018-02-27  TBA 178 MF 
2018-02-13  TBA 178 MF 
2018-02-12  Distributed Recoloring: the addition of colors 178 Algo.Dist 
2018-02-06  TBA 178 MF 
2018-02-02  .../... 076 CÉA 
2018-01-30  Animation 3D et produit semi-direct 178 MF 
2018-01-26  Fractales de Rauzy et substitutions d'arbre (2/2) 076 CÉA 
2018-01-23  Pumping lemmas for weighted automata 178 MF 
2018-01-22  On the simplification of temporal cliques 178 Algo.Dist 
2018-01-19  Utilisation des petites solutions dans les systèmes à compteurs. 076 CÉA 
2018-01-15  The Firing Squad Problem Revisited 178 Algo.Dist 
2018-01-12  Fractales de Rauzy et substitutions d'arbre (1/2) 076 CÉA 
2018-01-09  Simulabilité à mémoire finie de lois de probabilités continues 178 MF 
2017-12-22  A bijection for essentially 4-connected toroidal triangulations 076 CÉA 
2017-12-15  Une extension des triangles de Pascal et de Sierpinski aux mots finis 076 CÉA 
2017-12-12  La coloration de graphe dans le modèle LOCAL - Partie II 178 MF 
2017-12-11  Présentation de l'activité du thème  178 Algo.Dist 
2017-12-08  Automates cellulaires probabilistes à mémoire deux : une riche zoologie 076 CÉA 
2017-12-08  Analogues discrets des intégrales de Macdonald-Mehta. 076 CÉA 
2017-12-05  La coloration de graphe dans le modèle LOCAL - Partie I 178 MF 
2017-12-04  Error-sensitive proof-labeling schemes 178 Algo.Dist 
2017-12-01  Processus de Fibonacci sur Z résistants à la localisation 076 CÉA 
2017-11-28  Succinct progress measures and solving parity games in quasi-polynomial time 178 MF 
2017-11-24  Simulation à mémoire finie de lois de probabilités continues 076 CÉA 
2017-11-21  Model Checking: the Interval Way 178 MF 
2017-11-20  Proving lower bounds in the LOCAL model 178 Algo.Dist 
2017-11-14  Reunion d'equipe MF 178 MF 
2017-11-13  Model Equivalences through Simulations 178 Algo.Dist 
2017-11-10  Dissections du carré avec des triangles de surfaces presque égales 076 CÉA 
2017-11-10  Recherche exhaustive des pentagones convexes pavant le plan. 076 CÉA 
2017-11-07  Formal methods for capturing dynamics of biological networks 178 MF 
2017-11-06  Fast Asymptotic and Approximate Consensus in Highly Dynamic Networks 178 Algo.Dist 
2017-10-31  Rewriting Higher-order Stack Trees 178 MF 
2017-10-27  Cribles, de la théorie des nombres aux polygones auto-évitants. 076 CÉA 
2017-10-24  Constructive completeness for the linear-time mu-calculus 178 MF 
2017-10-20  Théorèmes arithmétiques démontrés par Théorie des Langages. 076 CÉA 
2017-10-19  Finding a gene tree in a phylogenetic network salle 178, LaBRI BioVis 
2017-10-17  Timed domains: an appetizer 178 MF 
2017-10-13  When are right-angled Artin groups similar? 076 CÉA 
2017-10-10  The complexity of graph query languages 178 MF 
2017-10-09  Relationships between various communication models of shared memory paradigm for fault-tolerant distributed computing 178 Algo.Dist 
2017-10-06  Motzkin tunnel polynomials 076 CÉA 
2017-10-06  Calcul du nombre géométrique d'intersection d'une courbe 076 CÉA 
2017-10-03  présentation de nouvelle gamme de matériels Dell 076 eqsys 
2017-10-03  Proof complexity of constraint satisfaction problems 178 MF 
2017-10-02  --- information sur le changement des outils de gestion des listes de diffusion --- --- CÉA 
2017-09-29  Les maules (2e partie) : m-Tamari et au delà Tamari(v) 076 CÉA 
2017-09-26  Which classes of origin graph are generated by transducers? 178 MF 
2017-09-25  Message-Passing Algorithms for the Verification of Distributed Protocols 178 Algo.Dist 
2017-09-22  Les maules (1re partie) : Young, pavages et Tamari dans le même panier 076 CÉA 
2017-07-21  Autour des méandres 076 CÉA 
2017-07-06  Récurrence Topologique à blobs et cartes farcies 050 (amphithéâtre du LaBRI) CÉA 
2017-07-04  SAT-based Bounded Model Checking for 3-Valued Abstractions - Part II 178 MF 
2017-06-30  Un nouveau lien entre l’algèbre de descentes du groupe hyperoctaèdral, les tableaux de dominos et les fonctions quasisymétriques de Chow. 076 CÉA 
2017-06-27  SAT-based Bounded Model Checking for 3-Valued Abstractions 178 MF 
2017-06-26  Exploration de graphes par des robots amnésiques 178 Algo.Dist 
2017-06-19  Jointure en Map-Reduce 178 Algo.Dist 
2017-06-16  Calculer l'entropie des pavages mélangeants 076 CÉA 
2017-06-13  Axiomatizations for downward XPath on Data Trees 178 MF 
2017-06-13  Orientation de graphes dans un environnement asynchrone et avec pannes 178 Algo.Dist 
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-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  Une généralisation d-dimensionnelle des mots de Christoffel 1/2 076 CÉA 
2017-02-10  Dénombrement de cartes (4) 076 PÉC 
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-12  .../... 076 CÉA 
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