Thu 14 October 2010-14h00
Séminaire : Sur la médiane de m permutations
Salle : 101 Bât. : 490 (LRI)
Conférencier : Sylvie Hamel Univ de Montréal

Tue 12 October 2010-11h00
Séminaire : TBA
Salle : 101 Bât. : 490 (LRI)
Conférencier : Ashwin Nayak IQC & U. Waterloo

Thu 07 October 2010-15h00
Séminaire : TBA
Salle : 101 Bât. : 490 (LRI)
Conférencier : Xuhui Huang Hong Kong University of Science and Technology

Tue 28 September 2010-14h00
Séminaire : TBA
Salle : 101 Bât. : 490 (LRI)
Conférencier : Yi-Kai Liu Caltech

Thu 23 September 2010-14h00
Séminaire : TBA
Salle : 101 Bât. : 490 (LRI)
Conférencier : Adelene Sim Stanford University

Tue 14 September 2010-15h30
Séminaire : Better Bell inequality violations from theoretical computer science
Salle : 79 Bât. : 490 (LRI)
Conférencier : Ronald de Wolf CWI

Tue 14 September 2010-11h00
Séminaire : Habilitation: Calcul Quantique
Salle : 79 Bât. : 490 (LRI)
Conférencier : Julia Kempe LRI

Tue 07 September 2010-11h00
Séminaire : Information Cost Tradeoffs for AUGMENTED INDEX
Salle : Conférence Bât. : I
Conférencier : Amit Chakrabarti Dartmouth College

Mon 06 September 2010-14h00
Séminaire : Modeling macromolecular structure and dynamics with RNABuilder
Salle : 101 Bât. : 490 (LRI)
Conférencier : Samuel Flores Stanford University

Tue 17 August 2010-15h00
Séminaire : Strong NP-hardness of the Quantum Separability Problem
Salle : 101 Bât. : 490 (LRI)
Conférencier : Sevag Gharibian University of Waterloo

Tue 17 August 2010-11h00
Séminaire : The positive definite Grothendieck problem with rank constraint
Salle : 101 Bât. : 490 (LRI)
Conférencier : Jop Briet CWI

Mon 26 July 2010-10h00
Séminaire : Towards Reproducible Science with Scientific Workflows and Provenance
Salle : 79 Bât. : 490 (LRI)
Conférencier : Bertram Ludäscher Dept of Computer Science & Genome Center, University of California, Davis

Tue 13 July 2010-13h30
Séminaire : Efficient Query Answering in Peer Data Management Systems
Salle : 107 Bât. : N
Conférencier : Armin Roth

Tue 13 July 2010-11h00
Séminaire : Fast Robust Regression in Data Streams
Salle : 101 Bât. : 490 (LRI)
Conférencier : David Woodruff IBM Almaden

Fri 09 July 2010-14h00
Séminaire : Ajax-based Report Pages as Incrementally Rendered Views
Salle : 008 Bât. : G
Conférencier : Yannis Papakonstantinou UC San Diego

Fri 09 July 2010-11h00
Séminaire : The detectability lemma and the area law
Salle : 98 Bât. : 490 (LRI)
Conférencier : Umesh Vazirani UC Berkeley

Mon 05 July 2010-14h00
Séminaire : Integration and analysis of data, from heterogeneous sources adapted to user profiles
Salle : 107 Bât. : N
Conférencier : Mostafa Ezziyyani

Thu 01 July 2010-14h00
Séminaire : TBA
Salle : 79 Bât. : 490 (LRI)
Conférencier : Peter Clote LIX

Thu 01 July 2010-11h00
Séminaire : Multi-nonlocality : how can we characterize the quantum correlations of entangled independent sources ?
Salle : 101 Bât. : 490 (LRI)
Conférencier : Denis Rosset Universite de Geneve

Tue 29 June 2010-14h00
Séminaire : Lower bounds for solving concurrent reachabiltiy games using strategy iteration
Salle : 101 Bât. : 490 (LRI)
Conférencier : Peter Bro Miltersen Computer Science Department, Aarhus University

Tue 29 June 2010-11h00
Séminaire : Online Set Packing
Salle : 101 Bât. : 490 (LRI)
Conférencier : Boaz Patt-Shamir Université de Tel-Aviv

Thu 17 June 2010-14h00
Séminaire : On Uncoordinated Cooperative Communication Strategies in Wireless Ad-hoc Networks
Salle : 79 Bât. : 490 (LRI)
Conférencier : Dr. Lavy Libman Univ. Sydney

Thu 17 June 2010-10h30
Séminaire : Enabling Socially-Aware Distributed Systems
Salle : 101 Bât. : 490 (LRI)
Conférencier : Adriana Iamnitchi University of South Florida

Thu 10 June 2010-14h00
Séminaire : Scalable Inference and Matching of Object Annotations
Salle : 79 Bât. : 490 (LRI)
Conférencier : Ambuj Singh

Tue 08 June 2010-14h30
Séminaire : Conservation of Human Attention as an Approach to New HCI Research
Salle : 79 Bât. : 490 (LRI)
Conférencier : Scott Hudson Carnegie Mellon University

Tue 08 June 2010-14h00
Séminaire : Two-source extractors secure against quantum
Salle : 101 Bât. : 490 (LRI)
Conférencier : Julia Kempe Université de Tel-Aviv

Wed 02 June 2010-09h30
Séminaire : Tutoriel MRM Grille Paris Sud
Salle : Bât. :
Conférencier : M.Jouvin, C.Diarra, P-P.Nguyen, O.Lodygensky, B.Kegl

Fri 28 May 2010-14h00
Séminaire : Lower Bounds for k-CLIQUE on Random Graphs
Salle : 101 Bât. : 490 (LRI)
Conférencier : Ben Rossman MIT

Fri 28 May 2010-14h00
Séminaire : EdiFlow: data-intensive interactive workflows for visual analytics
Salle : 107 Bât. : N
Conférencier : Wael Khemiri Leo group

Thu 27 May 2010-14h00
Séminaire : Knowledge Management in Bioinformatics @ Humboldt
Salle : 90 Bât. : 490 (LRI)
Conférencier : Ulf Leser Humboldt Universität zu Berlin

Tue 04 May 2010-10h00
Séminaire : Motifs et classes de permutations : le point de vue des arbres de décomposition
Salle : 101 Bât. : 490 (LRI)
Conférencier : Mathilde Bouvel LIAFA

Thu 29 April 2010-15h30
Séminaire : The Discretizable Molecular Distance Geometry Problem
Salle : 90 Bât. : 490 (LRI)
Conférencier : Antonio Mucherino INRIA

Thu 29 April 2010-14h00
Séminaire : Eléments transposables et Bioinformatique
Salle : 90 Bât. : 490 (LRI)
Conférencier : Sébastien Tempel Evry

Thu 22 April 2010-14h00
Séminaire : BioPsi: a formal description of biological processes based on elementary bricks of actions
Salle : 90 Bât. : 490 (LRI)
Conférencier : Sabine Pérès SysDiag - UMR 3145 CNRS BIO-RAD

Fri 16 April 2010-14h15
Séminaire : De la compilation de bases de croyances stratifiées à l'inférence à partir de bases de croyances partiellement préordonnées
Salle : Conférence Bât. : I
Conférencier : Safa Yahi

Thu 15 April 2010-10h30
Séminaire : Numerical algorithms for hybrid GPU-Multicore systems
Salle : 101 Bât. : 490 (LRI)
Conférencier : Marc BABOULIN Centre for Mathematics - University of Coimbra

Wed 14 April 2010-14h00
Séminaire : Formal testing of probabilistic processes: Two different perspectives
Salle : 107 Bât. : N
Conférencier : Manuel Nunez Universidad Complutense de Madrid

Tue 13 April 2010-10h00
Séminaire : Expressions booléennes aléatoires et fonctions booléennes
Salle : 101 Bât. : 490 (LRI)
Conférencier : Antoine Genitrini Universit´e de Versailles St-Quentin-en-Yvelines, lab. PRiSM.

Fri 09 April 2010-13h30
Séminaire : Leo Seminar
Salle : 107 Bât. : N
Conférencier :

Fri 09 April 2010-10h30
Séminaire : MIP models and exact solution approaches for the discrete lot-sizing and scheduling problem
Salle : 79 Bât. : 490 (LRI)
Conférencier : Céline GICQUEL LGI, Ecole Centrale Paris

Thu 08 April 2010-14h00
Séminaire : Patrimoine logiciel d'un laboratoire et les projets PLUME et RELIER
Salle : 90 Bât. : 490 (LRI)
Conférencier : Teresa Gomez-Diaz, Laboratoire d'Informatique Gaspard-Monge CNRS

Thu 01 April 2010-14h00
Séminaire : Prédiction de nouveaux microARN dans les génomes
Salle : 90 Bât. : 490 (LRI)
Conférencier : Anthony Mathelier Université Pierre et Marie Curie - Paris 6

Thu 01 April 2010-10h30
Séminaire : Fair Synthesis of Asynchronous Distributed Systems
Salle : 101 Bât. : 490 (LRI)
Conférencier : Nathalie Tali SZNAJDER Université Libre de Bruxelles

Tue 30 March 2010-11h30
Séminaire : Interactive Hashing and BB84 states
Salle : 101 Bât. : 490 (LRI)
Conférencier : Takeshi Koshiba Saitama University

Fri 26 March 2010-10h30
Séminaire : Sur une suite universelle d'entiers génératrice de figures de Steinhaus équilibrées
Salle : 79 Bât. : 490 (LRI)
Conférencier : Jonathan CHAPPELON LMPA, Univ. du Littoral Côte d'Opale

Thu 18 March 2010-14h00
Séminaire : Testing a probabilistic FSM using interval estimation
Salle : Conférence Bât. : I
Conférencier : Iksoon Hwang Télécom Sud Paris

Mon 15 March 2010-10h30
Séminaire : Approximation, optimization and synthesis of stochastic processes.
Salle : 101 Bât. : 490 (LRI)
Conférencier : Sylvain Pradalier Lix, Paris

Fri 12 March 2010-10h30
Séminaire : Résolution du problème de ramassage et livraison préemptif
Salle : 79 Bât. : 490 (LRI)
Conférencier : Mathieu LACROIX LAMSADE, Univ. Paris-Dauphine

Thu 11 March 2010-14h00
Séminaire : Transcriptome of the Human Polymerase III.
Salle : 90 Bât. : 490 (LRI)
Conférencier : Galina Boldina IECB Bordeaux

Tue 09 March 2010-11h00
Séminaire : Scheduling strategies for efficient interruptible algorithms
Salle : 101 Bât. : 490 (LRI)
Conférencier : Spyros Angelopoulos Max Planck Institute

Wed 03 March 2010-14h00
Séminaire : Evasiveness and the Music of Primes
Salle : 101 Bât. : 490 (LRI)
Conférencier : Raghav Kulkarni University of Chicago, Chicago IL, USA.

Thu 25 February 2010-14h30
Séminaire : From Artificial Evolution to Computational Evolution
Salle : 90 Bât. : 490 (LRI)
Conférencier : Wolfgang Banzhaf Memorial University of Newfoundland, St. John's, CANADA

Fri 19 February 2010-14h00
Séminaire : Leo Seminar
Salle : 107 Bât. : N
Conférencier : Dario Colazzo, The ViP2P team

Fri 19 February 2010-10h30
Séminaire : Comparaison de structures d'ARN, comparaison d'arbres, comparaison de graphes
Salle : 79 Bât. : 490 (LRI)
Conférencier : Alain DENISE LRI, Univ. Paris-Sud

Fri 12 February 2010-14h00
Séminaire : YAGO & SOFIE: Automated Construction of a Large Ontology
Salle : 008 Bât. : G
Conférencier : Fabian Suchanek

Fri 12 February 2010-11h00
Séminaire : On the performance of approximate equilibria in congestion games
Salle : 101 Bât. : 490 (LRI)
Conférencier : Giorgos Christodoulou Liverpool University

Thu 11 February 2010-14h00
Séminaire : Thermodynamics of RNA structures by Wang-Landau sampling
Salle : Bât. :
Conférencier : Feng LOU LRI - Equipe Bioinformatique

Thu 11 February 2010-11h00
Séminaire : Interrogation de données réparties à grande échelle : des grilles vers les nuages.
Salle : 101 Bât. : 490 (LRI)
Conférencier : Laurent d'Orazio ISIMA

Fri 05 February 2010-10h30
Séminaire : Cyclic partitions of complete uniform hypergraphs
Salle : 79 Bât. : 490 (LRI)
Conférencier : A. Pawel WOJDA AGH Univ. of Science and Technology, Cracow, Poland

Thu 04 February 2010-14h30
Séminaire : Universal Cycles, 2-Radius Sequences, and Fetching Huge Objects into Small Memory
Salle : 101 Bât. : 490 (LRI)
Conférencier : Yeow Meng CHEE Nanyang Technological University Singapore

Thu 04 February 2010-13h30
Séminaire : Destructive rule-based properties and first-order logic
Salle : 101 Bât. : 490 (LRI)
Conférencier : David Duris

Thu 04 February 2010-10h30
Séminaire : P2P Social Networking
Salle : 101 Bât. : 490 (LRI)
Conférencier : Mehdi Mani Institut TELECOM, Telecom SudParis

Thu 28 January 2010-14h00
Séminaire : Evolution des récepteurs couplés aux protéines G de classe A
Salle : 79 Bât. : 490 (LRI)
Conférencier : Marie Chabbert Laboratoire de Biologie NeuroVasculaire Intégrée -- UMR CNRS 6214 – INSERM U771 ANGERS

Wed 27 January 2010-13h30
Séminaire : CENTRE D'ALEMBERT : Série: Le concept d'information
Salle : Bât. :
Conférencier : Anouk BARBEROUSSE,Marc MÉZARD

Tue 26 January 2010-14h30
Séminaire : Partially Observable Markov Decision Processes : An overview
Salle : 90 Bât. : 490 (LRI)
Conférencier : Alain Dutech

Fri 22 January 2010-10h30
Séminaire : Graphes à défaut ou excès cyclique
Salle : 79 Bât. : 490 (LRI)
Conférencier : Charles DELORME Univ. Paris-Sud

Thu 21 January 2010-15h00
Séminaire : Prédiction à gros-grain de la structure tridimensionnelle de l'ARN
Salle : 79 Bât. : 490 (LRI)
Conférencier : Alexis Lamiable PRISM

Mon 18 January 2010-14h00
Séminaire : Z-Align and CUDAlign: Comparing Megabase Biological Sequences in Clusters and GPGPUs
Salle : 101 Bât. : 490 (LRI)
Conférencier : Alba Cristina M. A. Melo Universidade de Brasilia

Fri 15 January 2010-10h30
Séminaire : Treewidth and logical definability of graph products - Part three
Salle : 79 Bât. : 490 (LRI)
Conférencier : Selma DJELLOUL Univ. Pari-Sud

Thu 14 January 2010-14h00
Séminaire : Apprentissage d'automates pour la modélisation de familles de protéines
Salle : 79 Bât. : 490 (LRI)
Conférencier : Francois Coste IRISA - Rennes

Thu 14 January 2010-14h00
Séminaire : Near-optimal extractors against quantum storage
Salle : 101 Bât. : 490 (LRI)
Conférencier : Thomas Vidick UC Berkeley

Fri 11 December 2009-14h00
Séminaire : Algebra-based cost optimization and execution for XPath
Salle : 008 Bât. : G
Conférencier : Vasilis Vassalos Athens University of Economics and Business, Greece

Fri 11 December 2009-10h30
Séminaire : On graph coloring problems with local constraints
Salle : 79 Bât. : 490 (LRI)
Conférencier : Flavia BONOMO Univ. Buenos Aires, Argentine

Tue 08 December 2009-14h00
Séminaire : New concepts and approaches in RNA Structural Bioinformatics
Salle : 101 Bât. : 490 (LRI)
Conférencier : N. Leontis

Fri 04 December 2009-14h00
Séminaire : Gemo Seminar
Salle : 008 Bât. : G
Conférencier : Sihem Amer-Yahia, Amélie Marian

Fri 27 November 2009-14h00
Séminaire : Gemo Seminar
Salle : 008 Bât. : G
Conférencier : Veronique Ventos, Konstantinos Karanasos

Fri 27 November 2009-10h30
Séminaire : An SDP approach to the linear ordering problem
Salle : 101 Bât. : 490 (LRI)
Conférencier : Franz RENDL U. Klagenfurt, Austria

Thu 26 November 2009-14h00
Séminaire : Caractérisation de sites de recodage par une approche de génomique comparative
Salle : 90 Bât. : 490 (LRI)
Conférencier : Thomas Moncion IGM-LRI - Université Paris-Sud 11

Wed 25 November 2009-10h30
Séminaire : Game Theoretic Models for Competition in Public Transit Services
Salle : 79 Bât. : 490 (LRI)
Conférencier : Janny LEUNG Chinese University of Hong Kong

Tue 24 November 2009-14h00
Séminaire : An Efficient Algorithm for Replicating Data in Modern Networks
Salle : 101 Bât. : 490 (LRI)
Conférencier : Mauro Sozio Max Planck

Fri 20 November 2009-14h00
Séminaire : Processing and Efficient Evaluation of Generalized Tree-Pattern Queries
Salle : 008 Bât. : G
Conférencier : Dimitri Theodoratos New Jersey Institute of Technology

Thu 19 November 2009-14h00
Séminaire : Structural classification of alpha-helical membrane proteins
Salle : 79 Bât. : 490 (LRI)
Conférencier : Sindy Neuman MIPS Munich

Fri 13 November 2009-10h30
Séminaire : On two-stage stochastic knapsack problems
Salle : 79 Bât. : 490 (LRI)
Conférencier : Stefanie KOSUCH LRI, Univ. Paris-Sud

Thu 12 November 2009-14h00
Séminaire : Classical and Quantum Fanouts have the same Power
Salle : 101 Bât. : 490 (LRI)
Conférencier : Simon Perdrix CNRS

Fri 06 November 2009-10h30
Séminaire : Stochastic Quadratic Knapsack with Recourse
Salle : 79 Bât. : 490 (LRI)
Conférencier : Rafaël LOPEZ LRI, Univ. Paris-Sud

Thu 05 November 2009-14h00
Séminaire : Information Flow in Secret Sharing Protocols
Salle : 101 Bât. : 490 (LRI)
Conférencier : Damian Markham ENST

Tue 03 November 2009-14h00
Séminaire : Core Mappings: Schema Mapping Revolution
Salle : 008 Bât. : G
Conférencier : Paolo Papotti Universita Roma Tre

Tue 03 November 2009-10h30
Séminaire : Aspects algorithmiques des réarrangements génomiques : duplications et ordres partiels.
Salle : 78 Bât. : 490 (LRI)
Conférencier : Annelyse Thévenin LRI

Thu 29 October 2009-14h00
Séminaire : Modélisation 3D d'interactions entre protéines et ARN structuré ou non structuré: méthodes et applications
Salle : 101 Bât. : 490 (LRI)
Conférencier : Fabrice Leclerc UHP Nancy

Thu 29 October 2009-14h00
Séminaire : XQuery on the Cloud
Salle : 008 Bât. : G
Conférencier : Donald Kossmann ETH Zurich

Fri 23 October 2009-10h30
Séminaire : A survey on the prism hamiltonian problems
Salle : 79 Bât. : 490 (LRI)
Conférencier : Haiyan KANG LRI, Univ. Paris-Sud

Mon 19 October 2009-14h00
Séminaire : Web Development by Nonprogrammers: Issues and Opportunities
Salle : 101 Bât. : 490 (LRI)
Conférencier : Mary Beth Rosson, Professor Pennsylvania State University,

Fri 16 October 2009-14h00
Séminaire : Do-It-Yourself Custom Database-Driven Web Applications
Salle : 008 Bât. : G
Conférencier : Yannis Papakonstantinou UCSD & app2you

Thu 15 October 2009-14h00
Séminaire : Tight bound for Gap Hamming Distance
Salle : 101 Bât. : 490 (LRI)
Conférencier : Oded Regev Tel-Aviv University

Thu 15 October 2009-14h00
Séminaire : Algorithmique probabiliste pour systèmes distribués émergents
Salle : 79 Bât. : 490 (LRI)
Conférencier : Julien Clément Université Paris-Sud XI

Mon 12 October 2009-15h00
Séminaire : Visualisation hybride des liens hiérarchiques incorporant des treemaps dans une matrice d’adjacence
Salle : 101 Bât. : 490 (LRI)
Conférencier : Sébastien Rufiange doctorant à l'ETS de Montréal avec Michael

Fri 09 October 2009-14h00
Séminaire : Performance analysis of FEC recovery for streaming
Salle : 101 Bât. : 490 (LRI)
Conférencier : Prof. Yutaka Takahashi Kyoto University

Fri 09 October 2009-10h30
Séminaire : Stochastic Knapsack Problem with Continuous Distributions
Salle : 79 Bât. : 490 (LRI)
Conférencier : Marc LETOURNEL LRI, Univ. Paris-Sud

Thu 08 October 2009-10h30
Séminaire : Software engineering of abstract interpretation tools
Salle : 107 Bât. : N
Conférencier : Bertrand Jeannet Projet POP-ART, INRIA Rhône-Alpes

Fri 02 October 2009-10h30
Séminaire : 1,2 conjecture and some related problems
Salle : 79 Bât. : 490 (LRI)
Conférencier : Mariusz WOZNIAK AGH University of Science and Technologie, Cracovie, Pologne

Thu 01 October 2009-14h00
Séminaire : Using Merlin to Estimate Histograms and Recursively Find Collisions, with Applications
Salle : 101 Bât. : 490 (LRI)
Conférencier : David Xiao LRI

Fri 25 September 2009-11h00
Séminaire : On Scalable and Accurate Models for the User Wireless Workload
Salle : 101 Bât. : 490 (LRI)
Conférencier : Maria Papadopouli Forth, Crete, Greece

Fri 25 September 2009-10h30
Séminaire : Triplets de Steiner
Salle : 79 Bât. : 490 (LRI)
Conférencier : Charles DELORME LRI, Univ. Paris-Sud

Thu 24 September 2009-14h00
Séminaire : Profil transcriptionel de l'hétérochromatine : impact des éléments transposables
Salle : 101 Bât. : 490 (LRI)
Conférencier : Matthias Zytnicki INRA - Versailles

Thu 17 September 2009-14h00
Séminaire : SZK Proofs for Black Box Group Problems
Salle : 101 Bât. : 490 (LRI)
Conférencier : Bireswar Das The Institute of Mathematical Sciences

Tue 15 September 2009-14h30
Séminaire : Elementary Landscapes: On the semi-decomposibility of select NP-hard optimization problems
Salle : 90 Bât. : 490 (LRI)
Conférencier : Darrell Whitley Department of Computer Science at Colorado State University.

Tue 15 September 2009-11h30
Séminaire : On quantum mechanics over the reals
Salle : 101 Bât. : 490 (LRI)
Conférencier : Matthew McKague University of Waterloo

Thu 10 September 2009-14h00
Séminaire : Geometry for the structural modelling of biomolecules: the protein, complex and RNA structure examples
Salle : 90 Bât. : 490 (LRI)
Conférencier : Julie Bernauer INRIA

Wed 09 September 2009-14h00
Séminaire : SMT and Isabelle/HOL, Bat. I INRIA
Salle : Conférence Bât. : I
Conférencier : Sascha Böhme (TU München)

Mon 07 September 2009-11h30
Séminaire : Network Games with Quantum Strategies
Salle : 101 Bât. : 490 (LRI)
Conférencier : Giannicola Scarpa University of Salerno

Thu 09 July 2009-14h00
Séminaire : Two-message quantum interactive proofs are in PSPACE.
Salle : 101 Bât. : 490 (LRI)
Conférencier : Rahul Jain CQT, National University of Singapore

Thu 09 July 2009-11h30
Séminaire : Correlation Clustering with Noisy Input.
Salle : 101 Bât. : 490 (LRI)
Conférencier : Claire Mathieu Brown University

Tue 07 July 2009-14h30
Séminaire : Non-commutative harmonic analysis in machine learning: the skew spectrum and the graphlet spectrum of graphs
Salle : 90 Bât. : 490 (LRI)
Conférencier : Risi Kondor Gatsby Unit, University College London joint work with Karsten Borgwardt and Nino Shervashidze

Fri 03 July 2009-14h00
Séminaire : Sampling of RNA Secondary Structure to Predict the Density of States
Salle : 101 Bât. : 490 (LRI)
Conférencier : Feng LOU LRI

Thu 02 July 2009-14h00
Séminaire : Comparaison de génomes partiellement ordonné
Salle : 101 Bât. : 490 (LRI)
Conférencier : Annelyse Thévenin LRI

Thu 25 June 2009-15h30
Séminaire : An adaptive combination of matchers: application to the mapping of biological ontologies for genome annotation
Salle : 101 Bât. : 490 (LRI)
Conférencier : Bastien Rance LRI

Thu 25 June 2009-14h00
Séminaire : Enumération de structures d'ARN avec pseudo-noeuds
Salle : 101 Bât. : 490 (LRI)
Conférencier : Cédric Saule LRI

Thu 25 June 2009-10h00
Séminaire : Approximate Clustering without the Approximation Algorithm
Salle : 101 Bât. : 490 (LRI)
Conférencier : Anupam Gupta Carnegie Mellon University

Tue 23 June 2009-16h00
Séminaire : Schema Mapping Verification: The Spicy Way
Salle : 008 Bât. : G
Conférencier : Angela Bonifati CNR, Italy

Tue 23 June 2009-15h30
Séminaire : An introduction to "continuous variable" quantum information
Salle : 90 Bât. : 490 (LRI)
Conférencier : Barry Sanders University of Calgary

Fri 19 June 2009-11h30
Séminaire : The Quantum Prisoners Multilemma, and other quantum games.
Salle : 101 Bât. : 490 (LRI)
Conférencier : McGettrick, Michael National University of Ireland

Fri 19 June 2009-10h30
Séminaire : Treewidth and logical definability of graph products - Part two
Salle : 79 Bât. : 490 (LRI)
Conférencier : Selma DJELLOUL LRI, Univ. Paris-Sud

Thu 18 June 2009-09h00
Séminaire : Journée du LRI
Salle : Bât. :
Conférencier : Caroline Appert, Joel Falcou, Guillaume Melquiond, Fatiha Sais,Nisheeth Vishnoi, Burkhart Wolff, LRI

Fri 12 June 2009-14h00
Séminaire : Satisfiability and Relevance for Queries over Active Documents
Salle : 008 Bât. : G
Conférencier : Pierre Bourhis INRIA Gemo/IASI

Fri 12 June 2009-10h30
Séminaire : Treewidth and logical definability of graph products - Part one
Salle : 79 Bât. : 490 (LRI)
Conférencier : Selma DJELLOUL LRI, Univ. Paris-Sud

Thu 11 June 2009-11h30
Séminaire : Online Scheduling of Bounded Length Jobs to Maximize Throughput
Salle : 101 Bât. : 490 (LRI)
Conférencier : Christoph Durr Ecole Polytechnique

Fri 05 June 2009-09h00
Séminaire : Création de fonctionnaire
Salle : Bât. :
Conférencier : Antoine LATREILLE, Enseignant-Chercheur au CERDI - Centre d'Etudes et de Recherche en Droit de l'Imm

Tue 19 May 2009-10h30
Séminaire : A Token Experiment
Salle : Bât. :
Conférencier : Jim Woodcock Université de York

Thu 07 May 2009-14h30
Séminaire : Des piles de sable aux automates de sable
Salle : 79 Bât. : 490 (LRI)
Conférencier : Benoît Masson University of Western Ontario

Thu 07 May 2009-11h30
Séminaire : Hidden Polynomial Function Graphs
Salle : 101 Bât. : 490 (LRI)
Conférencier : THOMAS DECKER McGill University

Thu 30 April 2009-14h00
Séminaire : Couplages parfaits dans les graphes cubiques
Salle : 79 Bât. : 490 (LRI)
Conférencier : Louis Esperet Charles University, Prague, Czech Republic

Wed 29 April 2009-14h00
Séminaire : Testing for Refinement in Circus
Salle : 107 Bât. : N
Conférencier : Ana Calvacanti Department of Computer Science, University of York

Thu 16 April 2009-14h00
Séminaire : Comparaison de voies métaboliques entre espèces : similarité sémantique des annotations GO associées
Salle : 101 Bât. : 490 (LRI)
Conférencier : Olivier Dameron U936 - LIM -- Faculté de médecine -- Université de Rennes1

Fri 10 April 2009-11h30
Séminaire : Algorithme d'approximation pour l'ordonnancement on-line de tâches avec pénalités
Salle : 90 Bât. : 490 (LRI)
Conférencier : Nicolas Thibault Université d'Évry Val d'Essonne

Fri 10 April 2009-10h00
Séminaire : Métagénomique des microorganismes non cultivés du plancton océanique profond
Salle : 101 Bât. : 490 (LRI)
Conférencier : Puri Lopez aboratoire Ecologie, Systématique et Evolution:. Département Génétique et Ecologie Evolutives

Thu 09 April 2009-15h30
Séminaire : Two case studies: Prediction and Classification of biological molecular structures
Salle : 101 Bât. : 490 (LRI)
Conférencier : Guillaume Santini Paris 6

Thu 09 April 2009-14h00
Séminaire : Méthodes formelles et modélisation
Salle : 101 Bât. : 490 (LRI)
Conférencier : Fabien Tarissan Polytechnique

Thu 09 April 2009-14h00
Séminaire : TBA
Salle : 90 Bât. : 490 (LRI)
Conférencier : Marion Le Gonidec Université du Sud Toulon Var.

Thu 09 April 2009-11h30
Séminaire : Analyse statistique pour Markov Decision Processes et Automates Probabilistes
Salle : 101 Bât. : 490 (LRI)
Conférencier : Mathieu Tracol LRI

Fri 03 April 2009-14h00
Séminaire : Séminaire Gemo-IASI
Salle : 008 Bât. : G
Conférencier : Cédric Pruski, Spyros Zoupanos

Thu 02 April 2009-11h30
Séminaire : Autour des surpartitions et des identités de type Rogers-Ramanujan
Salle : 101 Bât. : 490 (LRI)
Conférencier : Olivier Mallet LIAFA

Fri 27 March 2009-14h00
Séminaire : Une nouvelle approche du Docking protéine-protéine
Salle : 101 Bât. : 490 (LRI)
Conférencier : Thomas Bourquard LRI - Bioinformatique

Fri 27 March 2009-10h30
Séminaire : Cycles hamiltoniens et couplages
Salle : 79 Bât. : 490 (LRI)
Conférencier : Gancarzewicz Grzegorz Univ. Krakov

Tue 24 March 2009-14h30
Séminaire : Kernel-based Methods for Detection
Salle : 79 Bât. : 490 (LRI)
Conférencier : Zaid Harchaoui TELECOM ParisTech

Fri 20 March 2009-14h00
Séminaire : Robustesse environnementale des réseaux de régulation : théorie et application.
Salle : 101 Bât. : 490 (LRI)
Conférencier : Sylvain Séné IXXI, Institut rhônalpin des systèmes complexes, 69007 Lyon

Fri 13 March 2009-14h30
Séminaire : Le projet BRASERO
Salle : 101 Bât. : 490 (LRI)
Conférencier : Alain Denise LRI - Bioinformatique

Fri 13 March 2009-10h30
Séminaire : La taille maximale de graphes planaires avec le degré et diamètre fixés
Salle : 79 Bât. : 490 (LRI)
Conférencier : Serge TISHCENKO ECP6 et Univ. Paris 6

Tue 10 March 2009-11h30
Séminaire : On the Black-box Complexity of PAC Learning
Salle : 101 Bât. : 490 (LRI)
Conférencier : Daviv Xiao Princeton University

Tue 10 March 2009-10h30
Séminaire : NewMadeleine : Une approche dynamique pour l'optimisation des communications concurrentes sur réseaux haute performance
Salle : Bât. :
Conférencier : Elizabeth Brunet

Fri 06 March 2009-11h00
Séminaire : Arbres de connexion en ligne : évaluation au pire cas et en moyenne
Salle : 79 Bât. : 490 (LRI)
Conférencier : Nicolas THIBAULT IBISC et Univ. d'Evry

Fri 06 March 2009-10h15
Séminaire : On hamiltonian cycles in star graphs
Salle : 79 Bât. : 490 (LRI)
Conférencier : Roman CADA University of West Bohemia, Czech Republic

Thu 26 February 2009-11h30
Séminaire : Unique Games with Entangled Provers are Easy
Salle : 101 Bât. : 490 (LRI)
Conférencier : Oded Regev Tel-Aviv University

Wed 25 February 2009-14h00
Séminaire : Ontology-Based Data Access and Data Integration
Salle : 008 Bât. : G
Conférencier : Diego Calvanese

Fri 20 February 2009-14h00
Séminaire : Efficient Isomorphism Testing for a Class of Group Extensions
Salle : 90 Bât. : 490 (LRI)
Conférencier : Francois le Gall Japan Science and Technology Agency

Fri 20 February 2009-10h30
Séminaire : Racines carrées de graphes
Salle : 79 Bât. : 490 (LRI)
Conférencier : David AUGER Telecom ParisTech

Fri 13 February 2009-10h30
Séminaire : Minimum blockers and transversals in graphs
Salle : 79 Bât. : 490 (LRI)
Conférencier : Cédric BENTZ LRI, Univ. Paris-Sud

Fri 06 February 2009-14h00
Séminaire : On corroboration and trust
Salle : 008 Bât. : G
Conférencier : Alban Galland INRIA Gemo/IASI

Fri 06 February 2009-14h00
Séminaire : Alignment-based Partitioning of Large-scale Ontologies
Salle : 008 Bât. : G
Conférencier : Faycal Hamdi IASI

Fri 06 February 2009-10h30
Séminaire : Nombre d'arêtes communes à deux graphes, spectre et spectre singulier
Salle : 79 Bât. : 490 (LRI)
Conférencier : Charles DELORME LRI, Univ. Paris-Sud

Thu 05 February 2009-14h00
Séminaire : Classification de structures ARN avec pseudonoeuds
Salle : 101 Bât. : 490 (LRI)
Conférencier : Cédric Saule LRI - Bioinformatique

Thu 05 February 2009-14h00
Séminaire : "Structure, évolution et migration de la messagerie au LRI"
Salle : 79 Bât. : 490 (LRI)
Conférencier : J-C Barbet LRI

Fri 30 January 2009-13h00
Séminaire : HDR Laura Grigori
Salle : 79 Bât. : 490 (LRI)
Conférencier : Laura Grigori Grand Large

Fri 30 January 2009-11h30
Séminaire : The Compressible Web: An Ounce of Knowledge for a Ton of Data?
Salle : 90 Bât. : 490 (LRI)
Conférencier : Alessandro Panconesi Sapienza Università di Roma

Fri 30 January 2009-10h30
Séminaire : Nordhaus-Gaddum inequalities for the game domination number
Salle : 79 Bât. : 490 (LRI)
Conférencier : Odile FAVARON LRI, Univ. Paris-Sud

Fri 23 January 2009-10h30
Séminaire : Distance maximum entre ordres de Slater et ordres de Copeland de tournois
Salle : 79 Bât. : 490 (LRI)
Conférencier : Olivier HUDRY Telecom ParisTech

Fri 16 January 2009-10h30
Séminaire : Programmation Semidéfinie pour l'optimisation dans les graphes : approches classiques et variantes récentes
Salle : 79 Bât. : 490 (LRI)
Conférencier : Frédéric ROUPIN CEDRIC, CNAM Paris

Fri 09 January 2009-10h30
Séminaire : Résolution exacte du problème d'affectation quadratique à trois dimensions
Salle : 79 Bât. : 490 (LRI)
Conférencier : François GALEA PRiSM, Univ. de Versailles

Thu 08 January 2009-10h00
Séminaire : Leonardi : l'approche Model-Driven" appliquée à la production d'IHM
Salle : 79 Bât. : 490 (LRI)
Conférencier : Jean-Luc SAOULI (Dirigeant et fondateur LYRIA - Directeur technique W4)

Thu 18 December 2008-11h30
Séminaire : Approximation Algorithms on Bounded Dimensional Metric Spaces
Salle : 101 Bât. : 490 (LRI)
Conférencier : Hubert Chan Max Planck Institute

Fri 12 December 2008-14h00
Séminaire : Le problème SAT, ou comment devenir maître du monde
Salle : 008 Bât. : G
Conférencier : Laurent Simon IASI

Fri 12 December 2008-14h00
Séminaire : Incompleteness in Information Integration
Salle : 008 Bât. : G
Conférencier : Evgeny Karlamov Bolzano University, Italy

Fri 12 December 2008-10h30
Séminaire : Recherche de solutions de compromis dans des problèmes de graphes multicritères
Salle : 79 Bât. : 490 (LRI)
Conférencier : Lucie GALAND LIP6, Univ. Paris 6

Thu 11 December 2008-11h30
Séminaire : Rounding Parallel Repetitions of Unique Games
Salle : 101 Bât. : 490 (LRI)
Conférencier : David Steurer Princeton University

Tue 09 December 2008-11h30
Séminaire : On unconditional deterministic polynomial factorization over finite fields
Salle : 101 Bât. : 490 (LRI)
Conférencier : Gabor Ivanyos Hungarian Academy of Sciences

Mon 08 December 2008-14h45
Séminaire : Application des banques de données de familles de gènes à l'étude des transferts horizontaux chez les procaryotes
Salle : 79 Bât. : 490 (LRI)
Conférencier : Guy Perrière UMR CNRS 5558 - Université Claude Bernard - Lyon 1

Fri 05 December 2008-10h30
Séminaire : Timetable Synchronization for Rail Mass Transit
Salle : 79 Bât. : 490 (LRI)
Conférencier : Janny M.Y. LEUNG Chinese University of Hong Kong

Thu 04 December 2008-14h00
Séminaire : Intégration, Interrogation et Analyse de données de génomique comparative
Salle : 79 Bât. : 490 (LRI)
Conférencier : Frédéric Lemoine LRI - Bioinformatique

Thu 27 November 2008-14h30
Séminaire : PlasmoDraft: prédictions d'annotations fonctionnelles des gènes de Plasmodium falciparum à partir de données post-génomiques
Salle : 90 Bât. : 490 (LRI)
Conférencier : Laurent Bréhélin LIRMM

Thu 27 November 2008-11h30
Séminaire : Total positivity, matroids, and polytopes
Salle : 101 Bât. : 490 (LRI)
Conférencier : Alex Postnikov MIT

Tue 25 November 2008-10h30
Séminaire : Research Challenges in Flash Memories
Salle : 101 Bât. : 490 (LRI)
Conférencier : Sivan Toledo Tel-Aviv University and MIT

Thu 20 November 2008-14h00
Séminaire : Phylo-MCOA : Visualiser la concordance entre arbres de gènes en phylogénomique.
Salle : 101 Bât. : 490 (LRI)
Conférencier : Damien de Vienne LRI

Fri 14 November 2008-10h30
Séminaire : Long cycles and cyclability in graphs
Salle : 79 Bât. : 490 (LRI)
Conférencier : Hao LI LRI, Univ. Paris-Sud

Thu 13 November 2008-14h00
Séminaire : Identification des gènes du groupe d'orthologie le plus conservé au sein de la famille des gènes WOX de plantes : un exemple où l'analyse de séquences guide la paillasse
Salle : 101 Bât. : 490 (LRI)
Conférencier : Claire Toffano-Nioche LRI - IBP

Thu 13 November 2008-14h00
Séminaire : Serveur Subversion au LRI
Salle : 90 Bât. : 490 (LRI)
Conférencier :

Thu 13 November 2008-11h30
Séminaire : Information Theoretic Approaches to Whole Genome Phylogenies
Salle : 101 Bât. : 490 (LRI)
Conférencier : Benny Chor Tel Aviv University

Fri 07 November 2008-10h30
Séminaire : Approches Polyédrales et Conception de Réseaux
Salle : 79 Bât. : 490 (LRI)
Conférencier : Ridha MAHJOUB Lamsade, Univ. Paris 9 Dauphine

Thu 06 November 2008-11h30
Séminaire : Property Testing in the Underlying Graph Model
Salle : 101 Bât. : 490 (LRI)
Conférencier : Oded Lachish University of Warwick

Wed 05 November 2008-14h00
Séminaire : And Logic Begat Computer Science: When Giants Roamed the Earth
Salle : Bât. :
Conférencier : Moshe Y. Vardi Rice University

Tue 04 November 2008-10h30
Séminaire : Outils pour le parallélisme : apports de la programmation générative
Salle : 101 Bât. : 490 (LRI)
Conférencier : Joël Falcou LRI

Thu 30 October 2008-11h30
Séminaire : Finding optimal flow efficiently
Salle : 101 Bât. : 490 (LRI)
Conférencier : Simon Perdrix Oxford University

Thu 16 October 2008-11h30
Séminaire : On the hitting times of quantum versus random walks
Salle : 101 Bât. : 490 (LRI)
Conférencier : Peter Richter LRI

Thu 09 October 2008-09h00
Séminaire : Modelling the Web
Salle : 101 Bât. : 490 (LRI)
Conférencier : Carlo Meghini Istituto di Scienza e Tecnologie della Informazione [ ISTI ]

Fri 03 October 2008-10h30
Séminaire : Portaits de famille
Salle : 79 Bât. : 490 (LRI)
Conférencier : Charles DELORME LRI, Univ. Paris-Sud

Thu 02 October 2008-11h30
Séminaire : Random algorithms for recognizing black-box groups
Salle : 101 Bât. : 490 (LRI)
Conférencier : Peter P. Palfy Renyi Institute, Budapest

Thu 25 September 2008-14h00
Séminaire : Situational Business Intelligence
Salle : 008 Bât. : G
Conférencier : Volker Markl Technische Universität Berlin

Wed 24 September 2008-14h00
Séminaire : Test Purpose Concretization through Symbolic Action Refinement
Salle : 008 Bât. : G
Conférencier : Christophe Gaston CEA

Thu 17 July 2008-10h30
Séminaire : Discovering Properties about Arrays in Simple Programs
Salle : 108 Bât. : N
Conférencier : Mathias Péron VERIMAG/CNRS

Wed 09 July 2008-14h00
Séminaire : Critères de couverture pour les programmes Lustre
Salle : 008 Bât. : G
Conférencier : Virginia Papailiopoulou LIG (Grenoble)

Fri 04 July 2008-14h00
Séminaire : OptimAX: Optimizing Distributed ActiveXML Applications
Salle : 008 Bât. : G
Conférencier : Spyros Zoupanos INRIA Saclay-Gemo

Fri 04 July 2008-14h00
Séminaire : Community Systems in P2P
Salle : 008 Bât. : G
Conférencier : Marilena Oita Polytechnica Bucarest

Tue 01 July 2008-15h00
Séminaire : Expander Flows, Graph Spectra and Graph Separators
Salle : 79 Bât. : 490 (LRI)
Conférencier : Umesh Vazirani UC Berkeley

Tue 01 July 2008-11h30
Séminaire : Sampling-Based Algorithms for Dimension Reduction
Salle : 101 Bât. : 490 (LRI)
Conférencier : Amit Deshpande Microsoft Research, India

Thu 26 June 2008-11h30
Séminaire : Making Classical Zero Knowledge Protocols Secure Against Quantum Attacks
Salle : 101 Bât. : 490 (LRI)
Conférencier : Pranab Sen Tata Institute of Fundamental Research

Thu 26 June 2008-09h00
Séminaire : Collaborative tools and work environment
Salle : Bât. :
Conférencier : Polytechnique à Palaiseau (amphi Becquerel)

Fri 20 June 2008-11h30
Séminaire : Molecular algorithms: combining efficiency with robustness
Salle : 90 Bât. : 490 (LRI)
Conférencier : Ashish Goel Stanford University

Mon 16 June 2008-14h00
Séminaire : Data communication and coordination in wireless sensor and sensor-actuator networks
Salle : 101 Bât. : 490 (LRI)
Conférencier : Ivan Stojmenovic EECE, University of Birmingham, UK

Thu 12 June 2008-11h30
Séminaire : Lower Bounds for Satisfiability and Related Problems (Part II)
Salle : 101 Bât. : 490 (LRI)
Conférencier : Dieter van Melkebeek University of Winsconsin Madison

Thu 05 June 2008-14h00
Séminaire : Recherche de patterns fermés fréquents dans des DAGs : application à la découverte de réseaux d'interactions gènes.
Salle : 101 Bât. : 490 (LRI)
Conférencier : Alexandre Termier IMAG (Grenoble)

Thu 05 June 2008-14h00
Séminaire : Lower Bounds for Satisfiability and Related Problems
Salle : 101 Bât. : 490 (LRI)
Conférencier : Dieter van Melkebeek University of Winsconsin Madison

Wed 04 June 2008-09h30
Séminaire : On Computing Deltas of RDF/S Knowledge Bases
Salle : 101 Bât. : 490 (LRI)
Conférencier : Vassilis CHRISTOPHIDES University of Crete and FORTH Institute of Computer Science

Fri 30 May 2008-16h05
Séminaire : Matching forcing number in fullerene graphs
Salle : 90 Bât. : 490 (LRI)
Conférencier : Heping Zhang Lanzhou University, China

Fri 30 May 2008-15h10
Séminaire : Upper bounds on the number of components of 2-factors in claw-free graphs
Salle : 90 Bât. : 490 (LRI)
Conférencier : Hajo Broersma Durham University, UK

Fri 30 May 2008-14h15
Séminaire : Coloring Vertices and Edges of a Path by Nonempty Subsets of a Set
Salle : 90 Bât. : 490 (LRI)
Conférencier : Ervin Gyori Alfred Renyi Institute of Mathematics, Hungary

Fri 30 May 2008-10h30
Séminaire : Cycles et Facteurs dans les Graphes
Salle : 79 Bât. : 490 (LRI)
Conférencier : Shan Zhou LRI et Lanzhou University

Thu 29 May 2008-14h00
Séminaire : Algorithms for exploring the mutation landscape of RNA molecules
Salle : 90 Bât. : 490 (LRI)
Conférencier : Jérôme Waldispuhl MIT (USA)

Tue 20 May 2008-14h00
Séminaire : Disjointness is hard in the multi-party number-on-the-forehead model
Salle : 79 Bât. : 490 (LRI)
Conférencier : Troy Lee Rutgers University

Mon 19 May 2008-11h30
Séminaire : Mechanism design for scheduling unrelated machines
Salle : 79 Bât. : 490 (LRI)
Conférencier : Elias Koutsoupias Univeristy of Athens, Greece

Fri 16 May 2008-14h00
Séminaire : Source-centric temporal model for information modelling in social sciences
Salle : 106 Bât. : N
Conférencier : Benjamin Nguyen UVSQ-PRiSM et INRIA Saclay-Gemo

Fri 16 May 2008-10h30
Séminaire : Partition des sommets d'un graphe en stables et cliques
Salle : 79 Bât. : 490 (LRI)
Conférencier : Pascal Ochem Université Paris-Sud

Fri 09 May 2008-14h30
Séminaire : Loss-tolerant quantum coin flipping
Salle : 101 Bât. : 490 (LRI)
Conférencier : Gilles Brassard Univ Montreal

Tue 06 May 2008-10h00
Séminaire : Well-typed programs can't be blamed
Salle : 79 Bât. : 490 (LRI)
Conférencier : Philip Wadler

Tue 29 April 2008-11h30
Séminaire : Quantum Cellular Automata
Salle : 101 Bât. : 490 (LRI)
Conférencier : Vincent Nesme Technische Universitat Braunschweig

Fri 18 April 2008-10h30
Séminaire : Problème du sac-à-dos stochastique quadratique
Salle : 90 Bât. : 490 (LRI)
Conférencier : Rafaël Lopez Université Paris-Sud

Thu 17 April 2008-11h30
Séminaire : A strongly polynomial algorithm for finding optimal policies for one dimensional Markov decision processes
Salle : 101 Bât. : 490 (LRI)
Conférencier : Guy Even Tel-Aviv University

Thu 10 April 2008-11h30
Séminaire : Cuts, Embeddings and Flows
Salle : 101 Bât. : 490 (LRI)
Conférencier : Nisheeth Vishnoi IBM Research

Thu 03 April 2008-14h00
Séminaire : Réduction de dimension et classification de données issues de puces à ADN.
Salle : 101 Bât. : 490 (LRI)
Conférencier : Blaise HANCZAR INSERM U872 eq7

Thu 03 April 2008-11h30
Séminaire : Mixing on Random Graphs
Salle : 101 Bât. : 490 (LRI)
Conférencier : Allan Sly UC Berkeley

Fri 28 March 2008-14h00
Séminaire : Modular construction of finite and complete prefixes of Petri net unfoldings
Salle : 008 Bât. : G
Conférencier : Agnès Madalinski LRI

Fri 28 March 2008-14h00
Séminaire : Personnalisation de la navigation via l'apprentissage de profils utilisateurs
Salle : 008 Bât. : G
Conférencier : Yassine Mrabet LRI

Thu 27 March 2008-14h00
Séminaire : Algorithmique pour la comparaison de structures biologiques arborescentes
Salle : 101 Bât. : 490 (LRI)
Conférencier : Aïda Ouangraoua LABRI - CNRS UMR 5800 - Bordeaux

Fri 21 March 2008-10h30
Séminaire : Some New Results on Cycles and Paths
Salle : 79 Bât. : 490 (LRI)
Conférencier : Shan ZHOU LRI et Langzhou University (Chine)

Thu 20 March 2008-14h00
Séminaire : A method for automated discovering of RNA tertiary motifs
Salle : 101 Bât. : 490 (LRI)
Conférencier : Mahassine Djeloul LRI

Thu 20 March 2008-11h30
Séminaire : Hierarchical Graph Decompositions for Minimizing Congestion
Salle : 101 Bât. : 490 (LRI)
Conférencier : Harald Raecke Carnegie Mellon University

Wed 19 March 2008-14h00
Séminaire : Analyse et optimisation des techniques d'échantillonage statistique pour la structure d'ARN
Salle : 101 Bât. : 490 (LRI)
Conférencier : Yann Ponty Biology Department - Boston College

Fri 14 March 2008-10h30
Séminaire : Un théorème de structure pour les graphes ne contenant pas de cycle avec une unique corde comme sous-graphe induit
Salle : 79 Bât. : 490 (LRI)
Conférencier : Nicolas TROTIGNON Université Paris I

Mon 25 February 2008-16h30
Séminaire : Design and Analysis of Classic and Quantum Network Coding
Salle : 101 Bât. : 490 (LRI)
Conférencier : Kazuo Iwama Kyoto University, Japan

Mon 25 February 2008-15h05
Séminaire : PSPACE has one round quantum multiprover interactive proofs
Salle : 101 Bât. : 490 (LRI)
Conférencier : Keiji Matsumoto National Institute of Informatics (NII) , Tokyo, Japan

Mon 25 February 2008-14h00
Séminaire : Entanglement and Multi-Prover Interactive Proof Systems
Salle : 101 Bât. : 490 (LRI)
Conférencier : Hirotada Kobayashi Naitonal Institute of Informatics (NII), Tokyo, Japan

Fri 22 February 2008-10h30
Séminaire : Codes identifiants dans les graphes
Salle : 79 Bât. : 490 (LRI)
Conférencier : David AUGER Telecom ParisTech (ENST)

Mon 18 February 2008-11h00
Séminaire : Underapproximation for Model-Checking Based on Universal Circuits
Salle : 101 Bât. : 490 (LRI)
Conférencier : Arie Matsliah Technion University

Fri 15 February 2008-14h00
Séminaire : Queries on Biological Graphs
Salle : 79 Bât. : 490 (LRI)
Conférencier : Ulf Leser Humboldt-Universität zu Berlin

Thu 14 February 2008-11h30
Séminaire : On divergence Information (Lecture 2)
Salle : 101 Bât. : 490 (LRI)
Conférencier : Ashwin Nayak University of Waterloo

Wed 13 February 2008-14h00
Séminaire : Intégration d'une approche de génération de tests fonctionnels dans le processus de développement.
Salle : 008 Bât. : G
Conférencier : Fabrice Bouquet Université de Franche Comté

Thu 07 February 2008-11h30
Séminaire : On Divergence Information
Salle : 101 Bât. : 490 (LRI)
Conférencier : Ashwin Nayak University of Waterloo and Perimeter Institute

Fri 01 February 2008-14h00
Séminaire : Extraction de programme classique dans le Calcul des Constructions
Salle : Bât. :
Conférencier : Alexandre Miquel Université Paris 7

Fri 01 February 2008-14h00
Séminaire : On the Foundations of Computing Deltas Between RDF Models
Salle : 008 Bât. : G
Conférencier : Vassilis Christophides University of Crete, Greece

Tue 29 January 2008-11h30
Séminaire : Impossibility of a Quantum Speed-up with a Faulty Oracle
Salle : 101 Bât. : 490 (LRI)
Conférencier : Oded Regev Tel-Aviv University

Fri 25 January 2008-10h30
Séminaire : Représentations d'arbres plans
Salle : 79 Bât. : 490 (LRI)
Conférencier : Charles DELORME Université Paris-Sud

Fri 25 January 2008-10h00
Séminaire : Towards an environment for collaborative proving
Salle : Bât. :
Conférencier : Pierre Corbineau Radboud Universiteit

Fri 18 January 2008-10h00
Séminaire : HOL-Boogie : An interactive Proof-Environment for Program-Verification via Boogie
Salle : 011 Bât. : N
Conférencier : Burkhart Wolff ETH Zurich et Microsoft Research

Thu 17 January 2008-14h30
Séminaire : Test-Sequence Generation with HOL-TestGen, with an Application to Firewall Testing
Salle : 002 Bât. : G
Conférencier : Burkhart Wolff ETH Zurich et Microsoft Research

Fri 11 January 2008-14h10
Séminaire : Consequence Finding in propositional Peer-to-Peer Inference Systems Revisited
Salle : 002 Bât. : G
Conférencier : Nada Abdallah INRIA-Saclay

Fri 11 January 2008-14h00
Séminaire : Active documents: satisfiability of queries and view maintenance
Salle : 002 Bât. : G
Conférencier : Pierre Bourhis INRIA-Saclay)

Fri 11 January 2008-10h15
Séminaire : Size conditions for long cycles in graphs and digraphs
Salle : 79 Bât. : 490 (LRI)
Conférencier : Lech ADAMUS Université Paris-Sud

Wed 02 January 2008-14h00
Séminaire : On the Foundations of Computing Deltas Between RDF Models
Salle : 008 Bât. : G
Conférencier : Vassilis Christophides Univ. of Crete, Greece

Wed 19 December 2007-14h30
Séminaire : Comptages probabilistes,de l'analyse aux programmes
Salle : 79 Bât. : 490 (LRI)
Conférencier : Philippe Flajolet INRIA

Fri 19 October 2007-14h00
Séminaire : Entity ranking in Wikipedia
Salle : 008 Bât. : G
Conférencier : Johan Pehcevski INRIA

Fri 29 June 2001-14h00
Séminaire : Lower bounds for solving concurrent reachabiltiy games using strategy iteration
Salle : 101 Bât. : 490 (LRI)
Conférencier : Peter Bro Miltersen Computer Science Department, Aarhus University

Thu 01 January 1970-01h00
Séminaire : Deterministic Secure Positioning in Wireless Sensor Networks
Salle : 79 Bât. : 490 (LRI)
Conférencier : Partha Sarathi Mandal LRI / INRIA

Thu 01 January 1970-01h00
Séminaire : Temporal Partition in Sensor Networks
Salle : 79 Bât. : 490 (LRI)
Conférencier : Laurence Pilard LIFC - Université de Franche-Comté