On monday, at 2pm - UPEC CMC - Room P2-131

March 23, 2020

TBA

Barnaby Martin (Durham)

TBA

March 16, 2020

TBA

Philipp Schlicht (University of Bristol)

TBA

March 9, 2020

TBA

Jean Marie Madiot (INRIA Paris)

TBA

March 3, 2020

TBA

David Auger (Université de Versailles)

TBA

February 24, 2020

Décider (R,+,<,1) dans (R,+,<,Z)

Alexis Bes (LACL - UPEC)

La structure (R,+,<,Z), où R désigne l'ensemble des réels et Z le prédicat unaire "être un entier", admet l'élimination des quantificateurs et est décidable. Elle intervient notamment dans le domaine de la spécification et la vérification de systèmes hybrides. Elle peut être étudiée via les automates, en considérant des automates de Büchi qui lisent des réels représentés dans une base entière fixée. Boigelot et al. ont démontré en particulier que la classe des relations définissables dans (R,+,<,Z) coïncide avec celle des relations reconnaissables par automate en toute base. Une autre structure intéressante est (R,+,<,1), qui est moins expressive que (R,+,<,Z) mais définit les mêmes relations bornées. On présente une caractérisation topologique des relations définissables dans (R,+,<,Z) qui sont définissables dans (R,+,<,1), et on en déduit que le problème de savoir si une relation définissable dans (R,+,<,Z) est définissable dans (R,+,<,1) est décidable.
Travail en commun avec Christian Choffrut.

February 3, 2020

Network Inference: Graph reconstruction and verification

Hang Zhou (LIX - Polytechnique)

How efficiently can we find an unknown graph using shortest path queries between its vertices? This is a natural theoretical question from the standpoint of recovery of hidden information. This question is related to discovering the topology of Internet networks, which is a crucial step for building accurate network models and designing efficient algorithms for Internet applications.

In this talk, I will introduce the problems of graph reconstruction and verification via oracles. I will investigate randomized algorithms based on a Voronoi cell decomposition. I will also analyze greedy algorithms, and prove that they are near-optimal.

The talk is based on joint work with Claire Mathieu and Sampath Kannan.