02/03/2017 12:30

Séminaire AOC

On big data, optimization and learning
Prof. Andrea Lodi
Salle B107, bâtiment B, Université de Villetaneuse

02/03/2017 14:00

Séminaire LCR

Reachability Analysis of Pushdown Systems with an Upper Stack
Adrien Pommellet
Salle B107, bâtiment B, Université de Villetaneuse

23/03/2017 14:00

Séminaire LCR

CARET Model Checking For Pushdown Systems
Huu-Vu Nguyen
Salle B107, bâtiment B, Université de Villetaneuse

24/02/2017 11:00

Séminaire LCR

Expérimenter un modèle de programmation fonctionnel, réactif et concurrent (à environnement global) compositionnel en OCaml.
Jean-Vincent Loddo
Salle B107, bâtiment B, Université de Villetaneuse

28/02/2017 12:30

Séminaire CALIN

réunion d'équipe (12h30-14h30)
CALIN
Salle B107, bâtiment B, Université de Villetaneuse