Liste des événements publics pour les groupes


2019-06-25  TBA 178 MF 
2019-06-18  TBA 178 MF 
2019-05-21  TBA 178 MF 
2019-05-14  Joanna Ochremiak 178 MF 
2019-05-07  TBA 178 MF 
2019-04-30  TBA 178 MF 
2019-04-16  Uri Zwick 178 MF 
2019-04-09  Selection, Divergence, and Dichotomy 178 MF 
2019-04-02  Sarah Winter 178 MF 
2019-03-26  Reachability for Two-Counter Machines with One Test and One Reset 178 MF 
2019-03-19  A theory of assertions for Dolev-Yao models 178 MF 
2019-03-12  The complexity of mean payoff games using universal graphs 178 MF 
2019-03-05  Betweenness in order-theoretical trees 178 MF 
2019-02-12  Logic and random graphs 178 MF 
2019-02-05  The power of programs over monoids taken from some small varieties of finite monoids 178 MF 
2019-01-29  Ontology-Mediated Query Answering with OWL 2 QL Ontologies: Combined Complexity and Succinctness of Rewritings 178 MF 
2019-01-22  On the Boundedness Problem for Higher-Order Pushdown Vector Addition Systems 178 MF 
2019-01-15  Beyond admissibility: Dominance between chains of strategies 178 MF 
2019-01-08  Unambiguous Register Automata 178 MF 
2018-12-18  Reasoning over Existential Rules with Acyclicity Notions 178 MF 
2018-12-11  When are Emptiness and Containment Decidable for Probabilistic Automata? 178 MF 
2018-12-04  Data generation for programme synthesis 178 MF 
2018-11-20  Optimal bounds for single-source Kolmogorov extractors 178 MF 
2018-11-13  Complexity bounds for bisimulation equivalence in first-order grammars 178 MF 
2018-11-06  The Reachability Problem for Petri Nets is Not Elementary 178 MF 
2018-10-23  Foundations of Complex Event Processing 178 MF 
2018-10-09  It Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with "Happened Before" 178 MF 
2018-10-08  The mutual exclusion problem: new twists on an old tale 178 Algo.Dist 
2018-10-02  Languages over countable linear orderings 178 MF 
2018-10-01  Algebraic structures related to loop equations 076 CÉA 
2018-09-25  Closure properties of synchronized relations 178 MF 
2018-09-17  Motifs d'arbres, opérades et dénombrement 076 CÉA 
2018-07-09  Combinatorics of joint moments of marginals of random density matrices 076 CÉA 
2018-07-05  Combinatorial hypermaps in 2 and 3 dimensions and subgroup growth 076 CÉA 
2018-07-03  Ontology-mediated query answering for expressive description logics, or yet another family of (potentially) decidable fragments of first-order logic 178 MF 
2018-06-29  Invariant measures of discrete interacting particle systems: algebraic aspects. 076 CÉA 
2018-06-26  On Jeandel-Rao aperiodic tilings 178 MF 
2018-06-25  Multihop Byzantine Reliable Broadcast 178 Algo.Dist 
2018-06-22  Periodic Pólya urns and an application to Young tableaux 076 CÉA 
2018-06-19  Semi-deterministic automata: How to obtain and complement them 178 MF 
2018-06-12  Undecidability of MSO+“ultimately periodic” 178 MF 
2018-06-05  A pseudo-quasi-polynomial algorithm for mean-payoff parity games 178 MF 
2018-06-01  Un nouveau regard sur la correspondance RSK et le jeu de taquin 076 CÉA 
2018-05-25  Combinatorics of the ASEP on a ring 076 CÉA 
2018-05-22  Verification of Asynchronous Programs with Nested Locks 178 MF 
2018-05-15  Modelling replicated data stores with multiple correctness levels 178 MF 
2018-05-14  Distributed Spanning Tree Computation, Distributed Topology Computation and... Coverings 178 Algo.Dist 
2018-04-27  Marches à une dimension non déterministes 076 CÉA 
2018-04-24  The isomorphism problem for virtually free group 178 MF 
2018-04-23  Whac-A-Mole: Smart node positioning in clone attack in wireless sensor networks  178 Algo.Dist 
2018-04-17  Arithmetic circuits as automata, and applications 178 MF 
2018-04-10  The State Complexity of Alternating Automata 178 MF 
2018-04-09  (Méta)-noyaux constructifs et linéaires dans les graphes peu denses  178 Algo.Dist 
2018-04-06  Densité d'un cluster de la soupe de boucles critique 076 CÉA 
2018-04-06  Un groupe diédral opérant sur les mots de Dyck. 076 CÉA 
2018-04-03  On Rotating Q-Automata 178 MF 
2018-03-30  Combinatoire additive et Combinatorial Nullstellensatz 076 CÉA 
2018-03-27  Limitations of treewidth for problems beyond NP. 178 MF 
2018-03-26  Distributed coloring in sparse graphs with fewer colors 178 Algo.Dist 
2018-03-20  Asymptotic Bounds on Termination Time in VASS 178 MF 
2018-03-19  Simple Consensus Protocols  178 Algo.Dist 
2018-03-13  Polynomial Vector Addition Systems With States 178 MF 
2018-03-09  Automate reconnaissant dans le modèle du tas de sable les configurations récurrentes gauches sur une bande de hauteur H.  076 CÉA 
2018-03-09  Un corps à un nombre négatif d’éléments est-il possible ? 076 CÉA 
2018-03-06  The hydra and the rooster 178 MF 
2018-03-05  PADEC: A Framework for Certified Self-Stabilization 178 Algo.Dist 
2018-02-27  Resynchronizing Classes of Word Relations 178 MF 
2018-02-16  Parallelogram Polyominoes and the Delta Conjecture 076 CÉA 
2018-02-13  Complementing the languages of unambigous automata 178 MF 
2018-02-12  Distributed Recoloring: the addition of colors 178 Algo.Dist 
2018-02-09  Asymptotic Enumeration of Compacted Binary Trees with Height Restrictions 076 CÉA 
2018-02-05  Refinement-Based Composition for Computing Snapshots in Distributed Anonymous Networks  178 Algo.Dist 
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-22  On the simplification of temporal cliques 178 Algo.Dist 
2018-01-15  The Firing Squad Problem Revisited 178 Algo.Dist