8:00-14:00

Arrivée, installation et repas  

14:00-15:15

Tristan Le Gall

Synthèse de Contrôleurs de systèmes symboliques sous observation partielle,
transparents

15:15-15:45

Pause  

15:45-16:45

Yassamine Seladji

Accélération du calcul du point-fixe en interprétation abstraite en utilisant la convergence des suites numériques

8:30-9:30

Olivier Bouissou

Probabilistic affine forms - A first step towards the static analysis of probabilistic numerical programs,
transparents

9:30-10:00

Pause  

10:00-11:00

Tiphaine Turpin

Calcul de la sémantique de plus petit point fixe de (programmes logiques définis) en utilisant des BDDs, le rapport de recherche

11:00-11:30

Pause  

11:30-12:30

Samuel Mimram

Quillen Model Categories Model Martin-Löf Theory with Identity Types, transparents

12:30-14:00

Repas  

14:00-15:00

Bertrand Jeannet

Accélération abstraite pour les programmes logico-numériques

15:00-15:30

Pause  

15:30-16:30

Alexandre Chapoutot

Simulation d'un filtre linéaire paramétrique avec les arithmétiques d'intervalles

8:30-10:00

Christophe Combastel

Quelques algorithmes de calcul d'enveloppes à base de zonotopes,
transparents

10:00-11:30

Discussions  

11:30-12:30

Eric Goubault

Quelques phénomènes combinatoires, géométriques et algébriques a propos des zonotopes (de McMullen a Holz),
quelques références

12:30-18:00

Repas, balade et/ou posters stage hippocampe  

8:30-9:30

Olivier Mullier

Inclure des contraintes à base d'équation différentielles ordinaires (EDO) dans le cadre de la programmation par contrainte,
l'article

9:30-11:30

Discussions  

11:30-12:30

Olivier Bouissou II

12:30-14:00

Repas  

14:00-15:00

Yves Lafont et Pierre Rannou

Diagrammes, Sigma-diagrammes, et propriétés des co-opérations: video, pdf1, pdf2

15:00-15:30

Pause  

15:30-16:30

Assale Adje

Méthode d'itérations sur les politiques et application à l'interprétation abstraite

20:00-

Bouillabaisse  

8:30-9:30

Emmanuel Haucourt

A Geometric Approach to the problem of Unique Decomposition of Processes

9:30-10:00

Pause  

10:00-11:00

Tristan Le Gall

Iterated Regret Minimization in Game Graphs,
transparents

11:00-11:30

Pause  

11:30-12:30

12:30-15:00

Repas et fin (train 15h28)