| 2013-06-27 |  |
Static analysis of programs manipulating arrays | 076 | MV |
| 2013-06-14 |  |
Partitions non croisées et complexes simpliciaux | 076 | CÉA |
| 2013-06-06 |  |
On the Context-freeness Problem for Vector Addition Systems | 076 | MV |
| 2013-05-30 |  |
Exact algorithms for stochastic games and real algebraic geometry | 076 | MV |
| 2013-05-24 |  |
Une fraction continue géométrique | 076 | CÉA |
| 2013-05-17 |  |
Algorithmes probabilistes pour la fouille quantitative de très grandes masses de données | 076 | CÉA |
| 2013-05-16 |  |
Path Analysis in OTAWA Framework | 076 | MV |
| 2013-05-13 |  |
Calcul Distribué et Fouille de Données | salle 178 | Algo.Dist |
| 2013-04-30 |  |
LALBLC: a program testing the equivalence of dpda's | Salle 076 | GL |
| 2013-04-25 |  |
discussion avec auriane | salle 64 | eqsys |
| 2013-04-25 |  |
Le Cloud Privé Mabiovis | 178 | BioVis |
| 2013-04-25 |  |
Automatic security proof of cryptographic primitives: public encryption, symmetric encryption modes, MAC | 076 | MV |
| 2013-04-25 |  |
[Sem-LaBRI] Tour d'horizon de divers problèmes d'optimisation dans les réseaux | Amphi du LaBRI | Séminaire du LaBRI |
| 2013-04-22 |  |
A peer-to-peer-based virtual environment system | Salle 178 | Algo.Dist |
| 2013-04-19 |  |
Applications of an algorithmic proof of Lovasz Local Lemma | Salle 178 | GT-GA |
| 2013-04-19 |  |
Un pont entre les espèce de structures et la combinatoire analytique (2/2) | 076 | CÉA |
| 2013-04-18 |  |
Contributions à la gestion et à la fouille de données spatiotemporelles floues | 178 | BioVis |
| 2013-04-15 |  |
Algorithms for the Vertex Cover Problem on Large Graphs with Low Memory Capacities | Salle 178 | Algo.Dist |
| 2013-04-12 |  |
Wilf-équivalences dérivées d'une bijection entre Av(231) et Av(132) | 076 | CÉA |
| 2013-04-11 |  |
Static Analysis for Optimizing the Update of Large Temporal XML | 178 | BioVis |
| 2013-04-11 |  |
[Sem-LaBRI] Intégrer la reconnaissance des expressions figées dans des analyseurs linguistiques | Amphi du LaBRI | Séminaire du LaBRI |
| 2013-04-08 |  |
Implémentation d'algorithmes distribués à l'aide de Visidia | Salle 178 | Algo.Dist |
| 2013-04-05 |  |
From edge-colouring to strong edge-colouring | Salle 178 | GT-GA |
| 2013-04-05 |  |
une version dimensionnelle du théorème de Vosper | Salle 178 | GT-GA |
| 2013-04-05 |  |
Éléments « totalement commutatifs » et chemins du plan | 076 | CÉA |
| 2013-04-04 |  |
The Insight binary analysis framework | 076 | MV |
| 2013-04-04 |  |
[Sem-LaBRI] La tuile : vers un modèle pour la programmation structurée de l’espace et du temps | Amphi du LaBRI | Séminaire du LaBRI |
| 2013-04-04 |  |
Organisation des gènes le long des génomes : programmation linéaire et statistiques | 178 | BioVis |
| 2013-03-29 |  |
The complexity of signed graph homomorphisms. | Salle 178 | GT-GA |
| 2013-03-29 |  |
Tri de permutations par plusieurs piles et miroirs, et Wilf-équivalences associées | 178 | CÉA |
| 2013-03-28 |  |
Cost-optimal factored planning using weighted automata calculus | 076 | MV |
| 2013-03-26 |  |
Algebras, automata and logic for languages of labeled birooted trees | Salle 076 | GL |
| 2013-03-25 |  |
Simultaneous Consensus vs Set Agreement | Salle 178 | Algo.Dist |
| 2013-03-22 |  |
Coloration localement irrégulière des arêtes d’un graphe | Salle 178 | GT-GA |
| 2013-03-21 |  |
[Sem-LaBRI] Propriétés combinatoires et de robustesse de modèles discrets de réseaux biologiques | Amphi du LaBRI | Séminaire du LaBRI |
| 2013-03-21 |  |
RENCONTRE P UNG | SALLE 1278 | INOLIA - CUB |
| 2013-03-19 |  |
A Formal Analysis in Coq of a Handshake Randomised Distributed Algorithm | Salle 178 | GL |
| 2013-03-18 |  |
Vers une classification des réseaux dynamiques en fonction des problèmes qu'on peut y résoudre. | salle 178 | Algo.Dist |
| 2013-03-14 |  |
[Sem-LaBRI et GT MABioVis] Measuring truth in visualizations | salle 178 | Séminaire du LaBRI |
| 2013-03-08 |  |
Un pont entre les espèce de structures et la combinatoire analytique (1/2) | 076 | CÉA |
| 2013-03-07 |  |
[Sem-LaBRI] Next Generation Radiotherapies | Amphi du LaBRI | Séminaire du LaBRI |
| 2013-03-07 |  |
A semi-decidable approach for determining language inclusion for timed automata | 076 | MV |
| 2013-03-05 |  |
Deterministic regular expressions | Salle 076 | GL |
| 2013-03-01 |  |
Évacuation et promotion | 076 | CÉA |
| 2013-02-26 |  |
The expressivity of Separation Logic : a survey | Salle 76 | GL |
| 2013-02-25 |  |
Sur les 1001 modèles en algorithmique distribuée | salle 178 | Algo.Dist |
| 2013-02-22 |  |
Coefficients de structure de l’algèbre de Hecke de la paire (S2n, Bn) | 076 | CÉA |
| 2013-02-21 |  |
[Sem-LaBRI] Towards a new era of SAT Solvers | Amphi du LaBRI | Séminaire du LaBRI |
| 2013-02-21 |  |
Equivalence Checking of Pushdown Automata and One-Counter Automata | 076 | MV |
| 2013-02-19 |  |
From Two-Way to One-Way Finite State Transducers | Salle 076 | GL |
| 2013-02-18 |  |
Distributed Calculation of Graph Diameter | Salle 178 | Algo.Dist |
| 2013-02-15 |  |
3-Colourable Circulant Graphs | Salle 178 | GT-GA |
| 2013-02-11 |  |
Bounds for Communication in Wireless Grids | Salle 178 | Algo.Dist |
| 2013-02-08 |  |
Méthode de compression d'entropie et applications aux problèmes de coloration de graphes | Salle 178 | GT-GA |
| 2013-02-08 |  |
Lattice paths from an order-theoretic perspective | 076 | CÉA |
| 2013-02-07 |  |
[Sem-LaBRI] Optimizing Energy and Bandwidth in Mobile Streaming Systems | Amphi du LaBRI | Séminaire du LaBRI |
| 2013-02-07 |  |
Playing (combinatorially) with dominoes | Amphi LaBRI | SémiDoc |
| 2013-02-04 |  |
Distributed Detection of Clone Attacks in Wireless Sensor Networks | Salle 178 | Algo.Dist |
| 2013-02-01 |  |
A combinatorial approach to lattice path asymptotics | 076 | CÉA |
| 2013-02-01 |  |
Problèmes de linéarisation/circularisation de graphes et hypergraphes motivés par l'assemblage de génomes | Salle 178 | GT-GA |
| 2013-01-31 |  |
calcul distribué de requêtes type "Skyline" | 178 | BioVis |
| 2013-01-31 |  |
Reasoning about Data Repetitions with Counter Systems | 076 | MV |
| 2013-01-28 |  |
Distributed Exclusive Graph Searching in Trees | Salle 178 | Algo.Dist |
| 2013-01-25 |  |
Realizations in Domination game | Salle 178 | GT-GA |
| 2013-01-25 |  |
Propriétés asymptotiques de quelques classes de graphes à mineurs exclus | 076 | CÉA |
| 2013-01-24 |  |
Underapproximation of Procedure Summaries for Recursive Integer Programs | 076 | MV |
| 2013-01-21 |  |
Présentation de Keep Alert, une solution pour la surveillance de marques sur Internet | Salle 178 | Algo.Dist |
| 2013-01-17 |  |
Mesurer l’intrication sémantique dans une collection de documents | salle 3 Bâtiment A29 | BioVis |
| 2013-01-17 |  |
Beautiful Games You Cannot Stop Playing | 076 | MV |
| 2013-01-15 |  |
Trace equivalence of protocols for an unbounded number of sessions | Salle 076 | GL |
| 2013-01-14 |  |
Two Monte-Carlo Election Algorithms for Anonymous Graphs without any Initial Knowledge | Salla 178 | Algo.Dist |
| 2013-01-11 |  |
Chemins auto-évitants dans un demi-plan | 076 | CÉA |
| 2013-01-10 |  |
Time-bounded reachability for monotonic hybrid automata | 076 | MV |
| 2012-12-20 |  |
Runtime Enforcement of Timed Properties | 076 | MV |
| 2012-12-14 |  |
Le nombre thêta de Lovász : applications, généralisations, et problèmes ouverts (2) | Salle 76 | GT-GA |
| 2012-12-14 |  |
Arbres et cartes munis de forêt couvrante | 076 | CÉA |
| 2012-12-14 |  |
Comment avoir précisément 1/2 coup d'avance à un jeu | Salle 76 | GT-GA |
| 2012-12-14 |  |
Approche duale des représentations du groupe symétrique (9) | 076 | PÉC |
| 2012-12-13 |  |
Algorithmic and Compact Data Structures for NGR & NGS | 178 | BioVis |
| 2012-12-07 |  |
Approche duale des représentations du groupe symétrique (8) | 178 | PÉC |
| 2012-12-07 |  |
Résultats récents obtenus grâce aux tableaux boisés | 178 | CÉA |
| 2012-12-06 |  |
LCA Skeleton Tree in Linear Time | 178 | BioVis |
| 2012-12-06 |  |
A perfect model for bounded verification | Salle Patio - Bat C4 "Haut-carré" | MV |
| 2012-12-06 |  |
[Sem-LaBRI] Promoting systems biology research through intelligent information mining of omic datasets | salle 178 | Séminaire du LaBRI |
| 2012-12-06 |  |
Multi-dimension Quantitative Games: Complexity and Strategy Synthesis | Salle Patio - Bat C4 "Haut-carré" | MV |
| 2012-12-03 |  |
Progress and Challenges for Labeling Schemes | Salle 178 | Algo.Dist |
| 2012-11-30 |  |
Approche duale des représentations du groupe symétrique (7) | 076 | PÉC |
| 2012-11-30 |  |
Combinatorial properties of fullerene graphs | Salle 178 | GT-GA |
| 2012-11-29 |  |
Safety Verification of Communicating One-Counter Machines | 076 | MV |
| 2012-11-23 |  |
Approche duale des représentations du groupe symétrique (6) | salle 4 du bâtiment A29 | PÉC |
| 2012-11-20 |  |
Nouvelles notions de rang et indépendance pour graphes finis | Salle 076 | GL |
| 2012-11-19 |  |
Efficient data structures for large-scale genome sequencing data. | salle de réunion Sud, CGFB | BioVis |
| 2012-11-16 |  |
Approche duale des représentations du groupe symétrique (5) | 076 | PÉC |
| 2012-11-16 |  |
Towards randomly generated mammals... | 076 | CÉA |
| 2012-11-15 |  |
Causal graph dynamics | Amphi du LaBRI | Séminaire du LaBRI |
| 2012-11-14 |  |
Eval Begone! Semi-Automated Removal of Eval from JavaScript Programs | salle 71 | GT-GL |
| 2012-11-13 |  |
Automates avec multiplicité et epsilon-transitions | salle 76 | GL |
| 2012-11-09 |  |
Computational complexity of partitioning a graph into a few connected subgraphs | Salle 178 | GT-GA |
| 2012-11-09 |  |
Approche duale des représentations du groupe symétrique (4) | 076 | PÉC |
| 2012-11-09 |  |
Bouquets de cercles et langages de courbes | 076 | CÉA |
| 2012-11-08 |  |
Assemblage du génome de l'agent de la peste noire. | 178 | BioVis |
| 2012-11-08 |  |
Coarse abstractions make Zeno behaviors difficult to detect | 076 | MV |
| 2012-10-26 |  |
Approche duale des représentations du groupe symétrique (3) | 076 | PÉC |
| 2012-10-25 |  |
Formation Cloud | 178 | BioVis |
| 2012-10-23 |  |
La théorie des fonctions de coût régulières | salle 76 | GL |
| 2012-10-22 |  |
Toward a compact distributed routing scheme | s. 178 | Algo.Dist |
| 2012-10-19 |  |
Une extension stochastique du modèle du tas de sable sur un graphe | 076 | CÉA |
| 2012-10-19 |  |
Le jeu de Timber | Amphi du LaBRI | GT-GA |
| 2012-10-19 |  |
Approche duale des représentations du groupe symétrique (2) | 076 | PÉC |
| 2012-10-18 |  |
Formation Cloud | 178 | BioVis |
| 2012-10-16 |  |
A Model Theoretic Proof of Completeness of an Axiomatization of Monadic Second-Order Logic on Infinite Words | 76 | GL |
| 2012-10-15 |  |
Network Verification via Routing Table Queries | s. 178 | Algo.Dist |
| 2012-10-12 |  |
Décompositions de graphes en 1-facteurs | 076 | CÉA |
| 2012-10-12 |  |
Approche duale des représentations du groupe symétrique (1) | 076 | PÉC |
| 2012-10-12 |  |
La fonction theta de Lovasz est-elle unique? | Salle 76 | GT-GA |
| 2012-10-11 |  |
Formation Cloud | 178 | BioVis |
| 2012-10-08 |  |
Pré-présentation à la conférence WCRE par Cédric Teyton | Salle 73 | GT-GL |
| 2012-10-05 |  |
Some permutation classes enumerated by the central binomial coefficients | 076 | CÉA |
| 2012-10-05 |  |
Algorithmes de graphes polynomiaux utilisant des automates (infinis) à compteurs | Salle 178 | GT-GA |
| 2012-10-04 |  |
PETITE ECOLE : Acorn: A grid computing system for constraint based modeling and visualization of the genome scale metabolic reaction networks via a web interface | 178 | BioVis |
| 2012-10-04 |  |
Reachability of Communicating Timed Processes | 076 | MV |
| 2012-10-02 |  |
Walking in the free inverse monoid | Salle 076 | GL |
| 2012-09-28 |  |
Sur le calcul du rang dans les graphes et en particulier les cliques (2/2) | 076 | CÉA |
| 2012-09-28 |  |
omplete oriented colourings and the oriented achromatic number | Salle 178 | GT-GA |
| 2012-09-27 |  |
Strategy Synthesis (From Specification to Implementation) | 076 | MV |
| 2012-09-21 |  |
The Stretch Factor of $L_1$- and $L_infty$-Delaunay Triangulations | Salle 178 | GT-GA |
| 2012-09-21 |  |
Sur le calcul du rang dans les graphes et en particulier les cliques (1/2) | 076 | CÉA |
| 2012-09-20 |  |
Petite ecole : Unraveling Protein Networks with Power Graph Analysis | 178 | BioVis |
| 2012-09-19 |  |
Geographical Treemaps: Cartographic Metaphors for Laying out Hierarchical Data | salle 73 | GT-GL |
| 2012-09-18 |  |
Challenges in Computational Phylogenetics | salle de réunion Nord du CGFB à Bordeaux 2 | BioVis |
| 2012-09-18 |  |
Complexity of languages of geodesics | salle 178 | GL |
| 2012-09-14 |  |
Domination de puissance dans les graphes réguliers | Salle ALP, batiment A9 | GT-GA |
| 2012-09-13 |  |
Permutation Patterns | Amphi du LaBRI | Séminaire du LaBRI |
| 2012-09-07 |  |
New perspectives on the enumeration of permutation classes | 076 | CÉA |
| 2012-07-16 |  |
From self-stabilizing to self-stabilizing with service guarantee weight-based clustering | s. 076 | Algo.Dist |
| 2012-07-06 |  |
Etude de l'activité des développeurs impliqués dans Gnome | salle 178 | GT-GL |
| 2012-07-05 |  |
Reproducibility challenges of data-driven biology | Salle de Conférences du Centre de Génomique Fonctionnelle Bordeaux (CGFB) , Université Bordeaux Segalen | BioVis |
| 2012-07-03 |  |
Some algorithms for replica placement with distance constraints in tree networks | s. 076 | Algo.Dist |
| 2012-06-28 |  |
Adapting comparative genomics to MapReduce | 178 | BioVis |
| 2012-06-25 |  |
Evolutionary Dynamics on Undirected Networks | s. 178 | Algo.Dist |
| 2012-06-22 |  |
Spanning trees, lattice Green functions and Mahler measures | 076 | CÉA |
| 2012-06-22 |  |
Partitioning Harary graphs into connected subgraphs containing prescribed vertices | Salle 178 | GT-GA |
| 2012-06-22 |  |
L'Ansatz cellulaire (15) | 076 | PÉC |
| 2012-06-18 |  |
Convergecast by Power-Aware Mobile Agents | s. 076 | Algo.Dist |
| 2012-06-15 |  |
Un cas d'énumération de permutations triées par trois piles et deux symétries | 076 | CÉA |
| 2012-06-15 |  |
L'Ansatz cellulaire (14) | 076 | PÉC |
| 2012-06-15 |  |
Application de la théorie spectrale des graphes à des objets musicaux. Modélisation et visualisation en Hyperespace | Amphi du LaBRI | GT-GA |
| 2012-06-11 |  |
Leader Election for Anonymous Asynchronous Agents in Arbitrary Networks | s. 076 | Algo.Dist |
| 2012-06-08 |  |
Énumération de permutations triées par deux piles et une symétrie | salle 3 du bâtiment A29 | CÉA |
| 2012-06-08 |  |
L'Ansatz cellulaire (13) | salle 3 du bâtiment A29 | PÉC |
| 2012-06-07 |  |
Parameterized Complexity of some Petri Net Problems | | MV |
| 2012-06-04 |  |
Calcul distribué de requêtes type ``horizon'' (Skyline) | s. 076 | Algo.Dist |
| 2012-06-01 |  |
Étude d'une suppression d'une case dans les tableaux boisés et dans les tableaux de Dyck | 076 | CÉA |
| 2012-05-29 |  |
Journée Méthodes Formelles | Amphi LaBRI | GL |
| 2012-05-25 |  |
Some operators that preserve the locality of a pseudovariety of semigroups. | salle 178 | GL |
| 2012-05-25 |  |
L'Ansatz cellulaire (12) | 076 | PÉC |
| 2012-05-24 |  |
Querying Schemas With Access Restrictions | 076 | MV |
| 2012-05-17 |  |
GT MABioVis | 178 | BioVis |
| 2012-05-15 |  |
introduction au "multi-stage programming" | Salle Ada Lovelace, Bât. A29 | GT-GL |
| 2012-05-15 |  |
Chemins disjoints avec congestion dans les graphes à mineur exclu | Amphi du LaBRI | GT-GA |
| 2012-05-15 |  |
[GTGL] The Quest for Future Proof Interoperability | salle 178 | GT-GL |
| 2012-05-14 |  |
Modélisation cérébrale systémique: approches en algorithmique distribuée | s. 076 | Algo.Dist |
| 2012-05-11 |  |
Complexity and algorithms for max-coloring problems | Salle 178 | GT-GA |
| 2012-05-11 |  |
L'Ansatz cellulaire (11) | 076 | PÉC |
| 2012-05-10 |  |
Tagging Make Local Testing of Message-Passing Systems Feasible | 076 | MV |
| 2012-05-04 |  |
Perfect matchings in cubic graphs | Salle 178 | GT-GA |
| 2012-05-04 |  |
L'Ansatz cellulaire (10) | 076 | PÉC |
| 2012-05-04 |  |
Fonctions quasisymétriques sur les diagrammes de Young | 076 | CÉA |
| 2012-05-03 |  |
Bounded Phase Analysis of Message-Passing Programs | 076 | MV |
| 2012-05-02 |  |
A formally verified SSA-based middle-end - Static Single Assignment meets CompCert. | Salle Ada Lovelace, Bât. A29 | GT-GL |
| 2012-04-27 |  |
Méthode d'accélération en optimisation global | Salle 178 | GT-GA |
| 2012-04-26 |  |
Des approches applicatives de fouille de données semi-supervisées ou non supervisées | 178 | BioVis |
| 2012-04-20 |  |
Une méthode générique d'énumération de différentes classes de polycubes dirigés | 076 | CÉA |
| 2012-04-20 |  |
k-formes, nombres de Genocchi et tableaux boisés | 076 | CÉA |
| 2012-04-19 |  |
Recherche de motifs dans des réseaux d'interactions | 050 (Amphi) | BioVis |
| 2012-04-19 |  |
Routage géographique dans les réseaux véhiculaires ad hoc en environnement urbain | Amphi du LaBRI | Séminaire du LaBRI |
| 2012-04-17 |  |
Bisimulations pour les opérateurs de contrôle délimité | salle 76 | GL |
| 2012-04-13 |  |
[GTGL] Nicolas Loriant | salle 76 | GT-GL |
| 2012-04-13 |  |
Arbitrarily Partionable Graphs | Salle 178 | GT-GA |
| 2012-04-13 |  |
Distributions de cycles et distances entre génomes | 076 | CÉA |
| 2012-04-12 |  |
Intégration des activités de vérification formelle aux processus de développement de logiciels pour les systèmes embarqués | salle 178 | GT-GL |
| 2012-04-12 |  |
Model Checking Languages of Data Words | 076 | MV |
| 2012-04-12 |  |
Musique computationnelle : des arabesques de Debussy aux monoides quasi-inversifs de Lawson | Amphi du LaBRI | Séminaire du LaBRI |
| 2012-04-10 |  |
De la cellule virtuelle au robot réel | 74 | BioVis |
| 2012-04-10 |  |
Largeur de décomposition d'hypergraphe | salle 76 | GL |
| 2012-04-06 |  |
Une (nouvelle?) décomposition canonique des graphes fortement connexes. Applications aux mots de Gauss | Salle 178 | GT-GA |
| 2012-04-06 |  |
Combinatorics of minor-closed classes of graphs | 076 | CÉA |
| 2012-04-05 |  |
Forward Analysis for WSTS : Beyond Regular Accelerations | Salle 076, LaBRI, Rez-de-chaussée | MV |
| 2012-04-05 |  |
Extended formulations for the design of approximation algorithms : an example in inventory control | Amphi du LaBRI | Séminaire du LaBRI |
| 2012-04-05 |  |
Algorithmes de comparaison de génomes appliqués aux génomes bactériens | 178 | BioVis |
| 2012-04-05 |  |
école Coq GT-GL | salle 178 | GT-GL |
| 2012-04-02 |  |
Spanner planaire pour le Unit Disk Graph | s. 076 | Algo.Dist |
| 2012-03-30 |  |
Évolution perpétuelle de systèmes logiciels : Les langages et les architectures au service du génie logiciel | salle 178 | GT-GL |
| 2012-03-29 |  |
The Quantitative Linear-Time–Branching-Time Spectrum | 076 | MV |
| 2012-03-29 |  |
Algorithmiques et évaluation de performance dans les réseaux ad hoc | Amphi du LaBRI | Séminaire du LaBRI |
| 2012-03-29 |  |
Modèles de réconciliation d’un arbre de gènes et d’un arbre d’espèces. | 178 | BioVis |
| 2012-03-28 |  |
Maîtriser l'évolution des écosystèmes logiciels | salle 178 | GT-GL |
| 2012-03-27 |  |
Schützenberger groups of primitive substitutions are decidable | salle 76 | GL |
| 2012-03-26 |  |
Distributed Online and Stochastic Queuing on a Multiple Access Channel | s. 076 | Algo.Dist |
| 2012-03-23 |  |
Intervalles de m-Tamari étiquetés | salle 3 bâtiment A29 | CÉA |
| 2012-03-23 |  |
Des codes (correcteurs) systématiques représentés sur une grille | Amphi E, bât A29 | GT-GA |
| 2012-03-22 |  |
Exploiting Structure in LTL Synthesis | 076 | MV |
| 2012-03-20 |  |
A game approach to determinize timed automata | salle 76 | GL |
| 2012-03-16 |  |
Modèle du marcheur pour les réseaux d'interactions | 076 | CÉA |
| 2012-03-15 |  |
Compositional Specification Theories for Stochastic Systems | 076 | MV |
| 2012-03-15 |  |
Power circuits and arithmetic for highly compressed integers | Amphi du LaBRI | Séminaire du LaBRI |
| 2012-03-13 |  |
MSO+U defines languages at arbitrarily high levels of the projective hierarchy | salle 76 | GL |
| 2012-03-12 |  |
On the lambda-alert problem in radio networks | s. 076 | Algo.Dist |
| 2012-03-08 |  |
The Cost of Repairing Regular Specifications | Amphi | MV |
| 2012-03-08 |  |
école Coq GT-GL | salle 178 | GT-GL |
| 2012-03-08 |  |
Concepts et méthodologie pour une description sémiotique de la structure musicale | Amphi du LaBRI | Séminaire du LaBRI |
| 2012-03-06 |  |
Nash equilibria in concurrent games | salle 76 | GL |
| 2012-03-05 |  |
On Snapshots and Stable Properties Detection in Anonymous Fully Distributed Systems | s. 076 | Algo.Dist |
| 2012-03-05 |  |
Reverse Engineering Variability Models | salle 71 | GT-GL |
| 2012-02-24 |  |
Des limites de la coloration quasi propre | Salle 178 | GT-GA |
| 2012-02-24 |  |
Ordonnancement, Combinatoire : un problème d'identité remarquable. | 076 | CÉA |
| 2012-02-23 |  |
Une introduction aux interfaces cerveau-ordinateur basées sur l'électroencéphalographie | Amphi du LaBRI | Séminaire du LaBRI |
| 2012-02-21 |  |
Balancing weighted binary trees in linear time. | salle 76 | GL |
| 2012-02-17 |  |
Arithmetic matroids and Tutte polynomial | 076 | CÉA |
| 2012-02-17 |  |
Induced decomposition of graphs | Salle 178 | GT-GA |
| 2012-02-16 |  |
Fixed-word simulations and ranks | Amphi | MV |
| 2012-02-14 |  |
Connexité dans les graphes de genre g avec obstacles: un schéma d'étiquetage. | salle 76 | GL |
| 2012-02-13 |  |
Preuves formelles d'algorithmes distribués probabilistes | s. 076 | Algo.Dist |
| 2012-02-10 |  |
Arbres plans pondérés et une classe de polynômes extrémaux à coefficients rationnels | 076 | CÉA |
| 2012-02-10 |  |
Petite histoire d'une petite preuve. | Salle 178 | GT-GA |
| 2012-02-07 |  |
Lambda Calculus: The Differential Viewpoint | salle 76 | GL |
| 2012-02-06 |  |
Tolerating Transient, Permanent, and Intermittent Failures | s. 076 | Algo.Dist |
| 2012-02-03 |  |
Quelques problèmes classiques sur des graphes dynamiques | Salle 178 | GT-GA |
| 2012-02-02 |  |
Generation of Debugging Interfaces for Linux Kernel-level Services | salle 71 | GT-GL |
| 2012-01-31 |  |
Langages de tuiles MSO définissables, monoïdes quasi-inversifs et pré-homomorphismes | salle 75 | GL |
| 2012-01-31 |  |
An Observational Study of a Scripting Language: R | salle 64 | GT-GL |
| 2012-01-27 |  |
Graphical description of extremal polynomials | 076 | CÉA |
| 2012-01-26 |  |
"Comparative transcriptomic analysis of 3 cancer cell lines (colorectal, lung, leukemic) for the investigation of common tumor promoting mechanisms, through the application of a generic, computational, systematic framework" | 178 | BioVis |
| 2012-01-26 |  |
Etudiants M2 | 178 (LaBRI) | BioVis |
| 2012-01-26 |  |
Forest Automata for Verification of Heap Manipulation | 076 | MV |
| 2012-01-26 |  |
école Coq GT-GL | salle 178 | GT-GL |
| 2012-01-24 |  |
Topological Monadic Logic | salle 76 | GL |
| 2012-01-20 |  |
Animaux dirigés, systèmes quadratiques et systèmes de réécritures | 076 | CÉA |
| 2012-01-20 |  |
Paired versus double domination in graphs | Salle 178 | GT-GA |
| 2012-01-19 |  |
[GTGL] Mixing logic and functional programming styles | salle 64 | GT-GL |
| 2012-01-19 |  |
Optimizing Buechi Automata Inclusion Checking with Subsumption Preorders | 076 | MV |
| 2012-01-19 |  |
From DNA to Jay-Z: how ideas from bioinformatics can automate finding rhymes in rap music | Amphi du LaBRI | Séminaire du LaBRI |
| 2012-01-17 |  |
WREATH PRODUCT: AN APOLOGY | salle 76 | GL |
| 2012-01-16 |  |
The Impact of Edge Deletions on the Number of Errors in Networks. | s. 076 | Algo.Dist |
| 2012-01-13 |  |
Strong chromatic index of planar graphs with large girth | Salle 178 | GT-GA |
| 2012-01-12 |  |
Robustness and Implementability of Timed Automata | 076 | MV |
| 2012-01-10 |  |
Nax: a logic based upon Mendler style Iteration/Recursion Combinators | Amphi du LaBRI | Séminaire du LaBRI |
| 2012-01-09 |  |
Overlay Addressing and Routing System Based on Hyperbolic Geometry | s. 076 | Algo.Dist |