Patricia Bouyer-Decitre

Average-energy games

Salle de séminaire (4B05R) - Bâtiment Copernic

Two-player quantitative zero-sum games provide a natural framework to synthesize controllers with performance guarantees for reactive systems within an uncontrollable environment. Classical settings includ...[details]

17-oct.-2017

Atelier D’Ada Lovelace à Valérie Beaudouin. Femmes et numérique : Une chance pour la visibilité ?

Atelier organisé par Caroline Trotot, Philippe Gambette et Virginie Tahar, le 17 octobre 2017 à l'auditorium de la bibliothèque Georges Perec de l'UPEM, de 14h à 17h30

Plus d'informations sur&nbs...[details]

17-oct.-2017

Xavier Goaoc

Fonctions de pulvérisation d'hypergraphes (géométriques) / Shatter functions of (geometric) hypergraphs

Salle de séminaire (4B05R) - Bâtiment Copernic

En géométrie discrète et algorithmique, la complexité d'une famille d'ensemble est souvent étudiée au travers de sa fonction de pulvé...[details]

10-oct.-2017

Vincent Jugé

Courcelle's theorem made dynamic

Salle de séminaire (4B05R) - Bâtiment Copernic

Dynamic complexity is concerned with the complexity of updating a solution to a problem when its input changes. A typical example is as follows: given an directed graph G and two pointed vertices s and t,...[details]

3-oct.-2017

Rémi Forax

On implementing data structures pattern matching in Java

Salle de séminaire (4B05R) - Bâtiment Copernic

In the magic wonderland of the unicorns, implementing the pattern matching in a language like Java that already provides a mechanism to check the class of a value at runtime (instanc...[details]

26-sept.-2017

Jeudi 21 septembre 2017 - 9h

Lieu : ESIEE Paris, Amphithéâtre 160

Séminaire Jean Luc Gaudiot

Professeur Université de California, Irvine, USA - Président IEEE Computer Society

Thématique du séminaire :

Informatique, Parallélisme et Architectures

Conférenciers invités :

Pr. Yves Robert, E...[details]

21-sept.-2017

Teresa Gomez-Diaz

PRESOFT et FG-SOL, où en est-on ?

Salle de séminaire (4B05R) - Bâtiment Copernic

Dans la journée logiciels LIGM du 2 mars 2017, nous avons présenté les projets PRESOFT et FG-SOL sur des services d'accès et préservation des logiciels de la recherche. Après un court rappel des obj...[details]

19-sept.-2017

Jean-Luc Gaudiot

Creating Autonomous Vehicle Systems

Salle de séminaire (4B05R) - Bâtiment Copernic

This talk is a technical overview of autonomous vehicles where we share our practical experiences of creating autonomous vehicle systems. Autonomous vehicle systems are complex, consisting of ...[details]

12-sept.-2017

Rim BEN MESSAOUD soutiendra sa thèse de doctorat en informatique, intitulée Towards Efficient Mobile Crowdsensing Assignment and Uploading Schemes le 5 juillet 2017 à 11h00 à l'adresse suivante : Laboratoire L3I, Université de La Rochelle, Avenue Michel Crépeau, 17042 L...[details]

5-juil.-2017

CIAA 2017, 22nd International Conference Implementation and Application of Automata

27-30 June 2017, Université Paris-Est Marne-la-Vallée

Aims

The CIAA conference series, which was started in 1996, covers all aspects of implementation, application, and theory of automata and related structur...[details]

27-juin-2017